Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
Resource Information
The work Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.
The Resource
Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
Resource Information
The work Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.
- Label
- Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
- Title remainder
- 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
- Statement of responsibility
- Chris Hankin, Igor Siveroni (eds.)
- Title variation
- SAS 2005
- Subject
-
- COMPUTERS -- Programming Languages | General
- Computer programming
- Computer programming
- Computer programming -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Datenfluss
- Informatique
- Kongress
- Kontrollfluss
- Langage de programmation
- London (2005)
- Programmanalyse
- Programmation
- Programming languages (Electronic computers)
- Programming languages (Electronic computers)
- Programming languages (Electronic computers) -- Congresses
- Programmtransformation
- Programmverifikation
- Statische Analyse
- Analyse statique
- Language
- eng
- Summary
- "This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) which was held 7-9 September 2005 at Imperial College London."
- Cataloging source
- GW5XE
- Dewey number
- 005.1/3
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.6
- LC item number
- .I5733 2005eb
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- Series statement
- Lecture notes in computer science,
- Series volume
- 3672
Context
Context of Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedingsWork of
No resources found
No enriched resources found
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/23hfJiHkpYI/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/23hfJiHkpYI/">Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Work Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/23hfJiHkpYI/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/23hfJiHkpYI/">Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
