Record Beta

Static Analysis (WSA/SAS)

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

This record is part of the confref event International Static Analysis Symposium.

rdf:type	portal:Conference
schema:location	Verona (wd:Q2028)
rdfs:label	Static Analysis (WSA/SAS)
portal:acronym	SAS
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Verona
portal:country	Italy
portal:endDate	2004-08-28
portal:keyword	Abstract interpretation
portal:keyword	Completeness
portal:keyword	Data flow analysis
portal:keyword	Domain Refinement
portal:keyword	Model-checking
portal:keyword	Program verification
portal:keyword	Records
portal:keyword	Shape analysis
portal:keyword	Static analysis
portal:keyword	Symbolic Trajectory Evaluation
portal:keyword	Two-Variable Logic with Counting
portal:keyword	Types
portal:keyword	Verification
portal:keyword	description logic
portal:name	Static Analysis (WSA/SAS)
portal:portalPage	http://portal.confref.org/list/sas2004
portal:series	https://id.confref.org/data/confref-portal/series/sas
portal:startDate	2004-08-26
portal:submissionExtended	false
portal:year	2004
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	wd:Q106337931
cr:sameAs	https://dblp.org/db/conf/sas/sas2004

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