A program logic for resources.
David AspinallLennart BeringerMartin HofmannHans-Wolfgang LoidlAlberto MomiglianoPublished in: Theor. Comput. Sci. (2007)
Keyphrases
- resource allocation
- logic programming
- programs written
- resource management
- limited resources
- computing resources
- semantics of logic programs
- real time
- declarative semantics
- multi valued
- learning resources
- case study
- logical framework
- program execution
- asynchronous circuits
- cloud computing
- multi agent systems
- functional programs