Sign in
Idealized coinductive type systems for imperative object-oriented programs.
Davide Ancona
Giovanni Lagorio
Published in:
RAIRO Theor. Informatics Appl. (2011)
Keyphrases
</>
object oriented programs
complex systems
building blocks
information systems
expert systems
open source
reverse engineering