Reuse of SML module system for the B language.
Dorian PetitVincent PoirriezGeorges MarianoPublished in: FDL (2004)
Keyphrases
- programming language
- natural language
- language learning
- database
- data structure
- learning objects
- data sets
- specification language
- computational linguistics
- programming environment
- decision trees
- real world
- multi agent systems
- high level
- software development
- language processing
- knowledge base
- representation language
- databases
- operational semantics
- english language