Gary Leavens, Don Pigozzi  Home/Search
Context Related
| iastate.edu/techreports/TR9418b.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; F.3.2 [Logics and Meanings of Programs ] Semantics of Programming Languages --- algebraic approaches to semantics; F.3.2 [Mathematical Logic and Formal Languages ] Mathematical Logic --- model theory. 1991 Mathematics Subject Classification. Primary: 68Q65 Secondary: 68N05, 68N15, 68Q60. A slightly abbreviated version will appear in Theoretical Computer Science. Copyright c fl Gary T. Leavens and Don Pigozzi, 1994, 1996. This copyright will be transferred to the journal.... (Update)
Context of citations to this paper: More
...characterizes behavioral subtyping requires the existence of certain models and relations between them. In this paper, as in [13] and [14], we restrict ourselves to model theoretic methods. That is, we take a specification of an ADT to be a class of algebras that satisfies...
...code that uses message passing and subtype polymorphism. Our research on such questions has been mostly model theoretic [18, 29, 30, 31, 32, 33, 34, 35, 36]. However, the models we use may seem, at first glance, to have little to do with standard OO programming languages, such...
Cited by: More
Equational Reasoning with Subtypes - Gary Leavens And (Correct)
Concepts of Behavioral Subtyping and a Sketch of their.. - Leavens, Dhara (2000) (Correct)
State-Level and Value-Level Simulations in Data Refinement - Leal, Arora (Correct)
Similar documents (at the sentence level):
36.5%: The Behavior-Realization Adjunction and Generalized.. - Leavens, Pigozzi (1994) (Correct)
7.3%: An Exact Algebraic Characterization of Behavioral Subtyping - Leavens, Pigozzi (1995) (Correct)
Active bibliography (related documents): More All
0.3: Blended Algebraic and Denotational Semantics for ADT.. - Leavens, Dhara (1994) (Correct)
0.2: Subtyping, Modular Specification, and Modular Verification.. - Leavens, Weihl (1994) (Correct)
0.1: Observational Approaches in Algebraic Specifications: a.. - Bernot, BIDOIT, KNAPIK (1992) (Correct)
Similar documents based on text: More All
0.2: Gary T. Leavens and Ron Cytron (editors) TR 02-06 April.. - Verification Theory Of (2002) (Correct)
0.2: Class-Based and Algebraic Models of Objects - Leavens, Pigozzi (1998) (Correct)
0.2: Typed Homomorphic Relations Extended with Subtypes - Leavens, Pigozzi (1991) (Correct)
Related documents from co-citation: More All
4: Reasoning about object-oriented programs that use subtypes (context) - Leavens, Weihl - 1990
4: ACM Transactions on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
4: Typed Homomorphic Relations Extended with Subtypes - Leavens, Pigozzi - 1992
BibTeX entry: (Update)
Gary T. Leavens and Don Pigozzi. The behavior-realization adjunction and generalized homomorphic relations. Technical Report 94-18, Department of Computer Science, Iowa State University, Ames, Iowa, 50011, September 1994. Submitted for publication. http://citeseer.ist.psu.edu/article/leavens96behaviorrealization.html More
@article{ leavens97behaviorrealization,
author = "Gray T. Leavens and Don Pigozzi",
title = "The behavior--realization adjunction and generalized homomorphic relations",
journal = "Theoretical Computer Science",
volume = "177",
number = "1",
pages = "183--216",
year = "1997",
url = "citeseer.ist.psu.edu/article/leavens96behaviorrealization.html" }
Citations (may not include all citations):562 Categories for the Working Mathematician (context) - Lane - 1971
190 How to make ad-hoc Polymorphism less ad hoc - Wadler, Blott - 1989
173 An Initial Algebra Approach to the Specification (context) - Goguen, Thatcher et al. - 1978
92 A behavioral notion of subtyping - Liskov, Wing - 1994
74 The Algebraic Specification of Abstract Data Types (context) - Guttag, Horning - 1978
57 On Observational Equivalence and Algebraic Specification (context) - Sannella, Tarlecki - 1987
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
46 Handbook of Theoretical Computer Science (context) - Wirsing, Specification - 1990
40 Non-deterministic Data Types: Models and Implementations (context) - Nipkow - 1986
35 Forcing behavioral subtyping through specification inheritan.. - Dhara, Leavens - 1996
33 Behavioural Correctness of Data Representations (context) - Schoett - 1990
32 Final Algebra Semantics and Data Type Extensions (context) - Wand - 1979
30 Information and Control (context) - Statman, Relations et al. - 1985
28 Observability Concepts in Abstract Data Type Specifications (context) - Giarratana, Gimona et al. - 1976
10 Realization is Universal (context) - Goguen - 1973
10 Typed Homomorphic Relations Extended with Subtypes - Leavens, Pigozzi - 1992
7 Algebraic Methods in Semantics (context) - Goguen, Meseguer et al. - 1985
2 American Mathematical Societ Colloquium Publications (context) - Birkhoff, theory et al. - 1967
The graph only includes citing articles where the year of publication is known.
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