Boilerplates for Reconfigurable Systems: A Language and Its Semantics.
Alexandre MadeiraManuel A. MartinsLuís Soares BarbosaPublished in: SBLP (2013)
Keyphrases
- formal languages
- low cost
- programming language
- intended meaning
- retrieval systems
- management system
- distributed systems
- intelligent systems
- logic programming
- natural language
- specification language
- logic programming language
- conceptual graphs
- reasoning services
- logical language
- formal language
- conditional logic
- operational semantics
- speech acts
- model checking
- complex systems
- relational databases