Term Rewriting
Parallelization of Termination Checker of Term Rewriting Systems
... The rewriting in- duction(RI) is a method for inductive theorem proving proposed by ...multi-context rewriting induction(MRI) proposed by Sato based on the idea of Kurihara has improved the power of RI ...
6
MoL 2011 16: Completing partial algebra models of term rewriting systems
... a term rewriting system is defined which provides the structure necessary to complete the partial combina- tory ...underlying term rewriting ...orthogonal term rewriting system ...
51
Term Rewriting as a Basis for a Uniform Architecture in Machine Translation
... TERM REWRITING AS A BASIS FOR A UNIFORM ARCHITECTURE IN MACHINE TRANSLATION T E R M R E W R I T I N G A S A B A S I S F O R A U N I F O R M A R C H I T E C T U R E I N M A C H I N E T R A N S L A T I[.] ...
7
Termination of term rewriting using dependency pairs
... of term rewriting sys- tems ...to term rewriting systems where they failed up to ...numerous term rewriting systems where a direct termination proof with simplication orderings ...
46
Reasoning by term rewriting
... As an example of the structural rules S5-S8, consider the signature Alice, John, Jill, Jenny, Kelly, Mary E person, father : person person, E = sister, aunt : person --* {person}, female[r] ...
146
Proof diagrams and term rewriting with applications to computational algebra
... of rewriting proof diagrams which can clean up complex pieces of proof of a ...of rewriting proof diagrams in this chapter: the application of a transformation tactic to a proof may be an extremely lengthy ...
167
A rewriting approach to binary decision diagrams
... a rewriting approach to BDD theory goes beyond a re-development of existing ...on rewriting strategies, see [11] for an ...a rewriting approach to BDD is an educational one. As term ...
26
Simplification Orders for Term Graph Rewriting
... The question arises how to prove termination for systems like the present one. Obviously, the techniques available for term rewriting (see [4] for a survey) are not directly applicable. In this paper, the ...
11
Reachability Analysis of Innermost Rewriting
... by rewriting finds more and more applications ranging from termination proofs of term rewriting systems, cryp- tographic protocol verification to static analysis of ...take rewriting ...
32
Complexity of Acyclic Term Graph Rewriting
... a term rewrite system ( TRS for short) under an outermost reduction strategy, in each step the recursive call is ...to term rewriting would profit from a more direct representation of the heap as a ...
18
Design and Implementation of Multi-Context Rewriting Induction
... of term rewriting systems ...the rewriting induction (RI) proposed by Reddy [7], which is a principle general- izing and refining several procedures for proving inductive theorems based on term ...
6
Automatic Program Rewriting for Batched Query Submission
... ABSTRACT: The performance of application is depending on backend calls like database calls and/or web services. As number of calls increases at backend side, the performance of application decreases as it calls and/or ...
5
Rewriting Environment for Arithmetic Circuit Verification
... by rewriting the polynomial of the binary encoding of the primary outputs (output signa- ture), using the polynomial models of the logic gates, into a polynomial over the primary inputs (input ...The ...
11
The War for Palestine: Rewriting the History of 1948
... by rewriting history both sides have used the 1948 war as the seed to nurture particular national myths and ...Palestine: Rewriting the History of ...
8
Defying Defoe : rewriting the castaway hero
... Phillips articulates a number of ways by which rewriting might be approached. Using three recent island narrative rewrite examples, he contends that in Moses Ascending, Sam Selvon begins to “dissolve the dualistic ...
122
Automatic Analysis of Plot for Story Rewriting
... story rewriting task the students are attempt- ing to convey information about the narrative, un- like the primarily persuasive task of an essay, our system focuses on the informational level as embod- ied by a ...
7
On the succinctness of query rewriting over shallow ontologies
... In practice, rewriting-based OBDA systems 2 can only work efficiently with those CQs and ontologies that have reasonably short rewritings. This obvious fact raises fundamental succinctness problems such as: What ...
11
Approximate rewriting of queries using views
... contained rewriting of the given query using the given ...contained rewriting can be constructed using the given ...contained rewriting is possible and terminates immediately without any further ...
60
Automatic Rewriting of Patient Record Narratives
... the term. For example, the document may contain the term nephritis and neutrophil, potentially con- fusable technical terms to the lay reader which can be dif- ferentiated with a simple gloss of each ...
7
Access control by query rewriting: the case of KorAP
... The first variant is mostly used in database systems by applying query rewriting and modifying where clauses in SQL statements before the query hits the database (cf. Oracle, 2014). The second variant is proposed ...
6