Declarative specification of template-based textual editors.
Tobi VollebregtLennart C. L. KatsEelco VisserPublished in: LDTA (2012)
Keyphrases
- high level
- attribute grammars
- multimedia
- natural language
- knowledge representation
- learning algorithm
- metadata
- special issue
- formal specification
- specification language
- visual features
- declarative language
- textual features
- asynchronous circuits
- formal verification
- textual data
- database
- programming language
- neural network
- databases