Yasuhiro Ajiro, Kazunori Ueda  Home/Search
Context Related
Links: DBLP | ueda.info.waseda.a...ug9confname.ps.gz ueda.info.waseda.a...ebug9confname.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: ueda.info.waseda.ac.jp/...studye (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explicit declarations of program properties. Strong moding/typing and constraint-based analysis are turning to play fundamental roles in debugging concurrent logic programs as well as in establishing the consistency of communication protocols and data types. Mode/type analysis of Moded Flat GHC is a constraint satisfaction... (Update)
Context of citations to this paper: More
...their programs better. 2. It detects a certain kind of program errors at compile time. In fact, the Kima system we have developed [2][3] goes two steps forward: it locates, and then automatically corrects, simple program errors using constraint based mode and type...
...two occurrences. This is not so restrictive as it might seem, and our static analyzer klint [33] and an automated debugger kima [2][3] support it by detecting and even correcting inadvertently too many or too few occurrences of the variables. Resourceconscious programs...
Cited by: More
A Pure Meta-Interpreter for Flat GHC, A Concurrent Constraint.. - Ueda (Correct)
Resource-Passing Concurrent Programming - Ueda (Correct)
Similar documents (at the sentence level):
57.1%: Kima: an Automated Error Correction System for Concurrent - Logic Programs Yasuhiro (Correct)
33.8%: Automated Programming Framework Using - Constraint-Based Static Analysis (Correct)
20.4%: Error-correcting Source Code - Yasuhiro Ajiro Kazunori (1998) (Correct)
Active bibliography (related documents): More All
0.8: Kima - an Automated Error Correction System for Concurrent.. - Ajiro, Ueda (2001) (Correct)
0.3: Linearity Analysis of Concurrent Logic Programs - Ueda (1999) (Correct)
0.1: Correction of Functional Logic Programs - Alpuente, Ballis, Correa, Falaschi (2003) (Correct)
Similar documents based on text: More All
1.2: Moded Flat GHC for Data-Parallel Programming (Extended Abstract) - Ueda (Correct)
1.1: I/O Mode Analysis in Concurrent Logic Programming - Ueda (1995) (Correct)
1.0: Moded Flat GHC and Its Message-Oriented Implementation Technique - Ueda, Morita (1994) (Correct)
Related documents from co-citation: More All
3: Guarded Horn Clauses - Ueda - 1986
2: Predicate logic as a language for parallel programming (context) - van Emden, Filho - 1982
2: The Fifth Generation project: personal perspectives (context) - Shapiro, Warren
BibTeX entry: (Update)
Ajiro, Y. and Ueda, K., Kima: an Automated Error Correction System for Concurrent Logic Programs. To appear in Automated Software Engineering, 2001. http://citeseer.ist.psu.edu/article/ajiro00kima.html More
@inproceedings{ ajiro00kima,
author = "Yasuhiro Ajiro and Kazunori Ueda",
title = "Kima - An automated error correction system for concurrent logic programs",
booktitle = "Proc. 4th Int. Workshop on Automated Debugging (AADEBUG 2000)",
year = "2000",
url = "citeseer.ist.psu.edu/article/ajiro00kima.html" }
Citations (may not include all citations):809 A Theory of Type Polymorphism in Programming (context) - Milner - 1978 DBLP
458 A Theory of Diagnosis from First Principles (context) - Reiter - 1987 ACM DBLP
49 Design of the Kernel Language for the Parallel Inference Mac.. - Ueda, Chikayama - 1990 ACM DBLP
27 Moded Flat GHC and Its Message-Oriented Implementation Techn.. - Ueda, Morita - 1994 ACM DBLP
25 A New Implementation Technique for Flat GHC (context) - Ueda, Morita - 1990 ACM DBLP
8 Experiences with Strong Moding in Concurrent Logic/Constrain.. (context) - Ueda - 1996 ACM DBLP
7 Diagnosing Non-Well-Moded Concurrent Logic Programs (context) - Cho, Ueda - 1996 DBLP
6 Error-Correcting Source Code - Ajiro, Ueda et al. - 1998 ACM DBLP
4 cient Implementation of KL (context) - Chikayama, Fujise et al. - 1994
3 A Modification Support System -- Automated Correction of Sid.. (context) - Tenma - 1990
Documents on the same site (http://www.ueda.info.waseda.ac.jp/~ajiro/study-e.html): More
Error-correcting Source Code - Yasuhiro Ajiro Kazunori (1998) (Correct)
Automated Programming Framework Using - Constraint-Based Static Analysis (Correct)
Kima: an Automated Error Correction System for Concurrent - Logic Programs Yasuhiro (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