Design patterns in separation logic.
Neelakantan R. KrishnaswamiJonathan AldrichLars BirkedalKasper SvendsenAlexandre BuissePublished in: TLDI (2009)
Keyphrases
- design patterns
- software engineering
- object oriented
- software systems
- design principles
- software design
- ontology driven
- usage scenarios
- logic programming
- multi valued
- software architecture
- learning objects
- metamodel
- classical logic
- database driven
- object oriented software
- specific problems
- design rationale
- behavioural patterns
- modal logic
- process model
- high level
- artificial intelligence
- databases
- pattern languages
- metadata
- learning games
- decision making
- model view controller
- database