On the public citation graph
Notes on type abstraction
0 signed · 70 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-642-59412-0_24openalex-snapshot
Proof of Correctness of Data Representations
inferredcites →https://doi.org/10.1007/978-3-642-81955-1_23openalex-snapshot
Simple Word Problems in Universal Algebras
inferredcites →https://doi.org/10.1007/bf00260921openalex-snapshot
Proof rules for the programming language Euclid
inferredcites →https://doi.org/10.1007/bf00260922openalex-snapshot
The algebraic specification of abstract data types
inferredcites →https://doi.org/10.1007/bf00288745openalex-snapshot
The verification and synthesis of data structures
inferredcites →https://doi.org/10.1007/bf00289507openalex-snapshot
Proof of correctness of data representations
inferredcites →https://doi.org/10.1007/bfb0025364openalex-snapshot
Complementary Definitions of Programming Language Semantics
inferredcites →https://doi.org/10.1016/b978-0-08-012975-4.50028-xopenalex-snapshot
Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.
inferredcites →https://doi.org/10.1109/tse.1976.233830openalex-snapshot
An Introduction to the Construction and Verification of Alphard Programs
inferredcites →https://doi.org/10.1145/355602.361309openalex-snapshot
A technique for software module specification with examples
inferredcites →https://doi.org/10.1145/357980.358001openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/359605.359618openalex-snapshot
Abstract data types and the development of data structures
inferredcites →https://doi.org/10.1145/359657.359666openalex-snapshot
Abstract data types and software validation
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/954666.971189openalex-snapshot
Report on the programming language Euclid
inferredcites →https://doi.org/10.21236/ada029896openalex-snapshot
Abstract Data Types and Software Validation
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-10009-1_18openalex-snapshot
The AFFIRM theorem prover: Proof forests and management of large proofs
inferred← citeshttps://doi.org/10.1007/3-540-10843-2_11openalex-snapshot
Algorithmic specifications of abstract data types
inferred← citeshttps://doi.org/10.1007/3-540-15204-0_7openalex-snapshot
Petri net based models for the specification and validation of protocols
inferred← citeshttps://doi.org/10.1007/3-540-17906-2_24openalex-snapshot
Petri net based models in the specification and verification of protocols
inferred← citeshttps://doi.org/10.1007/3-540-45672-4_13openalex-snapshot
An Informal Formal Method for Systematic JUnit Test Case Generation
inferred← citeshttps://doi.org/10.1007/3-540-50214-9_12openalex-snapshot
NUSL: An executable specification language based on data abstraction
inferred← citeshttps://doi.org/10.1007/3-540-53504-7_102openalex-snapshot
A model of communication in Ada using shared data abstractions
inferred← citeshttps://doi.org/10.1007/3-540-56777-1_6openalex-snapshot
Towards a model for persistent data integration
inferred← citeshttps://doi.org/10.1007/978-0-387-34768-4_26openalex-snapshot
A Programming Notation for Tactical Reasoning
inferred← citeshttps://doi.org/10.1007/978-1-4612-2704-5openalex-snapshot
Larch: Languages and Tools for Formal Specification
inferred← citeshttps://doi.org/10.1007/978-3-642-59412-0_28openalex-snapshot
Abstract Data Types, Then and Now
inferred← citeshttps://doi.org/10.1007/978-3-642-67978-0_24openalex-snapshot
Formal Modeling of Communication Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-72822-8_7openalex-snapshot
Applying Petri Net Based Models in the Design of Systems
inferred← citeshttps://doi.org/10.1007/bf01579252openalex-snapshot
A formal approach for product model information
inferred← citeshttps://doi.org/10.1007/bf01762126openalex-snapshot
The synthesis of communication protocols
inferred← citeshttps://doi.org/10.1007/bf02525599openalex-snapshot
A programming methodology based on data abstraction
inferred← citeshttps://doi.org/10.1007/bfb0014678openalex-snapshot
A derivation-oriented proof of the Schorr-Waite marking algorithm
inferred← citeshttps://doi.org/10.1007/bfb0022542openalex-snapshot
Abstract data types as lattices of finitely generated models
inferred← citeshttps://doi.org/10.1007/bfb0042361openalex-snapshot
SEI report on graduate software engineering education
inferred← citeshttps://doi.org/10.1016/0096-0551(91)90004-sopenalex-snapshot
A layered, operational model of data control in programming languages
inferred← citeshttps://doi.org/10.1016/0096-0551(92)90024-hopenalex-snapshot
Specification and testing of abstract data types
inferred← citeshttps://doi.org/10.1016/0097-8493(85)90017-2openalex-snapshot
Abstractions: A conceptual approach for structuring interaction with integrated CAD systems
inferred← citeshttps://doi.org/10.1016/0164-1212(81)90042-xopenalex-snapshot
Embedded system design with ada as the system design language
inferred← citeshttps://doi.org/10.1016/0164-1212(95)00071-2openalex-snapshot
Languages for the specification of software
inferred← citeshttps://doi.org/10.1016/0165-6074(88)90340-7openalex-snapshot
A DAISY architecture for abstract data type implementation in image processing
inferred← citeshttps://doi.org/10.1016/0304-3975(82)90109-8openalex-snapshot
Abstract data types and algebraic semantics of programming languages
inferred← citeshttps://doi.org/10.1016/0304-3975(84)90086-0openalex-snapshot
A systematic study of models of abstract data types
inferred← citeshttps://doi.org/10.1016/0378-7206(80)90035-xopenalex-snapshot
Data quality in information systems
inferred← citeshttps://doi.org/10.1016/b978-0-08-029352-3.50065-9openalex-snapshot
THE PRODUCTION OF PROGRAM FAMILIES BASED ON ABSTRACT DATA TYPES
inferred← citeshttps://doi.org/10.1016/b978-0-12-115350-2.50017-8openalex-snapshot
Equations and Rewrite Rules: A Survey
inferred← citeshttps://doi.org/10.1016/j.jal.2011.09.001openalex-snapshot
Sufficient completeness verification for conditional and constrained TRS
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60595-1openalex-snapshot
Object-Oriented System Development Methods
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)56064-4openalex-snapshot
Two level control system for FMS - an object oriented approach
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)62856-8openalex-snapshot
The Production of Program Families Based on Abstract Data Types
inferred← citeshttps://doi.org/10.1109/12.2209openalex-snapshot
Abstract specification of synchronous data types for VLSI and proving the correctness of systolic network implementations
inferred← citeshttps://doi.org/10.1109/32.277574openalex-snapshot
Using term rewriting to verify software
inferred← citeshttps://doi.org/10.1109/32.6168openalex-snapshot
Trace specifications: methodology and models
inferred← citeshttps://doi.org/10.1109/icsm.1989.65206openalex-snapshot
The retrospective introduction of abstraction into software
inferred← citeshttps://doi.org/10.1109/mc.1987.1663386openalex-snapshot
Efficient Abstract Data Type Components for Distributed and Parallel Systems
inferred← citeshttps://doi.org/10.1109/tse.1980.230459openalex-snapshot
Abstract Data Type Specification in the Affirm System
inferred← citeshttps://doi.org/10.1109/tse.1982.235736openalex-snapshot
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models
inferred← citeshttps://doi.org/10.1145/10590.10613openalex-snapshot
The synthesis of communication protocols
inferred← citeshttps://doi.org/10.1145/143062.143121openalex-snapshot
The property vector specification of a multiset iterator
inferred← citeshttps://doi.org/10.1145/567446.567461openalex-snapshot
On proving inductive properties of abstract data types
inferred← citeshttps://doi.org/10.1145/567446.567471openalex-snapshot
Formal specification as a design tool
inferred← citeshttps://doi.org/10.1145/62058.62060openalex-snapshot
Type theories and object-oriented programmimg
inferred← citeshttps://doi.org/10.14236/ewic/iwfm1999.7openalex-snapshot
Checking Formal Specifications by Testing
inferred← citeshttps://doi.org/10.31390/gradschool_disstheses.5392openalex-snapshot
A Formal Methodology for the Specification of Distributed Systems From an Object Perspective.
inferred← citeshttps://doi.org/10.5555/800054.802003openalex-snapshot
Application of axiomatic methods to a specification analyser
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.