Paper Info
Title
Term Rewriting with Logical Constraints.
Abstract
In recent works on program analysis, transformations of various programming languages to term rewriting are used. In this setting, constraints appear naturally. Several definitions which combine rewriting with logical constraints, or with separate rules for integer functions, have been proposed. This paper seeks to unify and generalise these proposals.
Year
DOI
Venue
2013
10.1007/978-3-642-40885-4_24
Lecture Notes in Computer Science
Keywords
Field
DocType
Term rewriting,Constraints,Integer rewriting
Integer,Discrete mathematics,Programming language,Computer science,Rewriting,Confluence,Program analysis
Conference
Volume
ISSN
Citations 
8152
0302-9743
14
PageRank 
References 
Authors
0.95
11
2
Name
Order
Citations
PageRank
Cynthia Kop16812.73
Naoki Nishida2140.95