Abstract | ||
---|---|---|
IntroductionELAN is a powerful language and environment for specifying and prototyping deductionsystems in a language based on rewrite rules controlled by strategies. It oers a naturaland simple logical framework for the combination of the computation and deductionparadigms. It supports the design of theorem provers, logic programming languages,constraint solvers and decision procedures.ELAN takes from functional programming the concept of abstract data types andthe function... |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/10721975_19 | RTA |
Keywords | Field | DocType |
reduce elan machine,new elan compiler,logical framework,functional programming,abstract data type,theorem prover | Program optimization,Programming language,Functional programming,Computer science,Algorithm,Compiler,Rewriting,Logic programming,Pattern matching,Logical framework,Computation | Conference |
Volume | ISSN | ISBN |
1833 | 0302-9743 | 3-540-67778-X |
Citations | PageRank | References |
2 | 0.38 | 6 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pierre-etienne Moreau | 1 | 598 | 40.40 |