Decidable models of integer-manipulating programs with recursive parallelism

DOI10.1007/978-3-319-45994-3_11zbMath1403.68125OpenAlexW2520425114MaRDI QIDQ5915901

Matthew Hague, Anthony Widjaja Lin

Publication date: 26 March 2018

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

Full work available at URL: https://doi.org/10.1007/978-3-319-45994-3_11

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

On store languages and applications, Decidable models of integer-manipulating programs with recursive parallelism, Semilinearity of Families of Languages