Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho Department of Information and...  Home/Search
Context Related
| ueda.info.waseda.ac.jp/~aj...cp82e.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/...studye (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. (Update)
Context of citations to this paper: More
...implemented in Kima, and then discusses its effectiveness based on quantitative experiments. 1 Introduction In our previous work [1], we proposed a framework of automated debugging of program errors based on static, constraint based program analysis in the absence of...
...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...
Cited by: More
Automated Programming Framework Using - Constraint-Based Static Analysis (Correct)
A Pure Meta-Interpreter for Flat GHC, A Concurrent Constraint.. - Ueda (Correct)
Correction of Functional Logic Programs - Alpuente, Ballis, Correa, Falaschi (2003) (Correct)
Similar documents (at the sentence level):
20.6%: Kima: an Automated Error Correction System for Concurrent Logic .. - Ajiro, Ueda (2000) (Correct)
18.1%: Kima - an Automated Error Correction System for Concurrent.. - Ajiro, Ueda (2001) (Correct)
18.1%: Kima: an Automated Error Correction System for Concurrent - Logic Programs Yasuhiro (Correct)
Active bibliography (related documents): More All
0.6: Linearity Analysis of Concurrent Logic Programs - Ueda (1999) (Correct)
0.5: Resource-Passing Concurrent Programming - Ueda (Correct)
0.3: Precise and Expressive Mode Systems for Typed Logic Programming.. - Overton (2003) (Correct)
Similar documents based on text: More All
1.0: Moded Flat GHC for Data-Parallel Programming (Extended Abstract) - Ueda (Correct)
0.9: Moded Flat GHC and Its Message-Oriented Implementation Technique - Ueda, Morita (1994) (Correct)
0.8: Concurrent Logic/Constraint Programming: The Next 10 Years - Kazunori Ueda Waseda (1999) (Correct)
Related documents from co-citation: More All
5: Moded Flat GHC and Its Message-Oriented Implementation Technique - Ueda - 1994
5: Experiences with Strong Moding in Concurrent Logic/Constraint Programming (context) - Ueda - 1996
5: Design of the kernel language for the parallel inference machine - Ueda, Chikayama - 1990
BibTeX entry: (Update)
Ajiro, Y., Ueda, K. and Cho, K., Error-Correcting Source Code. In Proc. Fourth Int. Conf. on Principles and Practice of Constraint Programming (CP'98), LNCS 1520, Springer, 1998, pp. 40--54. http://citeseer.ist.psu.edu/596959.html More
@article{ ajiro98errorcorrecting,
author = "Yasuhiro Ajiro and Kazunori Ueda and Kenta Cho",
title = "Error-Correcting Source Code",
journal = "Lecture Notes in Computer Science",
volume = "1520",
pages = "40--??",
year = "1998",
url = "citeseer.ist.psu.edu/596959.html" }
Citations (may not include all citations):809 A Theory of Type Polymorphism in Programming (context) - Milner - 1978
458 A Theory of Diagnosis from First Principles (context) - Reiter - 1987
45 Finding the Source of Type Errors (context) - Wand - 1986
27 Moded Flat GHC and Its Message-Oriented Implementation Techn.. - Ueda, Morita - 1994
26 cient Purely Declarative Logic Programming Language (context) - Somogyi, Henderson et al. - 1996
25 A New Implementation Technique for Flat GHC (context) - Ueda, Morita - 1990
22 LOGIN: A Logic Programming Language with Built-In Inheritanc.. (context) - At-Kaci, Nasr - 1986
8 Experience with Strong Moding Concurrent LogicConstraint Pro.. (context) - with, in et al. - 1996
7 Mode Analysis in Concurrent Logic Programming (context) - Ueda - 1995
7 Diagnosing Non-Well-Moded Concurrent Logic Programs (context) - Cho, Ueda
3 klint --- Static Analyzer for KL1 Programs (context) - Ueda - 1998
1 kima --- Analyzer of Ill-moded KL1 Programs (context) - Ueda, Cho - 1997
Documents on the same site (http://www.ueda.info.waseda.ac.jp/~ajiro/study-e.html): More
Kima: an Automated Error Correction System for Concurrent Logic .. - Ajiro, Ueda (2000) (Correct)
Automated Programming Framework Using - Constraint-Based Static Analysis (Correct)
Kima: an Automated Error Correction System for Concurrent Logic .. - Ajiro, Ueda (2000) (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