Constraint-Based Static Analysis Yasuhiro Ajiro in Partial Fulfillment of the ...  Home/Search
Context
Related
| ueda.info.waseda.ac.jp...phdthesis.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 propose an automated programming framework using a constraintbased, static type system. Our framework infers a correct form of a program from an almost correct but incomplete version of it. This is done with the guideline of the consistency of several program properties imposed by the type system. Furthermore, thanks to the simplicity of the type system, the framework is compatible with other automation techniques such as programming by examples, which can also be used for the... (Update)
Similar documents (at the sentence level):
9.4%: Kima: an Automated Error Correction System for Concurrent Logic .. - Ajiro, Ueda (2000) (Correct)
9.1%: Kima: an Automated Error Correction System for Concurrent - Logic Programs Yasuhiro (Correct)
8.1%: Kima - an Automated Error Correction System for Concurrent.. - Ajiro, Ueda (2001) (Correct)
Active bibliography (related documents): More All
0.8: Resource-Passing Concurrent Programming - Ueda (Correct)
0.7: A Pure Meta-Interpreter for Flat GHC, A Concurrent Constraint.. - Ueda (Correct)
0.5: Error-correcting Source Code - Yasuhiro Ajiro Kazunori (1998) (Correct)
Similar documents based on text: More All
0.3: LMNtal: a language model with links and membranes - Kazunori Ueda Norio (Correct)
0.1: Extracting Components from Object-Oriented Programs - For Reuse In (Correct)
0.1: Improving Interactive System Performance using TIPME - Endo (2000) (Correct)
BibTeX entry: (Update)
@misc{ analysis-automated,
author = "Constraint-Based Static Analysis",
title = "Automated Programming Framework Using",
url = "citeseer.ist.psu.edu/600866.html" }
Citations (may not include all citations):809 A Theory of Type Polymorphism in Programming (context) - Milner - 1978
471 Genetic Programming - Koza - 1992
458 A Theory of Diagnosis from First Principles (context) - Reiter - 1987 ACM DBLP
388 Inductive Logic Programming - Muggleton - 1991 ACM DBLP
313 Inductive Logic Programming: Theory and Methods - Muggleton, De Raedt - 1994 DBLP
216 Semantic Foundations of Concurrent Constraint Programming - Saraswat, Rinard et al. - 1991 ACM DBLP
157 Soft Typing with Conditional Types - Aiken, Wimmers et al. - 1994 ACM DBLP
140 Strongly Typed Genetic Programming - Montana - 1993 DBLP
78 Soft Typing - Cartwright, Fagan - 1991 ACM DBLP
63 Learning Concepts by Asking Questions (context) - Sammut, Hurst et al. - 1986
63 Inductive inference of theories from facts (context) - Shapiro - 1981 DBLP
49 Design of the Kernel Language for the Parallel Inference Mac.. - Ueda, Chikayama - 1990 ACM DBLP
45 Finding the Source of Type Errors (context) - Wand - 1986 ACM DBLP
39 Set Constraints and Set-Based Analysis - Heintze, Ja - 1994 ACM DBLP
30 Explaining Type Errors in Polymorphic Languages - Beaven, Stansifer - 1993 ACM
30 Science of Computer Programming (context) - Duggan, Bent et al. - 1996
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
22 LOGIN: A Logic Programming Language with Built-In Inheritanc.. (context) - At-Kaci, Nasr - 1986 ACM DBLP
14 An algorithm that infers theories from facts (context) - Shapiro - 1981
10 Compositional Explanation of Types and Algorithmic Debugging.. - Chitil - 2001 ACM DBLP
8 Experiences with Strong Moding in Concurrent Logic/ Constrai.. (context) - Ueda - 1996
8 Generalising Techniques for Type Debugging - McAdam - 1999 ACM DBLP
7 Mode Analysis in Concurrent Logic Programming (context) - Ueda - 1995
7 Diagnosing Non-Well-Moded Concurrent Logic Programs (context) - Cho, Ueda - 1996 DBLP
6 A visualisation of polymorphic type checking - Yang, Michaelson - 2000 ACM DBLP
6 Improved Type Error Reporting - Yang, Michaelson et al.
6 Error-Correcting Source Code - Ajiro, Ueda et al. - 1998 ACM DBLP
6 ACM Distinguished Dissertation Series (context) - Shapiro, Debugging - 1982
6 Designing a Concurrent Programming Language - Ueda - 1990
5 Concurrent LogicConstraint Programming Next Year - Logic, The et al. - 1999
4 cient Implementation of KL (context) - Chikayama, Fujise et al. - 1994
3 A Modification Support System -- Automated Correction of Sid.. (context) - Tenma - 1990
3 Resource-Passing Concurrent Programming - Ueda - 2001 ACM DBLP
2 of Functional and Logic Programming (context) - Naish, Debugging - 1997
2 Combined Static and Dynamic Assertion-based Debugging of Con.. - Puebla, Bueno et al. - 1999 ACM DBLP
1 A Structual Approach to Operational Semantics (context) - Plotkin - 1981
1 A New Way of Debugging Lisp Programs - Flanagan, Felleisen - 1998
1 Towards Declarative Debugging of Concurrent Constraint Progr.. (context) - Fromherz - 1993 ACM DBLP
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)
Error-correcting Source Code - Yasuhiro Ajiro Kazunori (1998) (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