Rule-based programming and proving: the ELAN experience outcomes

Authors:
Claude Kirchner;Hélène Kirchner
Affiliations:
LORIA & INRIA, Villers-lès-Nancy, France;LORIA & CNRS, Villers-lès-Nancy, France
Venue:
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Year:
2004

Citing 20
Cited 2

Concurrent term rewriting as a model of computation

Proc. of a workshop on Graph reduction
Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Unification revisited

Foundations of deductive databases and logic programming
An introduction to Prolog III

Communications of the ACM
Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
A meta-environment for generating programming environments

ACM Transactions on Software Engineering and Methodology (TOSEM)
Building constraint satisfaction problem solvers using rewrite rules and strategies

Fundamenta Informaticae - Special issue on foundations of constraint programming
System Presentation -- CARIBOO: An induction based proof tool for termination with strategies

Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
External Rewriting for Skeptical Proof Assistants

Journal of Automated Reasoning
ELAN from a rewriting logic point of view

Theoretical Computer Science - Rewriting logic and its applications
Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
CASL: the common algebraic specification language

Theoretical Computer Science
Matching Power

RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Simulation of Turning Machines by a Left-Linear Rewrite Rule

RTA '89 Proceedings of the 3rd International Conference on Rewriting Techniques and Applications
Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs

Proceedings of the International Conference on Mathematical Studies of Information Processing
Theorem Proving Modulo

Journal of Automated Reasoning
HOL-λσ: an intentional first-order expression of higher-order logic

Mathematical Structures in Computer Science
Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories

Journal of Functional Programming
A rule-based approach for automated generation of kinetic chemical mechanisms

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
A pattern matching compiler for multiple target languages

CC'03 Proceedings of the 12th international conference on Compiler construction

A ρ-calculus of explicit constraint application

Higher-Order and Symbolic Computation
Anchoring Modularity in HTML

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Together with the Protheo team in Nancy, we have developed in the last ten years the ELAN rule-based programming language and environment. This paper presents the context and outcomes of this research effort.