Categorical semantics of a simple differential programming language.
Geoffrey S. H. CruttwellJonathan GallagherDorette PronkPublished in: ACT (2020)
Keyphrases
- programming language
- denotational semantics
- logic programming
- general purpose
- database languages
- specification language
- object oriented
- strongly typed
- programming language constructs
- software engineering
- object oriented programming
- programming environment
- high level
- formal semantics
- computer programs
- fluent calculus
- data abstraction
- semantic data models
- database
- language constructs
- database language
- relational model
- programming tool
- database applications
- concurrent programming
- data model
- high level programming language