Gary T. Leavens, William E. Weihl  Home/Search
Context
Related
| iastate.edu/techreports/TR9228d.ps iastate.edu/pub/techreports/T...TR.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: iastate.edu/techreport...catalog (more) From: iastate.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: data types, procedures, functions, and subroutines; F.3.1 [Logics and Meanings of Programs ] Specifying and verifying and reasoning about programs --- logics of programs, pre- and post-conditions, specification techniques; F.3.2 [Logics and Meanings of Programs ] Semantics of Programming Languages --- algebraic approaches to semantics, denotational semantics. c fl Gary T. Leavens and William E. Weihl, 1992, 1993, 1994. All rights reserved. Much of this report will appear in Acta Informatica,... (Update)
Similar documents (at the sentence level):
9.5%: Object-Oriented Programs - Tr July Fl (Correct)
Active bibliography (related documents): More All
0.8: Preliminary Design of Larch/C++ - Leavens, Cheon (1992) (Correct)
0.7: A Behavioral Notion of Subtyping - Liskov, Wing (1994) (Correct)
0.6: Concepts of Behavioral Subtyping and a Sketch of their.. - Leavens, Dhara (2000) (Correct)
Similar documents based on text: More All
0.3: Observers and Assistants: A Proposal for Modular.. - Clifton, Leavens (2002) (Correct)
0.2: The "Hoare Logic" of CSP, and All That - Lamport, Schneider (1984) (Correct)
0.1: Strategic Plan for Computer Science - Department Of Computer (Correct)
BibTeX entry: (Update)
@techreport{ leavens94subtyping,
author = "Gary T. Leavens and William E. Weihl",
title = "Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs",
number = "92-28d",
address = "Ames, Iowa, 50011",
year = "1994",
url = "citeseer.ist.psu.edu/leavens94subtyping.html" }
Citations (may not include all citations):1274 Object-oriented Software Construction (context) - Meyer - 1988
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
342 data abstraction and polymorphism (context) - Cardelli, Wegner - 1985
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning et al. - 1993
221 Denotational Semantics: A Methodology for Language Developme.. (context) - Schmidt - 1986
177 Fundamentals of Algebraic Specification 1: Equations and Ini.. (context) - Ehrig, Mahr - 1985
160 Abstraction and Specification in Program Development (context) - Liskov, Guttag - 1986
139 Using prototypical objects to implement shared behavior in o.. - Lieberman - 1986
121 A simple approach to specifying concurrent systems - Lamport - 1989
92 An introduction to Trellis/Owl (context) - Schaffert, Cooper et al. - 1986
88 Encapsulation and inheritance in object-oriented programming.. - Snyder - 1986
88 Inheritance and subtyping in a parallel object-oriented lang.. (context) - America - 1987
86 The Language and its Implementation (context) - Goldberg, Robson - 1983
68 Object-Oriented Series (context) - Meyer - 1992
64 The Larch family of specification languages (context) - Guttag, Horning et al. - 1985
63 Reasoning about object-oriented programs that use subtypes (context) - Leavens, Weihl - 1990
61 Universal Algebra (context) - Gratzer - 1979
55 Modular specification and verification of object-oriented pr.. (context) - Leavens - 1991
51 Using category theory to design implicit conversions and gen.. (context) - Reynolds - 1980
51 Soundness and completeness of an axiom system for program ve.. (context) - Cook - 1978
45 Specifications and their use in defining subtypes (context) - Liskov, Wing - 1993
44 Writing Larch interface language specifications (context) - Wing - 1987
44 Structural subtyping and the notion of power type - Cardelli - 1988
41 Typing the specialization interface (context) - Lamping - 1993
41 A new definition of the subtype relation (context) - Liskov, Wing - 1993
40 Non-deterministic data types: Models and implementations (context) - Nipkow - 1986
40 An exemplar based Smalltalk (context) - LaLonde, Thomas et al. - 1986
33 Behavioural correctness of data representations (context) - Schoett - 1990
31 The Foundations of Program Verification (context) - Loeckx, Sieber - 1987
31 Order-sorted algebra solves the constructor-selector (context) - Goguen, Meseguer - 1987
30 A shared view of sharing: The treaty of Orlando - Stein, Lieberman et al. - 1989
30 Information and Control (context) - Statman - 1985
29 An algebraic model of subtype and inheritance (context) - Bruce, Wegner - 1990
27 Report on the Larch Shared Language: Version - Guttag, Horning et al. - 1990
25 Theoretical Computer Science - Broy - 1986
21 Notes on data structuring (context) - Hoare - 1972
20 IEEE Transactions on Software Engineering (context) - Goguen - 1984
17 Representation independence and data abstraction (context) - Mitchell - 1986
17 An Object-Oriented Refinement Calculus with Modular Reasonin.. - Utting - 1992
16 A two-tiered approach to specifying programs (context) - Wing - 1983
13 Designing families of data types using exemplars (context) - LaLonde - 1989
13 Digital Equipment Corporation (context) - Guttag, Horning et al. - 1985
12 Modular verification of object-oriented programs with subtyp.. (context) - Leavens - 1990
10 Typed homomorphic relations extended with subtypes - Leavens, Pigozzi - 1992
10 Verifying object-oriented programs that use subtypes (context) - Leavens - 1989
8 Behavioural Implementation Concepts for Nondeterministic Dat.. (context) - Nipkow - 1987
7 Massachusetts Institute of Technology (context) - Chen - 1989
6 Smalltalk: A specification language for Smalltalk (context) - Cheon - 1991
6 and modular verification for applicative object-oriented pro.. (context) - Leavens, Weihl - 1994
5 and bounded quantification (context) - Bruce, Longo - 1988
5 Subtyping for mutable types in object-oriented programming l.. (context) - Dhara, Leavens - 1992
4 Revised version of the keynote address given at OOPSLA (context) - Liskov - 1988
3 Subtyping among mutable types in object-oriented programming.. (context) - Dhara - 1992
2 Lambda Calculus Models of Typed Programming Languages (context) - Mitchell - 1984
1 A sound and complete proof theory for SPOOL (context) - America, de Boer - 1990
Documents on the same site (http://www.cs.iastate.edu/tech-reports/catalog.html): More
Protective Interface Specifications - Leavens, Wing (1997) (Correct)
Stochastic Analysis of Periodic Timed Data Flow Diagrams with.. - Symanzik (1996) (Correct)
Weak Behavioral Subtyping for Types with Mutable Objects - Dhara, Leavens (1994) (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