×

zbMATH — the first resource for mathematics

RULE 2001. Proceedings of the 2nd international workshop on rule-based programming (Satellite Event of PLI 2001), Florence, Italy, September 4, 2001. (English) Zbl 1266.68020
Electronic Notes in Theoretical Computer Science 59, No. 4. Amsterdam: Elsevier. 255-426, electronic only (2001).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Akama, Kiyoshi; Nantajeewarawat, Ekawit; Koike, Hidekatsu, A class of rewriting rules and reverse transformation for rule-based equivalent transformation, 255-270 [Zbl 1268.68061]
Fischer, Bernd; Roşu, Grigore, Interpreting abstract interpretations in membership equational logic, 271-285 [Zbl 1268.68066]
Giavitto, Jean-Louis; Michel, Olivier, MGS: a rule-based programming language for complex objects and collections, 286-304 [Zbl 1268.68041]
Hoffmann, Berthold; Minas, Mark, Transformation of shaped nested graphs and diagrams, 305-319 [Zbl 1268.68096]
Nguyen, Quang-Huy, Certifying term rewriting proofs in ELAN, 320-340 [Zbl 1268.68102]
Struth, Georg, Knuth-Bendix completion for non-symmetric transitive relations, 341-357 [Zbl 1268.68068]
Danvy, Olivier; Nielsen, Lasse R., Syntactic theories in practice, 358-374 [Zbl 1268.68065]
Visser, Eelco, Scoped dynamic rewrite rules, 375-396 [Zbl 1268.68106]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: Link