On Flat Programs with Lists

DOI10.1007/978-3-540-69738-1_9zbMath1132.68334OpenAlexW1753242230MaRDI QIDQ5452602

Radu Iosif, Marius Bozga

Publication date: 4 April 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69738-1_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Programs with lists are counter automata, Flat Petri nets (invited talk)