Rewriting Techniques and Applications [electronic resource] : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Material type: TextSeries: Lecture Notes in Computer Science ; 2378Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Edition: 1st ed. 2002Description: XII, 392 p. online resourceContent type:- text
- computer
- online resource
- 9783540456100
- Computer programming
- Machine theory
- Computer science
- Compilers (Computer programs)
- Artificial intelligence
- Computer science -- Mathematics
- Programming Techniques
- Formal Languages and Automata Theory
- Computer Science Logic and Foundations of Programming
- Compilers and Interpreters
- Artificial Intelligence
- Symbolic and Algebraic Manipulation
- 005.11 23
- QA76.6-76.66
Invited Talks -- Combining Shostak Theories -- Multiset Rewriting and Security Protocol Analysis -- Engineering of Logics for the Content-Based Representation of Information -- Regular Papers, Application Papers -- Axiomatic Rewriting Theory VI: Residual Theory Revisited -- Static Analysis of Modularity of ?-Reduction in the Hyperbalanced ?-Calculus -- Exceptions in the Rewriting Calculus -- Deriving Focused Lattice Calculi -- Layered Transducing Term Rewriting System and Its Recognizability Preserving Property -- Decidability and Closure Properties of Equational Tree Languages -- Regular Sets of Descendants by Some Rewrite Strategies -- Rewrite Games -- An Extensional Böhm Model -- A Weak Calculus with Explicit Operators for Pattern Matching and Substitution -- Tradeoffs in the Intensional Representation of Lambda Terms -- Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae -- Conditions for Efficiency Improvement by Tree Transducer Composition -- Rewriting Strategies for Instruction Selection -- Probabilistic Rewrite Strategies. Applications to ELAN -- Loops of Superexponential Lengths in One-Rule String Rewriting -- Recursive Derivational Length Bounds for Confluent Term Rewrite Systems Research Paper -- Termination of (Canonical) Context-Sensitive Rewriting -- Atomic Set Constraints with Projection -- Currying Second-Order Unification Problems -- A Decidable Variant of Higher Order Matching -- Combining Decision Procedures for Positive Theories Sharing Constructors -- System Descriptions -- JITty: A Rewriter with Strategy Annotations -- Autowrite: A Tool for Checking Properties of Term Rewriting Systems -- TTSLI: An Implementation of Tree-Tuple Synchronized Languages -- in2: A Graphical Interpreter for Interaction Nets.
There are no comments on this title.