Towards a Methodology for Rule-Based Programming
Identifieur interne : 001305 ( Crin/Checkpoint ); précédent : 001304; suivant : 001306Towards a Methodology for Rule-Based Programming
Auteurs : Carlos Castro ; Claude KirchnerSource :
English descriptors
Abstract
In this paper, we propose general guidelines that could be considered to define transformation rules when programming using a rule-based approach. We apply the proposed steps for solving some typical problems in Computer Science. Through these examples, we also show how clear and easy it is to prove properties such as correctness, completeness and termination following these guidelines when a rule-based paradigm is used.
Links toward previous steps (curation, corpus...)
Links to Exploration step
CRIN:castro02aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="160">Towards a Methodology for Rule-Based Programming</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:castro02a</idno>
<date when="2002" year="2002">2002</date>
<idno type="wicri:Area/Crin/Corpus">003683</idno>
<idno type="wicri:Area/Crin/Curation">003683</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003683</idno>
<idno type="wicri:Area/Crin/Checkpoint">001305</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">001305</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Towards a Methodology for Rule-Based Programming</title>
<author><name sortKey="Castro, Carlos" sort="Castro, Carlos" uniqKey="Castro C" first="Carlos" last="Castro">Carlos Castro</name>
</author>
<author><name sortKey="Kirchner, Claude" sort="Kirchner, Claude" uniqKey="Kirchner C" first="Claude" last="Kirchner">Claude Kirchner</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>rewriting</term>
<term>rewriting strategy</term>
<term>rule based programming</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="386">In this paper, we propose general guidelines that could be considered to define transformation rules when programming using a rule-based approach. We apply the proposed steps for solving some typical problems in Computer Science. Through these examples, we also show how clear and easy it is to prove properties such as correctness, completeness and termination following these guidelines when a rule-based paradigm is used.</div>
</front>
</TEI>
<BibTex type="techreport"><ref>castro02a</ref>
<crinnumber>A02-R-529</crinnumber>
<category>15</category>
<equipe>PROTHEO</equipe>
<author><e>Castro, Carlos</e>
<e>Kirchner, Claude</e>
</author>
<title>Towards a Methodology for Rule-Based Programming</title>
<year>2002</year>
<type>Rapport de recherche</type>
<month>Dec</month>
<url>http://www.loria.fr/publications/2002/A02-R-529/A02-R-529.ps</url>
<keywords><e>rewriting</e>
<e>rule based programming</e>
<e>rewriting strategy</e>
</keywords>
<abstract>In this paper, we propose general guidelines that could be considered to define transformation rules when programming using a rule-based approach. We apply the proposed steps for solving some typical problems in Computer Science. Through these examples, we also show how clear and easy it is to prove properties such as correctness, completeness and termination following these guidelines when a rule-based paradigm is used.</abstract>
</BibTex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001305 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd -nk 001305 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Crin |étape= Checkpoint |type= RBID |clé= CRIN:castro02a |texte= Towards a Methodology for Rule-Based Programming }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |