Reinhard Kahle  Home/Search
Context
Related
Links: DBLP | pms.informatik.uni...SFB200013.ps.gz 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: pms.informatik.unimuench...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this report we give an outline how proof-theoretic notions can be useful for questions related to software maintenance. 1 (Update)
Active bibliography (related documents): More All
0.5: "Clarifying the Nature of the Infinite": the development of.. - Avigad, Reck (2001) (Correct)
0.4: Constructive Foundations for Featherweight Java - Studer (2001) (Correct)
0.3: Short Proofs of Normalization for the simply-typed.. - Joachimski, Matthes (1999) (Correct)
Similar documents based on text: More All
0.4: Truth in Applicative Theories - Kahle (2001) (Correct)
0.3: Processing Hypertext Links after XLink - Eckert (2004) (Correct)
0.3: Formalizing Non-Termination of Recursive Programs - Kahle, Studer (2001) (Correct)
BibTeX entry: (Update)
@misc{ kahle-prooftheoretic,
author = "Reinhard Kahle",
title = "Proof-Theoretic Notions for Software Maintenance",
url = "citeseer.ist.psu.edu/450778.html" }
Citations (may not include all citations):650 An axiomatic basis for computer programming (context) - Hoare - 1969 ACM DBLP
362 Dynamic logic - Harel - 1984 ACM
215 Theoretical Computer Science (context) - Girard - 1987 ACM
192 Logic programming (context) - Apt - 1990 ACM DBLP
143 Logics of programs (context) - Kozen, Tiuryn - 1990 ACM DBLP
139 Type systems for programming languages (context) - Mitchell - 1990 ACM DBLP
88 Elements of relational database theory (context) - Kanellakis - 1990 ACM DBLP
78 Handbook of Theoretical Computer Science (context) - van Leeuwen - 1990 ACM
73 Denotational semantics (context) - Mosses - 1990 ACM DBLP
49 Methods and logics for proving programs (context) - Cousot - 1990 ACM DBLP
48 On semantic issues connected with incomplete information dat.. (context) - Lipski - 1979 ACM DBLP
43 Logics for termination and correctness of functional program.. (context) - Feferman - 1992
43 Logics for termination and correctness of functional program.. (context) - Feferman - 1991
39 PX - A computational logic (context) - Hayashi, Nakano - 1988
39 A proof-theoretic approach to logic programming (context) - Hallna, Peter - 1990
22 Functional programming and lambda calculus (context) - Barendregt - 1990 ACM DBLP
20 On databases with incomplete information (context) - Lipski - 1981 ACM DBLP
13 A complete axiomatization of the three-valued completion of .. - St - 1991
11 Logics of partial terms for strict and non-strict functional.. (context) - St, the et al. - 1998
10 The Warshall algorithm and Dickson's lemma: Two examples of .. - Berger, Schwichtenberg et al.
9 call-by-name and the logic of values (context) - St, Call-by-value - 1997
9 Lecture Notes in Computer Science (context) - orger, Schmid et al.
8 Computational uses of the manipulation of formal proofs (context) - Goad - 1980 ACM
5 volume 1523 of Lecture Notes in Computer Science (context) - Alves-Foss, Syntax et al. - 1999
4 Proof theory at work: Program development in the Minlog syst.. - Benl, Berger et al. - 1998
3 Proofs as programs (context) - Schwichtenberg - 1992 ACM DBLP
2 A proof-theoretic framework for logic programming - ager, St - 1998
1 Cut-property and negation as failure - St - 1994 DBLP
1 A declarative semantics for depth-rst logic programs (context) - Elbl - 1999
1 A deductive approach to logic programming (context) - ager - 1994
1 A proof-theoretic view of intensionality (context) - Kahle - 1999
1 Hypothetical reasoning and denitional re ection in logic pro.. (context) - Schroeder-Heister - 1991
1 A proof-theoretic view of necessity (context) - Kahle
1 Substructural Logics (context) - Schroeder-Heister, Do et al. - 1993
Documents on the same site (http://www.pms.informatik.uni-muenchen.de/publikationen/index.html): More
A Deduction Method Complete for Refutation and Finite.. - Bry, Torge (1998) (Correct)
A Confluence Test for Concurrent Constraint Programs - Abdennadher, Frühwirth.. (1995) (Correct)
Problem Solving with Model-Generation Approaches based on.. - Eisinger, Geisler (1998) (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