Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics.
Michael Kirkedal ThomsenRobin KaarsgaardMathias SoekenPublished in: RC (2015)
Keyphrases
- logical language
- specification language
- operational semantics
- logic programming language
- intended meaning
- rewriting rules
- highly expressive
- programming language
- definition language
- formal language
- model theoretic
- dynamic logic
- action language
- formal semantics
- denotational semantics
- logic programming
- conceptual graphs
- markov chain
- proof theory
- database query languages
- formal languages
- aggregate functions
- speech acts
- language learning
- cellular automata
- uml class diagrams
- rule language
- transformation rules
- semantically equivalent
- disjunctive logic programming
- predicate calculus
- conditional logic
- sparql queries
- default reasoning
- situation calculus
- fixed point semantics