Recommendations
Vienna definition language
Encyclopedia of Computer ScienceThe Vienna Definition Language (VDL) is a language for defining the syntax and semantics of programming languages. It consists of a syntactic metalanguage for defining the syntax of program and data structures (q.v.) and a semantic metalanguage that ...
The formal definition of a real-time language
This paper presents the formal definition of TOMAL (Task-Oriented Microprocessor Applications Language), a programming language intended for real-time systems running on small processors. The formal definition addresses all aspects of the language. ...
Hierarchical language definition
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systemsThis paper describes a project for the hierarchical definition and implementation of languages. In the spirit of structured programming [1] and in analogy to the hierarchical construction of operating systems [2,3] we define high level languages, which ...
Comments