Sign in

Idealized coinductive type systems for imperative object-oriented programs.

Davide AnconaGiovanni Lagorio
Published in: RAIRO Theor. Informatics Appl. (2011)
Keyphrases
  • object oriented programs
  • complex systems
  • building blocks
  • information systems
  • expert systems
  • open source
  • reverse engineering