Extending resource-bounded functional programming languages with mutable state and concurrency.
Stephen GilmoreKenneth MacKenzieNicholas WolversonPublished in: Scalable Comput. Pract. Exp. (2005)
Keyphrases
- programming language
- resource bounded
- object oriented
- functional language
- general purpose
- high level
- software engineering
- strongly typed
- denotational semantics
- lambda calculus
- programming environment
- concurrent programming
- logic programming
- information gathering
- specification language
- database languages
- functional programming
- databases
- data abstraction
- dynamic environments
- logic programs
- database systems
- decision making
- artificial intelligence
- database