On the public citation graph

Specification and verification of object-oriented programs using supertype abstraction

https://doi.org/10.1007/bf01178658
0 signed · 121 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1006/inco.1993.1016openalex-snapshot
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems
inferredcites →https://doi.org/10.1007/3-540-10250-7_24openalex-snapshot
Using category theory to design implicit conversions and generic operators
inferredcites →https://doi.org/10.1007/3-540-13346-1_2openalex-snapshot
A semantics of multiple inheritance
inferredcites →https://doi.org/10.1007/3-540-15198-2_7openalex-snapshot
Three approaches to type structure
inferredcites →https://doi.org/10.1007/3-540-47891-4_22openalex-snapshot
Inheritance and Subtyping in a Parallel Object-Oriented Language
inferredcites →https://doi.org/10.1007/3-540-47910-4_8openalex-snapshot
A New Definition of the Subtype Relation
inferredcites →https://doi.org/10.1007/3-540-55511-0_7openalex-snapshot
Typed homomorphic relations extended with subtypes
inferredcites →https://doi.org/10.1007/3-540-56625-2_22openalex-snapshot
Modular reasoning in an object-oriented refinement calculus
inferredcites →https://doi.org/10.1007/978-0-387-77487-9openalex-snapshot
Universal Algebra
inferredcites →https://doi.org/10.1007/978-1-4612-2704-5openalex-snapshot
Larch: Languages and Tools for Formal Specification
inferredcites →https://doi.org/10.1007/978-3-322-96753-4openalex-snapshot
The Foundations of Program Verification
inferredcites →https://doi.org/10.1007/978-3-642-61284-8openalex-snapshot
Fundamentals of Algebraic Specification 2
inferredcites →https://doi.org/10.1007/978-3-642-69962-7openalex-snapshot
Fundamentals of Algebraic Specification 1
inferredcites →https://doi.org/10.1007/978-94-009-7893-5_11openalex-snapshot
Algebras, Theories and Freeness: An Introduction for Computer Scientists
inferredcites →https://doi.org/10.1007/bf00263649openalex-snapshot
Non-deterministic data types: models and implementations
inferredcites →https://doi.org/10.1007/bfb0019440openalex-snapshot
Designing an object-oriented programming language with behavioural subtyping
inferredcites →https://doi.org/10.1007/bfb0019443openalex-snapshot
Object-oriented programming versus abstract data types
inferredcites →https://doi.org/10.1016/0167-6423(89)90034-8openalex-snapshot
Object-oriented software construction
inferredcites →https://doi.org/10.1016/0167-6423(90)90057-kopenalex-snapshot
Behavioural correctness of data representations
inferredcites →https://doi.org/10.1016/0304-3975(86)90040-xopenalex-snapshot
A theory for nondeterminism, parallelism, communication, and concurrency
inferredcites →https://doi.org/10.1016/0378-4754(86)90097-2openalex-snapshot
The foundations of program verification.
inferredcites →https://doi.org/10.1016/0890-5401(88)90007-7openalex-snapshot
A semantics of multiple inheritance
inferredcites →https://doi.org/10.1016/0890-5401(90)90062-mopenalex-snapshot
A modest model of records, inheritance, and bounded quantification
inferredcites →https://doi.org/10.1016/c2009-0-22107-6openalex-snapshot
A Mathematical Introduction to Logic
inferredcites →https://doi.org/10.1016/s0019-9958(85)80001-2openalex-snapshot
Logical relations and the typed λ-calculus
inferredcites →https://doi.org/10.1109/52.300040openalex-snapshot
Modular specification and verification of object-oriented programs
inferredcites →https://doi.org/10.1109/lics.1988.5099openalex-snapshot
A modest model of records, inheritance and bounded quantification
inferredcites →https://doi.org/10.1109/ms.1985.231756openalex-snapshot
The Larch Family of Specification Languages
inferredcites →https://doi.org/10.1109/tse.1980.230209openalex-snapshot
Notes on Type Abstraction (Version 2)
inferredcites →https://doi.org/10.1109/tse.1984.5010277openalex-snapshot
Parameterized Programming
inferredcites →https://doi.org/10.1137/0207005openalex-snapshot
Soundness and Completeness of an Axiom System for Program Verification
inferredcites →https://doi.org/10.1145/101620.101625openalex-snapshot
An algebraic model of subtype and inheritance
inferredcites →https://doi.org/10.1145/165854.165863openalex-snapshot
Specifications and their use in defining subtypes
inferredcites →https://doi.org/10.1145/165854.165891openalex-snapshot
Typing the specialization interface
inferredcites →https://doi.org/10.1145/167962.165863openalex-snapshot
Specifications and their use in defining subtypes
inferredcites →https://doi.org/10.1145/167962.165891openalex-snapshot
Typing the specialization interface
inferredcites →https://doi.org/10.1145/512644.512669openalex-snapshot
Representation independence and data abstraction
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferredcites →https://doi.org/10.1145/62138.62141openalex-snapshot
Keynote address - data abstraction and hierarchy
inferredcites →https://doi.org/10.1145/62139.62141openalex-snapshot
Keynote address - data abstraction and hierarchy
inferredcites →https://doi.org/10.1145/63238.63240openalex-snapshot
A simple approach to specifying concurrent systems
inferredcites →https://doi.org/10.1145/63264.63265openalex-snapshot
Designing families of data types using exemplars
inferredcites →https://doi.org/10.1145/63320.66470openalex-snapshot
A shared view of sharing: the treaty of Orlando
inferredcites →https://doi.org/10.1145/73560.73566openalex-snapshot
Structural subtyping and the notion of power type
inferredcites →https://doi.org/10.1145/960112.28699openalex-snapshot
An introduction to Trellis/Owl
inferredcites →https://doi.org/10.1145/960112.28702openalex-snapshot
Encapsulation and inheritance in object-oriented programming languages
inferredcites →https://doi.org/10.1145/960112.28718openalex-snapshot
Using prototypical objects to implement shared behavior in object-oriented systems
inferredcites →https://doi.org/10.1145/960112.28729openalex-snapshot
An exemplar based Smalltalk
inferredcites →https://doi.org/10.1145/96709.96721openalex-snapshot
Inheritance is not subtyping
inferredcites →https://doi.org/10.1145/9758.10500openalex-snapshot
Writing Larch interface language specifications
inferredcites →https://doi.org/10.1145/97945.97970openalex-snapshot
Reasoning about object-oriented programs that use subtypes
inferredcites →https://doi.org/10.1145/97946.97970openalex-snapshot
Reasoning about object-oriented programs that use subtypes
inferredcites →https://doi.org/10.21236/ada209118openalex-snapshot
Verifying Object-Oriented Programs That Use Subtypes

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/047134608x.w1601openalex-snapshot
Abstract Data Types
inferred← citeshttps://doi.org/10.1002/cpe.2930openalex-snapshot
Specifying subtypes in Safety Critical Java programs
inferred← citeshttps://doi.org/10.1002/j.1096-9942.1995.tb00019.xopenalex-snapshot
On Binary Methods
inferred← citeshttps://doi.org/10.1006/inco.1996.0031openalex-snapshot
Positive Subtyping
inferred← citeshttps://doi.org/10.1007/11804192_16openalex-snapshot
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
inferred← citeshttps://doi.org/10.1007/11901433_2openalex-snapshot
JML’s Rich, Inherited Specifications for Behavioral Subtypes
inferred← citeshttps://doi.org/10.1007/3-540-44947-7_23openalex-snapshot
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95
inferred← citeshttps://doi.org/10.1007/3-540-45499-3_33openalex-snapshot
Behavioural Subtyping Relations for Object-Oriented Formalisms
inferred← citeshttps://doi.org/10.1007/3-540-45614-7_27openalex-snapshot
Forward Simulation for Data Refinement of Classes
inferred← citeshttps://doi.org/10.1007/978-0-387-35520-7_11openalex-snapshot
Behavioural Subtyping and Property Preservation
inferred← citeshttps://doi.org/10.1007/978-0-585-27524-6_8openalex-snapshot
An Overview of Larch/C++: Behavioral Specifications for C++ Modules
inferred← citeshttps://doi.org/10.1007/978-3-030-02928-9_2openalex-snapshot
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping
inferred← citeshttps://doi.org/10.1007/978-3-031-08166-8_15openalex-snapshot
Further Lessons from the JML Project
inferred← citeshttps://doi.org/10.1007/978-3-031-77019-7_19openalex-snapshot
History-Based Reasoning About Behavioral Subtyping
inferred← citeshttps://doi.org/10.1007/978-3-031-90643-5_2openalex-snapshot
Inferring Incorrectness Specifications for Object-Oriented Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-46969-0_5openalex-snapshot
Modular Reasoning in the Presence of Event Subtyping
inferred← citeshttps://doi.org/10.1007/978-3-319-98047-8_2openalex-snapshot
A Methodology for Invariants, Framing, and Subtyping in JML
inferred← citeshttps://doi.org/10.1007/978-3-540-30101-1_16openalex-snapshot
Preserving Properties under Change
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_1openalex-snapshot
A Tool-Supported Proof System for Multithreaded Java
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_11openalex-snapshot
How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_15openalex-snapshot
Specification and Inheritance in CSP-OZ
inferred← citeshttps://doi.org/10.1007/978-3-540-39958-2_6openalex-snapshot
Inheritance of Temporal Logic Properties
inferred← citeshttps://doi.org/10.1007/978-981-99-8311-7_13openalex-snapshot
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
inferred← citeshttps://doi.org/10.1007/s00165-007-0026-7openalex-snapshot
Specification and verification challenges for sequential object-oriented programs
inferred← citeshttps://doi.org/10.1007/s001650070034openalex-snapshot
Class Refinement as Semantics of Correct Object Substitutability
inferred← citeshttps://doi.org/10.1007/s002360050168openalex-snapshot
A complete algebraic characterization of behavioral subtyping
inferred← citeshttps://doi.org/10.1016/j.scico.2004.05.015openalex-snapshot
How the design of JML accommodates both runtime assertion checking and formal verification
inferred← citeshttps://doi.org/10.1016/j.scico.2004.05.017openalex-snapshot
Specification and (property) inheritance in CSP-OZ
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.09.019openalex-snapshot
An assertion-based proof system for multithreaded Java
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.06.020openalex-snapshot
Slicing techniques for verification re-use
inferred← citeshttps://doi.org/10.1016/j.tcs.2026.115847openalex-snapshot
History-based reasoning about behavioral subtyping (extended paper)
inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00005-8openalex-snapshot
Predicate transformer semantics of a higher-order imperative language with record subtyping
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80238-5openalex-snapshot
Class-Based and Algebraic Models of Objects
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80352-4openalex-snapshot
A Coalgebraic Semantics of Subtyping
inferred← citeshttps://doi.org/10.1023/a:1008766409590openalex-snapshot
Specification-Based Browsing of Software Component Libraries
inferred← citeshttps://doi.org/10.1023/a:1024764232069openalex-snapshot
Behavioral Subtyping Relations for Active Objects
inferred← citeshttps://doi.org/10.1051/ita:2001109openalex-snapshot
A Coalgebraic Semantics of Subtyping
inferred← citeshttps://doi.org/10.1109/32.585498openalex-snapshot
Representation inheritance: a safe form of "White box" code inheritance
inferred← citeshttps://doi.org/10.1109/ase.1998.732577openalex-snapshot
Specification-based browsing of software component libraries
inferred← citeshttps://doi.org/10.1109/esem.2011.9openalex-snapshot
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software
inferred← citeshttps://doi.org/10.1109/icse.2004.1317488openalex-snapshot
Responsibilities and rewards: specifying design patterns
inferred← citeshttps://doi.org/10.1109/icsr.1996.496127openalex-snapshot
Representation inheritance: a safe form of "white box" code inheritance
inferred← citeshttps://doi.org/10.1109/tools.1997.654715openalex-snapshot
Inheriting and modifying behavior
inferred← citeshttps://doi.org/10.1109/tools.1998.711025openalex-snapshot
Reasoning about polymorphic behavior
inferred← citeshttps://doi.org/10.1109/tse.2014.2339829openalex-snapshot
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software
inferred← citeshttps://doi.org/10.1145/1127878.1127884openalex-snapshot
Preliminary design of JML
inferred← citeshttps://doi.org/10.1145/1297027.1297053openalex-snapshot
Modular verification of higher-order methods with mandatory calls specified by model programs
inferred← citeshttps://doi.org/10.1145/1297105.1297053openalex-snapshot
Modular verification of higher-order methods with mandatory calls specified by model programs
inferred← citeshttps://doi.org/10.1145/1850771.1850793openalex-snapshot
The design of SafeJML, a specification language for SCJ with support for WCET specification
inferred← citeshttps://doi.org/10.1145/2043910.2043917openalex-snapshot
Specifying subtypes in SCJ programs
inferred← citeshttps://doi.org/10.1145/2048147.2048177openalex-snapshot
Towards client-aware interface specifications
inferred← citeshttps://doi.org/10.1145/2187671.2187678openalex-snapshot
Behavioral interface specification languages
inferred← citeshttps://doi.org/10.1145/2451436.2451458openalex-snapshot
On exceptions, events and observer chains
inferred← citeshttps://doi.org/10.1145/2724525.2724569openalex-snapshot
Modular reasoning in the presence of event subtyping
inferred← citeshttps://doi.org/10.1145/2766446openalex-snapshot
Behavioral Subtyping, Specification Inheritance, and Modular Reasoning
inferred← citeshttps://doi.org/10.1145/2889443.2889447openalex-snapshot
Reasoning tradeoffs in languages with enhanced modularity features
inferred← citeshttps://doi.org/10.1145/3125374.3125383openalex-snapshot
Aspect-Oriented Programming Reloaded
inferred← citeshttps://doi.org/10.1145/3133907openalex-snapshot
Exploiting implicit beliefs to resolve sparse usage problem in usage-based specification mining
inferred← citeshttps://doi.org/10.1145/3236024.3236075openalex-snapshot
Large-scale study of substitutability in the presence of effects
inferred← citeshttps://doi.org/10.1145/353171.353186openalex-snapshot
Safely creating correct subclasses without seeing superclass code
inferred← citeshttps://doi.org/10.1145/354222.353186openalex-snapshot
Safely creating correct subclasses without seeing superclass code
inferred← citeshttps://doi.org/10.22215/etd/2010-09638openalex-snapshot
Assessing the effectiveness of design contracts as test oracles in the detection of faults in concurrent object-oriented software
inferred← citeshttps://doi.org/10.31274/rtd-180813-10487openalex-snapshot
Behavioral subtyping in object-oriented languages
inferred← citeshttps://doi.org/10.31274/rtd-180813-16445openalex-snapshot
A design discipline and language features for modular reasoning in aspect-oriented programs
inferred← citeshttps://doi.org/10.31274/rtd-180813-16463openalex-snapshot
Modular subclass verification: safely creating correct subclasses without superclass code
inferred← citeshttps://doi.org/10.31274/rtd-180813-9872openalex-snapshot
A runtime assertion checker for the Java Modeling Language
inferred← citeshttps://doi.org/10.31274/td-20240329-170openalex-snapshot
Context-aware contracts
inferred← citeshttps://doi.org/10.5555/998675.999470openalex-snapshot
Responsibilities and rewards: specifying design patterns
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.