Search Results - "Automatic Pro- gramming—Automatic analysis of algorithms"

Termination of rewriting under strategies: a generic approach

Authors: Isabelle Gnaedig Helene Kirchner The Pennsylvania State University CiteSeerX Archives

Contributors: Isabelle Gnaedig Helene Kirchner The Pennsylvania State University CiteSeerX Archives

Source: http://hal.archives-ouvertes.fr/docs/00/11/31/56/PDF/tocl-second-version-hal.pdf.

Subject Terms: Categories and Subject Descriptors, F.3.1 [LOGICS AND MEANINGS OF PROGRAMS, Specifying and Verifying and Reasoning about Programs—Logics of programs, Mechanical verifi- cation, Specification techniques, F.4.2 [MATHEMATICAL LOGIC AND FORMAL LAN- GUAGES, Grammars and Other Rewriting Systems, F.4.3 [MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Formal Languages—Algebraic language theory, I.1.3 [SYM- BOLIC AND ALGEBRAIC MANIPULATION, Languages and Systems—Evaluation stra- tegies, Substitution mechanisms, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Pro- gramming—Automatic analysis of algorithms, Program verification, I.2.3 [ARTIFICIAL IN- TELLIGENCE, Deduction and Theorem Proving—Deduction, Inference engines, Mathemat- ical induction, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.2.4 [SOFTWARE ENGINEERING, Software/Program Verification—Correctness proofs, Formal methods, Validation General Terms, Algorithms, Languages, Verification Additional Key Words and Phrases, abstraction, innermost

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.502.464

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.502.464
http://hal.archives-ouvertes.fr/docs/00/11/31/56/PDF/tocl-second-version-hal.pdf