A Declarative Specification of Tree-Based Symbolic Arithmetic Computations.
Paul TarauPublished in: PADL (2012)
Keyphrases
- high level
- attribute grammars
- interval arithmetic
- specification language
- formal specification
- data sets
- arithmetic operations
- real time
- symbolic data
- relational databases
- symbolic representation
- floating point
- software engineering
- tree construction
- knowledge representation
- asynchronous circuits
- connectionist models
- databases
- declarative language
- database