Integrating physical systems in the static analysis of embedded control software

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish (US)
Title of host publicationProgramming Languages and Systems - Third Asian Symposium, APLAS 2005, Proceedings
Pages135-138
Number of pages4
Volume3780 LNCS
DOIs
StatePublished - 2005
Event3rd Asian Symposium on Programming Languages and Systems, APLAS 2005 - Tsukuba, Japan
Duration: Nov 2 2005Nov 5 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3780 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other3rd Asian Symposium on Programming Languages and Systems, APLAS 2005
CountryJapan
CityTsukuba
Period11/2/0511/5/05

Fingerprint

Programming Languages
Embedded Software
Control Software
Static analysis
Static Analysis
Semantics
Software
Language Modeling
Computer programming languages
Computer simulation
Approximation
Abstraction
Interpretation

ASJC Scopus subject areas

  • Biochemistry, Genetics and Molecular Biology(all)
  • Computer Science(all)
  • Theoretical Computer Science

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 (Vol. 3780 LNCS, 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. Vol. 3780 LNCS 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 proceedingConference 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. vol. 3780 LNCS, 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
Cousot P. Integrating physical systems in the static analysis of embedded control software. In Programming Languages and Systems - Third Asian Symposium, APLAS 2005, Proceedings. Vol. 3780 LNCS. 2005. p. 135-138. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/11575467_10
Cousot, Patrick. / Integrating physical systems in the static analysis of embedded control software. Programming Languages and Systems - Third Asian Symposium, APLAS 2005, Proceedings. Vol. 3780 LNCS 2005. pp. 135-138 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@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",
volume = "3780 LNCS",
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",

}

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

SN - 3540297359

SN - 9783540297352

VL - 3780 LNCS

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

ER -