Record Beta

European Symposium on Programming (ESOP)

https://id.confref.org/data/confref-portal/event/esop2005

This record is part of the confref event European Symposium on Programming.

rdf:type	portal:Conference
schema:location	Edinburgh (wd:Q23436)
rdfs:label	European Symposium on Programming (ESOP)
portal:acronym	ESOP
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Edinburgh
portal:country	UK
portal:endDate	2005-04-08
portal:keyword	Abstract interpretation
portal:keyword	Abstract non-interference
portal:keyword	Attack models
portal:keyword	Automated analysis
portal:keyword	Completeness
portal:keyword	Cryptographic protocols
portal:keyword	Declassification
portal:keyword	Language-based Security
portal:keyword	Program Analysis
portal:keyword	Security analysis
portal:keyword	Symbolic Analysis
portal:keyword	adjunction
portal:keyword	dynamic type systems
portal:keyword	functions
portal:keyword	objects
portal:keyword	universal composition
portal:name	European Symposium on Programming (ESOP)
portal:portalPage	http://portal.confref.org/list/esop2005
portal:series	https://id.confref.org/data/confref-portal/series/esop
portal:startDate	2005-04-04
portal:submissionExtended	false
portal:year	2005
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/esop/esop2005
cr:sameAs	https://id.confref.org/data/confident/8288

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.