A Purely Logical Approach to the Termination of Imperative Loops

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Pages	142-149
Number of pages	8
DOIs	https://doi.org/10.1109/SYNASC.2010.64
Publication status	Published - Sept 2010

Fields of science

@inproceedings{a5f99acbb96d49318d99bed35f6c668a,

title = "A Purely Logical Approach to the Termination of Imperative Loops",

author = "Madalina Erascu and Tudor Jebelean",

year = "2010",

month = sep,

doi = "10.1109/SYNASC.2010.64",

language = "English",

isbn = "9780769543246",

pages = "142--149",

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

}

TY - GEN

T1 - A Purely Logical Approach to the Termination of Imperative Loops

AU - Erascu, Madalina

AU - Jebelean, Tudor

PY - 2010/9

Y1 - 2010/9

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

U2 - 10.1109/SYNASC.2010.64

DO - 10.1109/SYNASC.2010.64

M3 - Conference proceedings

SN - 9780769543246

SP - 142

EP - 149

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

ER -