The provision of procedural and functional interfaces for the maintenance of program design language and program language notations.
Darrel C. IncePublished in: ACM SIGPLAN Notices (1984)
Keyphrases
- modeling language
- programming environment
- computer programs
- programming language
- modelling language
- intended meaning
- natural language
- functional programs
- language learning
- design process
- logic programming language
- program execution
- control program
- conceptual model
- concurrent programming
- declarative semantics
- functional verification
- web services
- semantically equivalent
- practical experience
- user interface
- test cases
- levels of abstraction
- engineering design