Integrating physical systems in the static analysis of embedded control software

Patrick Cousot

doi:10.1007/11575467_10

Integrating physical systems in the static analysis of embedded control software

Patrick Cousot

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, modelling program executions, hence program properties, at various levels of abstraction [3,7,8,10,12].

Original language	English (US)
Title of host publication	Programming Languages and Systems - Third Asian Symposium, APLAS 2005, Proceedings
Pages	135-138
Number of pages	4
DOIs	https://doi.org/10.1007/11575467_10
State	Published - 2005
Event	3rd Asian Symposium on Programming Languages and Systems, APLAS 2005 - Tsukuba, Japan Duration: Nov 2 2005 → Nov 5 2005

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3780 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	3rd Asian Symposium on Programming Languages and Systems, APLAS 2005
Country/Territory	Japan
City	Tsukuba
Period	11/2/05 → 11/5/05

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/11575467_10

Cite this

Cousot, P. (2005). Integrating physical systems in the static analysis of embedded control software. In Programming Languages and Systems - Third Asian Symposium, APLAS 2005, Proceedings (pp. 135-138). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3780 LNCS). https://doi.org/10.1007/11575467_10

Integrating physical systems in the static analysis of embedded control software. / Cousot, Patrick.
Programming Languages and Systems - Third Asian Symposium, APLAS 2005, Proceedings. 2005. p. 135-138 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3780 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Cousot, P 2005, Integrating physical systems in the static analysis of embedded control software. in Programming Languages and Systems - Third Asian Symposium, APLAS 2005, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3780 LNCS, pp. 135-138, 3rd Asian Symposium on Programming Languages and Systems, APLAS 2005, Tsukuba, Japan, 11/2/05. https://doi.org/10.1007/11575467_10

@inproceedings{c79cc26c45744df1a8d71c4c32faf9d5,

title = "Integrating physical systems in the static analysis of embedded control software",

abstract = "interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, modelling program executions, hence program properties, at various levels of abstraction [3,7,8,10,12].",

author = "Patrick Cousot",

year = "2005",

doi = "10.1007/11575467_10",

language = "English (US)",

isbn = "3540297359",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "135--138",

booktitle = "Programming Languages and Systems - Third Asian Symposium, APLAS 2005, Proceedings",

note = "3rd Asian Symposium on Programming Languages and Systems, APLAS 2005 ; Conference date: 02-11-2005 Through 05-11-2005",

}

TY - GEN

T1 - Integrating physical systems in the static analysis of embedded control software

AU - Cousot, Patrick

PY - 2005

Y1 - 2005

N2 - interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, modelling program executions, hence program properties, at various levels of abstraction [3,7,8,10,12].

AB - interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, modelling program executions, hence program properties, at various levels of abstraction [3,7,8,10,12].

UR - http://www.scopus.com/inward/record.url?scp=33646727987&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33646727987&partnerID=8YFLogxK

U2 - 10.1007/11575467_10

DO - 10.1007/11575467_10

M3 - Conference contribution

AN - SCOPUS:33646727987

SN - 3540297359

SN - 9783540297352

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 135

EP - 138

BT - Programming Languages and Systems - Third Asian Symposium, APLAS 2005, Proceedings

T2 - 3rd Asian Symposium on Programming Languages and Systems, APLAS 2005

Y2 - 2 November 2005 through 5 November 2005

ER -

Integrating physical systems in the static analysis of embedded control software

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this