An Implementation of OBJ2: An Object-Oriented Language for Abstract Program Specification.
S. SridharPublished in: FSTTCS (1986)
Keyphrases
- specification language
- programming language
- high level
- object oriented
- computer programs
- highly modular
- formal specification
- programming environment
- high level programming
- high level programming language
- control program
- formal language
- description language
- language learning
- code generation
- definition language
- program execution
- java virtual machine
- functional programs
- intended meaning
- code generator
- java programming
- state machines
- action language
- java language
- conceptual model
- test cases