The Functional Logic Language BABEL and Its Implementation on a Graph Machine.
Herbert KuchenRita LoogenJuan José Moreno-NavarroMario Rodríguez-ArtalejoPublished in: New Gener. Comput. (1996)
Keyphrases
- functional language
- specification language
- formal language
- random walk
- connected components
- language learning
- modal logic
- graph theory
- graph model
- functional programming
- dynamic logic
- natural language
- operational semantics
- micron cmos
- linear temporal logic
- predicate calculus
- classical logic
- structured data
- programming language
- conditional logic
- relational structures
- predicate logic
- graph representation
- rewriting rules
- modeling language
- protein function prediction
- formal logic
- directed graph
- query language for xml