A Calculus for Imperative Programs: Formalization and Implementation

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Seiten	77-84
Seitenumfang	8
DOIs	https://doi.org/10.1109/SYNASC.2009.42
Publikationsstatus	Veröffentlicht - 2009

Wissenschaftszweige

@inproceedings{c8c70a9c30414dd886a6aa1c88ee43ed,

title = "A Calculus for Imperative Programs: Formalization and Implementation",

author = "Madalina Erascu and Tudor Jebelean",

year = "2009",

doi = "10.1109/SYNASC.2009.42",

language = "English",

isbn = "9780769539645",

pages = "77--84",

booktitle = "Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing",

}

TY - GEN

T1 - A Calculus for Imperative Programs: Formalization and Implementation

AU - Erascu, Madalina

AU - Jebelean, Tudor

PY - 2009

Y1 - 2009

UR - https://www.scopus.com/pages/publications/77953058722

U2 - 10.1109/SYNASC.2009.42

DO - 10.1109/SYNASC.2009.42

M3 - Conference proceedings

SN - 9780769539645

SP - 77

EP - 84

BT - Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

ER -