Programs with Lists Are Counter Automata.

Ahmed Bouajjani Marius Bozga Peter Habermehl Radu Iosif Pierre Moro Tomás Vojnar

Published in: CAV (2006)

Keyphrases

turing machine
information systems
finite state machines
real time
artificial intelligence
natural language
finite automata
automatic programming
regular expressions
fixpoint
provably correct