A compiler and run-time system for network programming languages.
Christopher MonsantoNate FosterRob HarrisonDavid WalkerPublished in: POPL (2012)
Keyphrases
- programming language
- object oriented
- general purpose
- high level
- logic programming
- strongly typed
- software engineering
- database languages
- denotational semantics
- programs written
- programming environment
- object oriented programming
- database
- lambda calculus
- data abstraction
- specification language
- computer programs
- object oriented concepts
- databases