Russell Turpin  Home/Search
Context Related
| utexas.edu/pub/techrepor...tr9244.ps.Z 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: utexas.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : Current programming languages that are grounded in a formal logic --- such as pure Lisp (based on the lambda calculus) and Prolog (based on Horn clause logic) --- do not support the use of complex, pointer-based data structures. The lack of this important feature in logically grounded languages contrasts sharply with its strong support in the imperative programming languages that have enjoyed wide application, of which C is a prime example. Unfortunately, the formal methods for reasoning... (Update)
Cited by: More
A High Level Language for Specifying Graph-Based Languages and.. - Kleyn (1995) (Correct)
Active bibliography (related documents): More All
0.5: From Stability To Simplicity - Kim, PILLAY (1998) (Correct)
0.3: Logical Foundations of Object-Oriented and Frame-Based Languages - Kifer, Lausen, Wu (1990) (Correct)
0.3: Dynamic Algorithms for Classes of Constraint.. - Frigioni.. (1997) (Correct)
Similar documents based on text: More All
0.1: Object-Oriented Runtime Support for Complex Distributed Data.. - Chialin Chang (1995) (Correct)
0.1: Pointer-based Join Techniques for Object-Oriented Databases - Lieuwen, DeWitt, Mehta (1992) (Correct)
0.0: Automated Data-Member Layout of Heap Objects to Improve.. - Kistler, Franz (2000) (Correct)
Related documents from co-citation: More All
6: Van Nostrand Rheinhold (context) - Shu, Programming - 1988
4: Graph Grammars and Their Application to Computer Science and Biology (context) - Claus, Ehrig et al. - 1979
2: Building integrated software development environments -- part 1: Tool specificat.. (context) - Engels, Lewerentz et al. - 1992
BibTeX entry: (Update)
Russel Turpin. Programming Data Structures in Logic. PhD thesis, Dept. of Comp. Sci., The University of Texas at Austin, 1992. http://citeseer.ist.psu.edu/turpin92programming.html More
@techreport{ turpin92programming,
author = "Russell Turpin",
title = "Programming Data Structures in Logic",
number = "CS-TR-92-44",
month = "1,",
year = "1992",
url = "citeseer.ist.psu.edu/turpin92programming.html" }
Citations (may not include all citations):2003 The Art of Computer Programming (context) - Donald - 1973
1838 Foundations of Logic Programming (context) - Lloyd - 1984
650 An axiomatic basis for computer programming (context) - Hoare - 1969
480 The Program Dependence Graph and its Use in Optimization (context) - Ferrante - 1987
476 Programming Language (context) - Brian, Ritchie et al. - 1988
380 Constraint Satisfaction in Logic Programming (context) - Pascal - 1989
363 Programming in Prolog (context) - Clocksin, Mellish - 1981
312 The Well-Founded Semantics for General Logic Programs - Gelder, Van and et al. - 1991
309 Symbolic Logic and Mechanical Theorem Proving (context) - Chin-Liang, Richard - 1973
273 Can Programming be Liberated from the von Neumann Style (context) - John - 1978
204 the Declarative Semantics of Deductive Databases and Logic P.. (context) - Teodor, On - 1988
149 A Logical Language for Data and Knowledge Bases (context) - Shamim, Shalom - 1989
105 Computability and Logic (context) - George, Jeffrey - 1989
99 Design by Contract (context) - Bertrand - 1992
99 Logic: A Higher-Order Language for Reasoning about Objects (context) - Kifer, Lausen - 1989
97 The Craft of Prolog (context) - Richard - 1990
84 The Denotational Description of Programming Languages (context) - Michael - 1979
82 Logic for Computer Science: Foundations of Automatic Theorem.. (context) - Jean - 1986
74 The Algebraic Specification of Abstract Data Types (context) - Guttag, Horning
67 KIDS --- A Knowledge-Based Software Development System - Douglas
52 Graphical Parallel Programming Language (context) - Peter, James et al. - 1992
48 and Generic Modules for Logic Programming (context) - Joseph, Meseguer et al.
48 Implementing Prolog --- Compiling Predicate Logic Programs (context) - Warren
45 A Logic for Objects (context) - Maier - 1986
41 A Logic for Programming with Complex Objects (context) - Michael, James
38 High-Performance Logic Programming with the Aquarius Prolog .. (context) - Van Roy, Despain - 1992
36 Constraint Programming Languages: Their Specification and Ge.. (context) - William - 1988
29 Warren's Abstract Machine: A Tutorial Reconstruction (context) - At-Kaci - 1991
24 Towards a Real Horn Clause Language (context) - Ravi, Shamim
16 Domain-Specific Automatic Programming (context) - Barstow - 1985
14 Extensible Records Without Subsumption (context) - Robert, Pierce
13 GYPSY: A Language for the Specification and Implementation o.. (context) - Ambler, Good - 1977
12 Formal Specification of Programming Languages: A Panoramic P.. (context) - Frank - 1981
12 FUNLOG: a Computational Model Integrating Logic Programming .. (context) - Subrahmanyam
12 Software Engineering in the Twenty-First Century (context) - Michael
11 Programming with Full First-Order Logic (context) - Bowen - 1982
11 Graph-grammar Engineering: A Software Specification Method (context) - Engels - 1986
8 Formal Methods of Program Verification and Specification (context) - Berg - 1982
7 Consul: A Parallel Constraint Language (context) - Doug
7 the Automatic Selection of Data Structures and Algorithms (context) - Dorothy
6 Graph Technology Applied to a Software Project (context) - Nagl - 1985
6 Structures: Data Structures for Parallel Computing (context) - Arvind, Pingali et al. - 1989
6 A Denotational Semantics for Prolog (context) - Tim, Norman
6 Systems Research Center (context) - Luca, John et al.
6 An Environment for Parallel Structuring of Fortran Programs (context) - Sridharan, Browne et al. - 1989
4 terms in a Horn-clause Logic Language (context) - Catriel, Y-
4 Centre for Mathematics and Computer Science (context) - Krzysztof, Introduction et al.
3 An Efficient Algorithm for the Solution of Hierarchical Netw.. (context) - Ugo, Francesca
2 Journal of Symbolic Logic (context) - John, Theory - 1974
1 Software Component Reuse: Formal Specification of Update Ope.. (context) - Browne, Turpin - 1991
1 Compiling Linear Recursive Programs with List Structure in P.. (context) - Nam, Henschen - 1990
1 Domain Specific Programming: an Object-Oriented and Knowledg.. (context) - Neil
1 Stratification as a Design Principle in Logic Programming (context) - Shamim
1 And What Does It Have to Do with Software Engineering (context) - Mostow - 1985
1 University of Texas at Austin (context) - Patrick, Galois et al.
1 Metalogic: An Introduction to the Metatheory of First Order .. (context) - Geoffrey
1 Non-monotonic Reasoning vs Logic Programming: A New Perspect.. - Teodor - 1990
1 DAMACS Reports 81-15 and (context) - Terrence, H-Graph
1 Experimental Evaluation fo a Reusability Oriented Parallel P.. (context) - Browne, Lee et al. - 1990
1 University of Texas at Austin (context) - Mohan, for et al.
1 Intl Jnl of Computer and Information Sciences (context) - Hoare
1 Functional Data Structures as Updatable Objects (context) - Jaroslaw
1 Automatic Software Design (context) - Michael, McCartney et al. - 1991
1 Formal Specification of Software using H-graph Semantics (context) - Terrence - 1982
1 and Logic: An Algebraic View of LISP Programming (context) - Stark - 1990
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.utexas.edu.html): More
Stack Tracing In A Statically Typed Language - Diwan (1991) (Correct)
Combining Top-down and Bottom-up Techniques in Inductive .. - Zelle, Mooney, Konvisser (1994) (Correct)
Expert Systems for Monitoring and Control - Dvorak (1987) (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