Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf  Home/Search
Context Related
| cwi.nl/~apt/alma.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cwi.nl/~jve/dynamo/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Architecture The Alma Abstract Architecture (AAA) is the virtual architecture used during the intermediate code generation phase of the Alma-0 compiler. The AAA combines the features of the abstract machines for imperative languages and for logic programming languages. The compiler compiles the Alma-0 programs into AAA programs. In a second phase the AAA instructions are translated into C statements. As the Alma-0 language itself, the AAA aims to combine the best of both worlds; elements... (Update)
Cited by: More
Using Mobility and Blackboards to Support a.. - Barbosa, Yamin.. (2001) (Correct)
Building Logic Toolboxes - Heguiabehere (2003) (Correct)
Implementing Constraint Imperative Languages with Higher-Order.. - Grabmüller (2003) (Correct)
Similar documents (at the sentence level):
55.0%: Alma-0: An Imperative Language that Supports.. - Apt, Brunekreef.. (1997) (Correct)
11.3%: Search and Imperative Programming - Apt, al. (1997) (Correct)
Active bibliography (related documents): More All
0.4: Annotated Algebraic Specification of the Syntax and Semantics.. - Brunekreef (1998) (Correct)
0.4: Programming in Alma-0, or Imperative and Declarative.. - Apt, Schaerf (1998) (Correct)
0.4: Formulas as Programs - Apt, Bezem (1998) (Correct)
Similar documents based on text: More All
0.4: Implementation of an Imperative Programming Language With.. - Partington (1997) (Correct)
0.4: Integrating Constraints into an Imperative Programming Language - Apt, Schaerf (1998) (Correct)
0.3: NRAO NRAO Newsletter Newsletter - The National Radio (Correct)
Related documents from co-citation: More All
16: Linguistics and Philosophy (context) - Groenendijk, Stokhof et al. - 1991
11: Formulas as programs - Apt, Bezem - 1998
9: Programming with dynamic predicate logic - van Eijck - 1998
BibTeX entry: (Update)
K. R. Apt, J. Brunekreef, V. Partington, and A. Schaerf. Alma-0: An imperative language that supports declarative programming. ACM Toplas, 1998. In press. Available via http://www.cwi.nl/~apt. http://citeseer.ist.psu.edu/apt98alma.html More
@incollection{ apt97alma,
author = "Krzysztof R. Apt and J. {Brunekreef, Jacob} and Vincent Partington and Andrea Schaerf",
title = "Alma-0: An imperative language that supports declarative programming",
booktitle = "185",
month = "30",
publisher = "Centrum voor Wiskunde en Informatica (CWI)",
address = "ISSN 1386-3711",
pages = "42",
year = "1997",
url = "citeseer.ist.psu.edu/apt98alma.html" }
Citations (may not include all citations):891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
862 The Java Language Specification - Gosling, Joy et al. - 1996
261 An introduction to Prolog III (context) - Colmerauer - 1990
242 Reference Manual (context) - Ellis, Stroustrup et al. - 1990
191 A meta--environment for generating programming environments (context) - Klint - 1993
130 From Logic Programming to Prolog (context) - Apt - 1997
101 Dynamic predicate logic - Groenendijk, Stokhof - 1991
101 Programming with Sets---An Introduction to SETL (context) - Schwartz, Dewar et al. - 1986
89 Complexity results for planning (context) - Bylander - 1991
76 The Icon Programming Language (context) - Griswold, Griswold - 1983
65 implementation of CLP (context) - Puget - 1994
47 and Shapiro (context) - Sterling - 1994
29 Warren's Abstract Machine: A Tutorial Reconstruction (context) - it-Kaci - 1991
27 Introduction to the CLAIRE programming language (context) - Caseau, Laburthe - 1996
22 Programming in Modula-2 (context) - Wirth - 1985
15 Search and imperative programming - Apt, Schaerf - 1997
14 Prolog by Example (context) - Coelho, Cotta - 1988
12 Prolog with arrays and bounded quantifications - Barklund, Bevemyr - 1993
12 Implementation of an imperative programming language with ba.. - Partington - 1997
11 Artificial Intelligence Techniques in Prolog (context) - Shoham - 1994
10 Compiler Construction (context) - Wirth - 1996
10 CONNIVER reference manual (context) - Sussman, McDermott - 1972
9 Incorporating mutable arrays into logic programming (context) - Eriksson, Rayner - 1984
9 Full abstraction for a simple programming language (context) - Hennessy, Plotkin - 1979
9 Non-Deterministic algorithms (context) - Cohen - 1979
8 2LP: Linear programming and logic programming (context) - McAloon, Tretkoff - 1995
8 MICRO-PLANNER reference manual (context) - Sussman, Winograd et al. - 1970
8 A theory of programs (context) - Scott, de Bakker - 1969
7 Algorithms and Data Structures (context) - Wirth - 1986
6 The Handbook of Artificial Intelligence Vol (context) - Barr, Feigenbaum et al. - 1981
6 Procedural embedding of knowledge in PLANNER (context) - Hewitt - 1971
5 Annotated algebraic specification of the syntax and semantic.. - Brunekreef - 1998
5 bounded quantification and iteration in logic and constraint.. (context) - Apt - 1996
5 Spill: A logic language for writing testable requirements sp.. (context) - Klu'zniak, Mi - 1997
2 the YACC-compatible Parser Generator (context) - Donnoly, Stallman - 1995
2 Syntactic and semantic dependence of array-arithmetic senten.. (context) - Marcus - 1996
1 Pegasus: A RISC processor for high-performance execution of .. (context) - An, that et al. - 1988
1 Available online httpwww (context) - version, generator et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cwi.nl/~jve/dynamo/): More
Computing with Dynamic Predicate Logic - van Eijck (1999) (Correct)
Dynamo With Shift and Reduce - van Eijck (Correct)
Dynamo - A Language for Dynamic Logic Programming - van Eijck (1998) (Correct)
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