Login / Signup

The abstract state machines method for modular design and analysis of programming languages.

Egon Börger
Published in: J. Log. Comput. (2017)
Keyphrases
  • programming language
  • software engineering
  • logic programming
  • databases
  • high level
  • object oriented