Label-Based Programming Language Semantics in K Framework with SDF.
Denis BogdanasPublished in: SYNASC (2012)
Keyphrases
- programming language
- specification language
- denotational semantics
- object oriented
- strongly typed
- logic programming
- general purpose
- object oriented programming
- database languages
- software engineering
- programming environment
- domain specific languages
- formal semantics
- fluent calculus
- concurrent programming
- object oriented concepts
- java language
- database
- high level
- artificial intelligence
- databases