Designing Constraint Logic Programming Languages using Computational Systems
Identifieur interne : 00CB53 ( Main/Merge ); précédent : 00CB52; suivant : 00CB54Designing Constraint Logic Programming Languages using Computational Systems
Auteurs : C. Kirchner ; H. Kirchner ; M. VittekSource :
Abstract
This work presents computational systems, a framework for describing computational logics, and ELAN, an interpreter of computational systems whose expressive power is examplified on several examples of constraint solving and operational semantics design. The rewriting logic, proposed by J. Meseguer, provides a logical framework in which other languages can be represented and a semantic framework for the specification of languages and systems. Here we enrich the notion of rewrite theories in rewriting logic with a notion of strategy to build computational systems. This allows expressing for example equational programming. Horn clause programming and constraint solvers as computational systems. We thus get a framework in which rewriting techniques can be used to reason about termination, confluence, combination and enrichment of computational systems. The ELAN system implements computational systems using a specific language for expressing strategies. The system is presented and its specificities illustrated on examples.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 001B12
- to stream Crin, to step Curation: 001B12
- to stream Crin, to step Checkpoint: 002B08
Links to Exploration step
CRIN:kirchner95cLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="634">Designing Constraint Logic Programming Languages using Computational Systems</title></titleStmt><publicationStmt><idno type="RBID">CRIN:kirchner95c</idno><date when="1995" year="1995">1995</date><idno type="wicri:Area/Crin/Corpus">001B12</idno><idno type="wicri:Area/Crin/Curation">001B12</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001B12</idno><idno type="wicri:Area/Crin/Checkpoint">002B08</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002B08</idno><idno type="wicri:Area/Main/Merge">00CB53</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Designing Constraint Logic Programming Languages using Computational Systems</title><author><name sortKey="Kirchner, C" sort="Kirchner, C" uniqKey="Kirchner C" first="C." last="Kirchner">C. Kirchner</name></author><author><name sortKey="Kirchner, H" sort="Kirchner, H" uniqKey="Kirchner H" first="H." last="Kirchner">H. Kirchner</name></author><author><name sortKey="Vittek, M" sort="Vittek, M" uniqKey="Vittek M" first="M." last="Vittek">M. Vittek</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en" wicri:score="3262">This work presents computational systems, a framework for describing computational logics, and ELAN, an interpreter of computational systems whose expressive power is examplified on several examples of constraint solving and operational semantics design. The rewriting logic, proposed by J. Meseguer, provides a logical framework in which other languages can be represented and a semantic framework for the specification of languages and systems. Here we enrich the notion of rewrite theories in rewriting logic with a notion of strategy to build computational systems. This allows expressing for example equational programming. Horn clause programming and constraint solvers as computational systems. We thus get a framework in which rewriting techniques can be used to reason about termination, confluence, combination and enrichment of computational systems. The ELAN system implements computational systems using a specific language for expressing strategies. The system is presented and its specificities illustrated on examples.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00CB53 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00CB53 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Merge
|type= RBID
|clé= CRIN:kirchner95c
|texte= Designing Constraint Logic Programming Languages using Computational Systems
}}
| This area was generated with Dilib version V0.6.33. |  |