×

DACTL

swMATH ID: 2871
Software Authors: John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, Ronan Sleep
Description: A generalized computational model based on graph rewriting is presented along with Dactl, an associated compiler target (intermediate) language. An illustration of the capability of graph rewriting to model a variety of computational formalisms is presented by showing how some examples written originally in a number of languages can be described as graph rewriting transformations using Dactl notation. This is followed by a formal presentation of the Dactl model before giving a formal definition of the syntax and semantics of the language. Some implementation issues are also discussed.
Homepage: http://link.springer.com/chapter/10.1007/BFb0017401
Keywords: implementation; graph rewriting; functional languages; evaluation strategy; Dactl; translation
Related Software: DIEGO; PROGRES; MONSTR; Miranda; CLEAN; PLT Redex; ML; Coq; PAKCS; Curry; DiaGen; Hy+; Facile; Haskell
Cited in: 27 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Implementing term rewrite languages in DACTL. Zbl 0698.68013
Kennaway, Richard
1990
all top 5

Cited by 31 Authors

4 Banach, Richard
4 Kennaway, Richard
3 Kreowski, Hans-Jörg
3 Kuske, Sabine
3 Plump, Detlef
2 Ariola, Zena M.
2 Echahed, Rachid
2 Habel, Annegret
2 Hoffmann, Berthold
2 Zerny, Ian
1 Andries, Marc
1 Antoy, Sergio
1 Arvind
1 Bolton, David
1 Crégut, Pierre
1 Danvy, Olivier
1 Drewes, Frank
1 Duval, Dominique
1 Engels, Gregor
1 Fu, James Jianghai
1 Glauert, John
1 Hankin, Chris L.
1 Holm, Kristoffer Høgsbro
1 Jost, Andy
1 Kelly, Paul H. J.
1 Kennaway, J. R.
1 Panangaden, Prakash
1 Prost, Frédéric
1 Schürr, Andy
1 Taentzer, Gabriele
1 Verbrugge, Clark
all top 5

Cited in 10 Serials

5 Theoretical Computer Science
2 Higher-Order and Symbolic Computation
1 Information Processing Letters
1 Journal of Computer and System Sciences
1 Journal of Algorithms
1 Science of Computer Programming
1 New Generation Computing
1 Formal Aspects of Computing
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Universal Computer Science

Cited in 4 Fields

27 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)
3 Category theory; homological algebra (18-XX)
2 Combinatorics (05-XX)

Citations by Year