Ada Program Partitioning Language: A Notation for Distributing Ada Programs.
Rakesh JhaJ. Michael Kamrad IIDennis T. CornhillPublished in: IEEE Trans. Software Eng. (1989)
Keyphrases
- computer programs
- programming environment
- declarative semantics
- functional programs
- programming language
- programs written
- logic programming language
- automatic programming
- java bytecode
- symbolic execution
- recursive programs
- program execution
- programming environments
- control structures
- control program
- object oriented languages
- visual languages
- program code
- specification language
- concurrent programming
- logic programming
- modeling language
- deductive databases
- undergraduate engineering
- high level programming language
- software engineering
- agent programming
- dynamic logic
- natural language
- control flow
- java programs
- operational semantics
- programming language constructs
- logic programs
- operating system
- intermediate level
- program synthesis
- error handling
- functional language
- modelling language
- partitioning algorithm
- programming education
- answer sets
- program slicing
- language learning
- java language
- declarative programming
- language constructs
- novice programmers