Michael Mehl, et al.  Home/Search
Context Related
| ps.unisb.de/Papers/abstr...RR9508.ps Cached: PS.gz PS 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.
PDF Image Update HelpPS.gz PS From: ps.unisb.de/Papers/abstracts/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine for Oz Michael Mehl, Ralf Scheidhauer, and Christian Schulte June 1995 Deutsches Forschungszentrum f ur K unstliche Intelligenz GmbH Postfach 20 80 67608 Kaiserslautern, FRG Tel.: + 49 (631) 205-3211 Fax: + 49 (631) 205-3210 Stuhlsatzenhausweg 3 66123 Saarbrucken, FRG Tel.: + 49 (681) 302-5252 Deutsches Forschungszentrum f ur K unstliche Intelligenz The German Research Center for Artificial Intelligence (Deutsches Forschungszentrum f ur K unstliche Intelligenz, DFKI)... (Update)
Context of citations to this paper: More
...to a space based implementation. Information on techniques for native implementation of combinators can be found in [60, 80, 79]. The main motivation has been to simplify the implementation. The goal has been to decrease the maintenance effort which turned out to be...
.... The computational model sketched in Section 2 is realized by the Oz runtime system, which is implemented by an abstract machine (see [21]) called the emulator. In this section we explain the interface between the emulator and propagators. We introduce the provided CPI...
Cited by: More
Logic Programming in the Context of Multiparadigm.. - Van Roy, Brand.. (2002) (Correct)
Programming Deep Concurrent Constraint Combinators - Schulte (2000) (Correct)
Open Programming Services for Virtual Machines: The Design .. - Brunklaus, Kornstaedt (Correct)
Active bibliography (related documents): More All
0.6: Programming Constraint Services - Schulte (2002) (Correct)
0.3: Final CCL report - Jouannaud (Correct)
0.3: Situated Simplification - Podelski, Smolka (1995) (Correct)
Similar documents based on text: More All
3.7: Encapsulated Search and Constraint Programming in Oz - Schulte, Smolka, Würtz (1994) (Correct)
3.6: The Definition of Kernel Oz - Smolka (1994) (Correct)
3.6: CTL - A description logic with expressive concrete domains - Kamp, Wache (1996) (Correct)
Related documents from co-citation: More All
10: The Oz programming model - Smolka - 1995
6: Programming constraint inference engines - Schulte - 1997
6: Oz explorer: A visual constraint programming tool - Schulte - 1997
BibTeX entry: (Update)
Michael Mehl, Ralf Scheidhauer, and Christian Schulte. An abstract machine for Oz. In Programming Languages, Implementations, Logics and Programs, Seventh Intl. Symposium, LNCS, number 982. Springer-Verlag, September 1995. http://citeseer.ist.psu.edu/mehl95abstract.html More
@techreport{ mehl95abstract,
author = "Michael Mehl and Ralf Scheidhauer and Christian Schulte",
title = "An Abstract Machine for Oz",
number = "RR-95-08",
address = "Deutsches Forschungszentrum f{\"u}r K{\"u}nstliche Intelligenz GmbH\\Erwin-Schr{\"o}dinger Stra{ss}e\\Postfach 2080\\67608 Kaiserslautern\\Germany",
pages = "23",
year = "1995",
url = "citeseer.ist.psu.edu/mehl95abstract.html" }
Citations (may not include all citations):384 Definition of Standard ML (context) - Milner, Tofte et al. - 1990
254 The Revised Report on the Algorithmic Language Scheme - Clinger, Rees - 1991
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987
125 Warren's Abstract Machine: A Tutorial Reconstruction (context) - Ait-Kaci - 1991
105 Records for logic programming - Smolka, Treinen - 1994
101 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
75 Object-oriented concurrent constraint programming in Oz - Henz, Smolka et al. - 1995
72 Prolog and infinite trees (context) - Colmerauer - 1982
48 Encapsulated search in higher-order concurrent constraint pr.. - Schulte, Smolka - 1994
41 AKL - A Multiparadigm Programming Language - Janson - 1994
41 A foundation for higher-order concurrent constraint programm.. - Smolka - 1994
37 Encapsulated search and constraint programming in Oz - Schulte, Smolka et al. - 1994
28 German Research Center for Artificial Intelligence (context) - Mehl, Muller et al. - 1994
28 The definition of Kernel Oz - Smolka - 1995
20 From decision trees to decision graphs (context) - Kliger, Shapiro - 1990
16 Report on the programming language Haskell (context) - Hudak, Wadler - 1990
14 Deutsches Forschungszentrum fur Kunstliche Intelligenz (context) - Smolka, Treinen et al. - 1994
12 1993: The wonder years of sequential Prolog implementation (context) - Van Roy - 1994
9 The beauty and beast algorithm: quasilinear incremental test.. - Podelski, Van Roy - 1994
8 Situated simplification - Podelski, Smolka - 1995
4 Equations and inequations on finite and infinite trees (context) - Colmerauer - 1984
4 AndOr parallel implementation AKL - Montelius, An et al. - 1995
3 A decision graph algorithm for CCP languages (context) - Brand - 1995
3 implementation and evaluation of the constraint language cc (context) - Van Hentenryck, Saraswat et al. - 1995
1 Remark The DFKI Oz system and papers of authors from the Pro.. (context) - Warren, Prolog et al. - 1983
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ps.uni-sb.de/Papers/abstracts/): More
Set-Based Failure Analysis for Logic Programs and.. - Podelski, Charatonik, .. (1999) (Correct)
Type Inference for First-Class Messages with Feature Constraints - Müller, Nishimura (Correct)
Entailment of Non-Structural Subtype Constraints - Niehren, Priesnitz (1999) (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