Yuri Gurevich, Egon Börger  Home/Search
Context
Related
| nec.com/homepages/...RICSNS954.ps.gz microsoft.com/~gurevich/Opera...111.pdf microsoft.com/~gurevich/Opera...110.pdf 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: nec.com/homepages/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine (a virtual machine model which underlies most of the current Prolog implementations and incorporates crucial optimization techniques) starting from a more abstract EA for Prolog developed by Borger in [Bo1--Bo3]. Q: How do you tailor an EA machine to the abstraction level of an algorithm whose individual steps are complicated algorithms all by themselves? For example, the algorithm may be written in a high level language that allows, say, multiplying integer matrices in one step. A:... (Update)
Similar documents (at the sentence level): More
19.4%: Evolving Algebras 1993: Lipari Guide - Gurevich (1993) (Correct)
18.8%: The Semantics of the C Programming Language - Gurevich, Huggins (1993) (Correct)
15.5%: Evolving Algebras: An Attempt To Discover Semantics - Gurevich (1993) (Correct)
Active bibliography (related documents): More All
1.8: Why Use Evolving Algebras for Hardware and Software Engineering? - Börger (1995) (Correct)
0.5: Integrating State Charts in Specware and Aspects of Correct.. - Kutter (1996) (Correct)
0.5: A Mathematical Definition of Full Prolog - Börger, Rosenzweig (1994) (Correct)
Similar documents based on text: More All
0.7: An Offline Partial Evaluator for Evolving Algebras - Huggins (1995) (Correct)
0.5: Algorithms vs. Machines - Blass, Gurevich (Correct)
0.5: The Logic In Computer Science Column - Yuri Gurevich Pairwise (1988) (Correct)
BibTeX entry: (Update)
@incollection{ gurevich95evolving,
author = "Y. Gurevich",
title = "{Evolving Algebras 1993: Lipari Guide}",
booktitle = "Specification and Validation Methods",
publisher = "Oxford University Press",
editor = "E. B{\"o}rger",
pages = "9--36",
year = "1995",
url = "citeseer.ist.psu.edu/article/gurevich95evolving.html" }
Citations (may not include all citations):328 PVM 3 User's Guide and Reference Manual - Geist, Beguelin et al. - 1994
287 PVM: Parallel Virtual Machine -- A Users Guide and Tutorial .. (context) - Geist, Beguelin et al. - 1994
224 Algebraic Specifications (context) - Wirsing - 1990
149 Logic and the challenge of computer science (context) - Gurevich - 1988
114 The PVM Concurrent Computing System: Evolution (context) - Sunderam, Geist et al. - 1994
64 programming language (context) - Gurevich, Huggins et al. - 1993
53 A mathematical definition of full Prolog (context) - Borger, Rosenzweig - 1995
53 Cambridge University Press (context) - Mosses - 1992
40 The WAM -- definition and compiler correctness - Borger, Rosenzweig - 1995
37 Correctness of compiling Occam to Transputer code (context) - Borger, urd et al. - 1995
26 Annotated bibliography on evolving algebras (context) - Borger - 1995
22 The bakery algorithm: Yet another specification and verifica.. - Borger, Gurevich et al. - 1995
21 Formal definition of an abstract VHDL'93 simulator by EA--ma.. (context) - Borger, Glasser et al. - 1995
17 A formal method for provably correct composition of a real--.. (context) - Borger, Castillo
15 Kermit: Specification and verification - Huggins - 1995
12 A formal operational semantics for languages of type Prolog .. (context) - Borger, Schmitt - 1991
11 part i: The primary model (context) - Borger, urd et al. - 1994
10 A correctness proof for pipelining in RISC architectures - Borger, Mazzanti - 1995
10 Group Membership Protocol: Specification and Verification - Gurevich, Mani - 1995
9 An evolving algebra solution to the steam-boiler control spe.. (context) - Beierle, Borger et al. - 1995
9 CLAM specification for provably correct compilation of CLP (context) - Borger, Salamone - 1995
7 Logic Programming: The Evolving Algebra Approach - Borger - 1994
7 The World of Programming Languages (context) - Marcotty, Ledgard - 1986
7 The Generalized Railroad Crossing Problem: An Evolving Algeb.. (context) - Gurevich, Huggins et al. - 1995
6 A framework to specify database update views for Prolog (context) - Borger, Demoen - 1991
5 A WAM extension for type-constraint logic programming: Speci.. (context) - Beierle, Borger - 1991
5 An analysis of Prolog database views and their uniform imple.. (context) - Borger, Rosenzweig - 1991
2 Systems Level Specification and Modelling of Reactive System.. - Glasser - 1995
1 A formal specification of the PVM architecture (context) - Borger, Glasser - 1994
1 Towards a mathematical specification of the APE100 architect.. - Borger, Castillo et al. - 1994
Documents on the same site (http://www.neci.nj.nec.com/homepages/igord/publications.htm):
The Steam Boiler Case Study: Competition of Formal.. - Abrial, Börger.. (1996) (Correct)
An Overview of NECI's Generic Game Server - Buro, Durdanovic (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