Light Affine Logic as a Programming Language: A First Contribution.
Luca RoversiPublished in: Int. J. Found. Comput. Sci. (2000)
Keyphrases
- databases
- programming language
- logic programming
- lambda calculus
- object oriented
- general purpose
- database language
- high level
- software engineering
- denotational semantics
- database languages
- programming environment
- strongly typed
- database applications
- object oriented programming
- concurrent programming
- programs written
- domain specific languages
- programming paradigms
- object oriented concepts
- specification language
- programming tool
- functional programming
- relational databases
- functional language
- computer programs
- deductive databases
- artificial intelligence