Kazunori Ueda  Home/Search
Context
Related
| ueda.info.waseda.a...skiFestschrift.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: ueda.info.waseda.ac.jp/~...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper discusses the construction of a meta-interpreter of Flat GHC, one of the simplest and earliest concurrent constraint languages. (Update)
Active bibliography (related documents): More All
2.0: Resource-Passing Concurrent Programming - Ueda (Correct)
0.7: Automated Programming Framework Using - Constraint-Based Static Analysis (Correct)
0.5: Kima: an Automated Error Correction System for Concurrent Logic .. - Ajiro, Ueda (2000) (Correct)
Similar documents based on text: More All
0.9: Moded Flat GHC and Its Message-Oriented Implementation Technique - Ueda, Morita (1994) (Correct)
0.9: Concurrent Logic/Constraint Programming: The Next 10 Years - Kazunori Ueda Waseda (1999) (Correct)
0.8: Moded Flat GHC for Data-Parallel Programming (Extended Abstract) - Ueda (Correct)
BibTeX entry: (Update)
@misc{ ueda-pure,
author = "Kazunori Ueda",
title = "A Pure Meta-Interpreter for Flat GHC, A Concurrent Constraint Language",
url = "citeseer.ist.psu.edu/585651.html" }
Citations (may not include all citations):344 Concurrent Constraint Programming (context) - Saraswat, Rinard - 1990 ACM DBLP
271 The Oz Programming Model - Smolka - 1995 ACM DBLP
151 Logic Semantics for a Class of Committed-Choice Programs (context) - Maher - 1987 DBLP
121 Guarded Horn Clauses - Ueda ACM DBLP
101 Higher-order Logic Programming - Miller, Nadathur - 1986 ACM DBLP
86 Amalgamating Language and Meta-Language in Logic Programming (context) - Bowen, Kowalski - 1982
65 Concurrent Prolog: Collected Papers (context) - Shapiro - 1987 ACM
62 UnfoldFold Transformation Logic Program (context) - Sato, Transformation et al. - 1984
62 Programmer's Manual (context) - McCarthy - 1962
56 Janus: A Step Towards Distributed Constraint Programming (context) - Saraswat, Kahn et al. ACM DBLP
55 PARLOG: Parallel Programming in Logic (context) - Clark, Gregory - 1986 ACM DBLP
49 Design of the Kernel Language for the Parallel Inference Mac.. - Ueda, Chikayama - 1990 ACM DBLP
48 Concurrent Prolog: A Progress Report (context) - Shapiro - 1986 ACM DBLP
45 Communicating and Mobile Systems: the Pi-Calculus (context) - Milner - 1999
40 Programming Languages for Distributed Applications - Haridi, Van Roy et al. - 1998
31 Partial Evaluation of Prolog Programs and Its Application to.. (context) - Takeuchi, Furukawa - 1986 DBLP
27 Moded Flat GHC and Its Message-Oriented Implementation Techn.. - Ueda, Morita - 1994 ACM DBLP
25 A Relational Language for Parallel Programming (context) - Clark, Gregory - 1981
20 Meta Interpreters for Real (context) - Safra, Shapiro - 1986 ACM
16 The Deevolution of Concurrent Logic Programming Languages (context) - Tick - 1995 DBLP
15 Transformation Rules for GHC Programs - Ueda, Furukawa DBLP
14 The Logic Programming Paradigm: A 25-Year Perspective (context) - Apt, Marek et al. - 1999
11 Strand: a Practical Parallel Programming Tool (context) - Foster, Taylor
8 Experience with Strong Moding Concurrent LogicConstraint Pro.. (context) - with, in et al. - 1996
8 Predicate Logic as a Language for Parallel Programming (context) - van Emden, de Lucena - 1982
6 Error-Correcting Source Code - Ajiro, Ueda et al. - 1998
6 Warren's Abstract Machine: A Tutorial Reconstruction (context) - At-Kaci - 1991
5 The Fifth Generation Project: Personal Perspectives (context) - Shapiro, Warren et al. - 1993 DBLP
5 Concurrent LogicConstraint Programming Next Year - Logic, The et al. - 1999
4 Linearity Analysis of Concurrent Logic Programs - Ueda - 2000 DBLP
4 cient Implementation of KL (context) - Chikayama, Fujise et al. - 1994
3 What Is a Variable in Prolog (context) - Nakashima, Ueda et al.
2 Kima -- an Automated Error Correction System for Concurrent .. - Ajiro, Ueda
1 Agent-Oriented Programming: From Prolog to Guarded Definite .. (context) - Huntbach, Ringwood - 1999
Documents on the same site (http://www.ueda.info.waseda.ac.jp/~ueda/papers.html): More
Making Exhaustive Search Programs Deterministic, Part II - Ueda (Correct)
Theory and Practice of Concurrent Systems - The Role of Kernel.. - Ueda (Correct)
Moded Flat GHC for Data-Parallel Programming (Extended Abstract) - Ueda (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