J.F.T. Kamperman, H.R. Walters, ARM -- Abstract rewriting machine, in: H.A. Wijshoff (Ed.), Computing Science in the Netherlands, 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Abstract Machines for Programming Language Implementations - Diehl, Hartel, Sestoft (2000) (6 citations) (Correct)
....for other purposes. Term rewriting [42] is a model of computation used in various areas of computer science, including symbolic computation, automated theorem proving and execution of algebraic specifications. Abstract machines for term rewriting systems include the abstract rewriting machine ARM [72], ARM [129] and TRAM [99] Portability is the main reason for the success of DVI [76] and PostScript [64] as page description languages. DVI is a simple language without control flow constructs, whereas PostScript is a full programming language in the tradition of Forth. Both are used as ....
J.F.T. Kamperman, H.R. Walters, ARM -- Abstract rewriting machine, in: H.A. Wijshoff (Ed.), Computing Science in the Netherlands, 1993.
Epic and ARM - User's Guide - Walters (1997) Self-citation (Walters) (Correct)
No context found.
J.F.Th. Kamperman and H.R. Walters. ARM -- Abstract Rewriting Machine. In H.A. Wijshoff, editor, Computing Science in the Netherlands, pages 193--204, 1993.
Epic 1.0 (unconditional) an Equational Programming Language - Walters, Kamperman (1996) Self-citation (Th Walters) (Correct)
....for portable ANSI C, or for a machine specific variant which performs two to three 3. EPIC s efficiency 15 times better. In this manner ports for SUN SPARC and SGI R5000 using gcc have been defined, and a port for Macintosh (680xx) and (Symantec) Think C. A precursor of Arm is described in [KW93] a successor in [WK95a] 3. EPIC s efficiency Epic was designed specifically with efficiency in mind, where a balance was stricken between compilation speed and execution speed. In lieu of the former, an interpreter is used for the intermediate (abstract machine) level; this interpreter has ....
J.F.Th. Kamperman and H.R. Walters. ARM -- Abstract Rewriting Machine. In H.A. Wijshoff, editor, Computing Science in the Netherlands, pages 193--204, 1993.
Minimal Term Rewriting Systems - Walters, Kamperman (1995) (7 citations) Self-citation (Th Walters) (Correct)
....this statement follows from inspection of the ARM code, which is close to the machine code that efficient compilers for (eager) functional languages generate for comparable programs. 6. Relation to Other Abstract Machines The abstract machine presented in Section 5 is much less complex than ARM [KW93] In [HG94] a provably correct compiler for term rewriting systems is described, using an abstract machine TRIM, which bears some similarity to ARM. The approach seems to be geared more towards provability than towards efficiency, because environments are built explicitly on the heap (whereas ....
J.F.Th. Kamperman and H.R. Walters. ARM -- Abstract Rewriting Machine. In H.A. Wijshoff, editor, Computing Science in the Netherlands, pages 193--204, 1993.
The New ASF Compiler - An exercise in self-applicability - Kamperman, Walters Self-citation (Th Walters) (Correct)
....in software engineering of a portable compiler, the project is interesting to the ASF SDF community. 1 Introduction This paper discusses the ongoing construction of a (new) stand alone self compiling compiler for ASF SDF[BHK89] using the ASF SDF meta environment [Kli93] and its compiler ASF2C[KW93]. The (ultimate) aim of this effort is to provide a portable platform for ASF SDF which is not dependent on the meta environment, and which allows the generation of (portable) stand alone tools and applications (possibly partially) defined in ASF SDF. The short term aim is to incorporate ....
J.F.Th. Kamperman and H.R. Walters. ARM -- Abstract Rewriting Machine. In H.A. Wijshoff, editor, Computing Science in the Netherlands, pages 193--204, 1993.
EPIC: An Equational Programming Language - Abstract Machine .. - Walters, Kamperman Self-citation (Th Walters) (Correct)
....which can be defined either for portable ANSI C, or for a machine specific variant which performs two to three times better. In this manner ports for SUN SPARC and SGI R5000 using gcc have been defined, and a port for Macintosh (680xx) and (Symantec) Think C. A precursor of Arm is described in [KW93] a successor in [WK95a] 6 EPIC s efficiency Epic was designed specifically with efficiency in mind, where a balance was striken between compilation speed and execution speed. In lieu of the former, an interpreter is used for the intermediate (abstract machine) level; this interpreter has ....
J.F.Th. Kamperman and H.R. Walters. ARM -- Abstract Rewriting Machine. In H.A. Wijshoff, editor, Computing Science in the Netherlands, pages 193--204, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC