On the public citation graph
On hierarchies of abstract data types
0 signed · 153 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/3-540-07854-1_231openalex-snapshot
Observability concepts in abstract data type specification
inferredcites →https://doi.org/10.1007/3-540-09510-1_3openalex-snapshot
A characterization of abstract data as model-theoretic invariants
inferredcites →https://doi.org/10.1007/3-540-09510-1_7openalex-snapshot
Existential quantifiers in abstract data types
inferredcites →https://doi.org/10.1007/3-540-10003-2_67openalex-snapshot
Algebraic implementation of abstract data types: concept, syntax, semantics and correctness
inferredcites →https://doi.org/10.1007/3-540-10003-2_68openalex-snapshot
Parameterized data types in algebraic specification languages
inferredcites →https://doi.org/10.1007/3-540-10003-2_80openalex-snapshot
Terminal algebra semantics and retractions for abstract data types
inferredcites →https://doi.org/10.1007/3-540-10007-5_41openalex-snapshot
The semantics of clear, a specification language
inferredcites →https://doi.org/10.1007/3-540-10828-9_51openalex-snapshot
Algebraic theory of parameterized specifications with requirements
inferredcites →https://doi.org/10.1007/3-540-10843-2_11openalex-snapshot
Algorithmic specifications of abstract data types
inferredcites →https://doi.org/10.1007/978-3-642-61807-9openalex-snapshot
Algorithmic Language and Program Development
inferredcites →https://doi.org/10.1007/978-94-009-7893-5_12openalex-snapshot
An Analysis of Semantic Models for Algebraic Specifications
inferredcites →https://doi.org/10.1007/bfb0014674openalex-snapshot
A study on transformational semantics
inferredcites →https://doi.org/10.1007/bfb0014676openalex-snapshot
Examples for change of types and object structures
inferredcites →https://doi.org/10.1007/bfb0022542openalex-snapshot
Abstract data types as lattices of finitely generated models
inferredcites →https://doi.org/10.1016/0022-0000(79)90011-4openalex-snapshot
Final algebra semantics and data type extensions
inferredcites →https://doi.org/10.1016/0304-3975(77)90053-6openalex-snapshot
Fully abstract models of typed λ-calculi
inferredcites →https://doi.org/10.1137/0212024openalex-snapshot
Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
inferredcites →https://doi.org/10.1145/2166.357212openalex-snapshot
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
inferredcites →https://doi.org/10.1145/321992.321997openalex-snapshot
Initial Algebra Semantics and Continuous Algebras
inferredcites →https://doi.org/10.1145/322290.322303openalex-snapshot
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
inferredcites →https://doi.org/10.1145/390016.808426openalex-snapshot
Specification techniques for data abstractions
inferredcites →https://doi.org/10.1145/800233.807045openalex-snapshot
Programming with abstract data types
inferredcites →https://doi.org/10.1145/942572.807045openalex-snapshot
Programming with abstract data types
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-11494-7_18openalex-snapshot
A system for reasoning within and about algebraic specifications
inferred← citeshttps://doi.org/10.1007/3-540-11494-7_19openalex-snapshot
Tuning algebraic specifications by type merging
inferred← citeshttps://doi.org/10.1007/3-540-12727-5_1openalex-snapshot
Generalized heterogeneous algebras and partial interpretations
inferred← citeshttps://doi.org/10.1007/3-540-13346-1_4openalex-snapshot
A basic Abstract Semantic Algebra
inferred← citeshttps://doi.org/10.1007/3-540-15198-2_22openalex-snapshot
On the parameterized algebraic specification of concurrent systems
inferred← citeshttps://doi.org/10.1007/3-540-15199-0_14openalex-snapshot
A theory of abstract data types for program development: Bridging the gap?
inferred← citeshttps://doi.org/10.1007/3-540-15199-0_17openalex-snapshot
Application of PROLOG to test sets generation from algebraic specifications
inferred← citeshttps://doi.org/10.1007/3-540-15984-3_308openalex-snapshot
Correctness proofs of the implementation of abstract data types
inferred← citeshttps://doi.org/10.1007/3-540-15984-3_328openalex-snapshot
Unification in conditional-equational theories
inferred← citeshttps://doi.org/10.1007/3-540-16442-1_26openalex-snapshot
Experiences with the RAP system — a specification interpreter combining term rewriting and resolution
inferred← citeshttps://doi.org/10.1007/3-540-16780-3_139openalex-snapshot
The passau RAP system: Prototyping algebraic specifications using conditional narrowing
inferred← citeshttps://doi.org/10.1007/3-540-17189-4_113openalex-snapshot
Towards advanced programming environments based on algebraic concepts
inferred← citeshttps://doi.org/10.1007/3-540-17660-8_49openalex-snapshot
On parametric algebraic specifications with clean error handling
inferred← citeshttps://doi.org/10.1007/3-540-17660-8_57openalex-snapshot
Partial composition and recursion of module specifications
inferred← citeshttps://doi.org/10.1007/3-540-19027-9_8openalex-snapshot
A theory of software reusability
inferred← citeshttps://doi.org/10.1007/3-540-19242-5_23openalex-snapshot
The Passau RAP system: Rapid prototyping for algebraic specifications
inferred← citeshttps://doi.org/10.1007/3-540-19242-5_7openalex-snapshot
A compiler for a class of conditional term rewriting systems
inferred← citeshttps://doi.org/10.1007/3-540-45645-7_5openalex-snapshot
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications
inferred← citeshttps://doi.org/10.1007/3-540-45910-3_5openalex-snapshot
GSBL: An Algebraic Specification Language Based on Inheritance
inferred← citeshttps://doi.org/10.1007/3-540-50667-5_56openalex-snapshot
Nondeterministic algebraic specifications and nonconfluent term rewriting
inferred← citeshttps://doi.org/10.1007/3-540-50939-9_124openalex-snapshot
A modular framework for specification and implementation
inferred← citeshttps://doi.org/10.1007/3-540-51722-7_7openalex-snapshot
Development of algebraic specifications with constraints
inferred← citeshttps://doi.org/10.1007/3-540-52513-0_8openalex-snapshot
A buffering system implementation using VDM
inferred← citeshttps://doi.org/10.1007/3-540-53904-2_116openalex-snapshot
A narrowing-based theorem prover
inferred← citeshttps://doi.org/10.1007/3-540-53912-3_22openalex-snapshot
Where can I get gas round here? — an application of a design methodology for distributed systems
inferred← citeshttps://doi.org/10.1007/3-540-54415-1_66openalex-snapshot
First order data types and first order logic
inferred← citeshttps://doi.org/10.1007/3-540-54444-5_118openalex-snapshot
A narrowing-based theorem prover
inferred← citeshttps://doi.org/10.1007/3-540-55511-0_7openalex-snapshot
Typed homomorphic relations extended with subtypes
inferred← citeshttps://doi.org/10.1007/3-540-56287-7_109openalex-snapshot
Verification of large software systems
inferred← citeshttps://doi.org/10.1007/3-540-56393-8_27openalex-snapshot
A calculus for conditional inductive theorem proving
inferred← citeshttps://doi.org/10.1007/3-540-57499-9_21openalex-snapshot
Formal problem specification on an algebraic basis
inferred← citeshttps://doi.org/10.1007/3-540-57867-6_7openalex-snapshot
About the “correctness” and “adequacy” of PLUSS specifications
inferred← citeshttps://doi.org/10.1007/978-1-4471-3558-6_5openalex-snapshot
Integrating ASSPEGIQUE and LP
inferred← citeshttps://doi.org/10.1007/978-1-4471-3577-7_23openalex-snapshot
The database Specification Language Ruslan: Main Features
inferred← citeshttps://doi.org/10.1007/978-1-4612-5196-5_10openalex-snapshot
On the Design and Specification of Database Transactions
inferred← citeshttps://doi.org/10.1007/978-1-4684-6834-2_2openalex-snapshot
Nondeterministic Algebraic Specifications
inferred← citeshttps://doi.org/10.1007/978-3-319-15545-6_1openalex-snapshot
A Homage to Martin Wirsing
inferred← citeshttps://doi.org/10.1007/978-3-540-24675-6_6openalex-snapshot
Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-95891-8_24openalex-snapshot
Implementing Services by Partial State Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-46490-4_18openalex-snapshot
Algebraic Methods for Program Construction: The Project CIP
inferred← citeshttps://doi.org/10.1007/978-3-642-46490-4_20openalex-snapshot
Algebraic Techniques for Program Specification
inferred← citeshttps://doi.org/10.1007/978-3-642-46490-4_24openalex-snapshot
Inferential Techniques for Program Development
inferred← citeshttps://doi.org/10.1007/978-3-642-46490-4_27openalex-snapshot
The CIP Transformation System
inferred← citeshttps://doi.org/10.1007/978-3-642-67838-7_28openalex-snapshot
Polynomials — The Specification, Analysis and Development of an Abstract Data Type
inferred← citeshttps://doi.org/10.1007/978-3-642-68355-8_10openalex-snapshot
From Requirements to their Formalization — A Case Study on the Stepwise Development of Algebraic Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-68355-8_5openalex-snapshot
Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme
inferred← citeshttps://doi.org/10.1007/978-3-642-69293-2_11openalex-snapshot
On the use of Algebraic Methods for Formal Requirements Definitions
inferred← citeshttps://doi.org/10.1007/978-3-642-69293-2_4openalex-snapshot
Abstract Data Types As A Tool For Requirement Engineering
inferred← citeshttps://doi.org/10.1007/978-3-642-69298-7_7openalex-snapshot
An Algebraic Semantics for Backus’ Functional Programming Language with Infinite Objects
inferred← citeshttps://doi.org/10.1007/978-3-642-69393-9_3openalex-snapshot
Transformational Derivation of Parsing Algorithms Executable on Parallel Architectures
inferred← citeshttps://doi.org/10.1007/978-3-642-74127-2_3openalex-snapshot
Spezifikation und Entwurf komplexer, kausal vernetzter Systeme
inferred← citeshttps://doi.org/10.1007/978-3-642-77902-2_7openalex-snapshot
Towards a Reference Model for Scientific Visualization Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-82426-5_18openalex-snapshot
Specification of Interfaces: A Case Study of Data Exchange Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-87374-4_8openalex-snapshot
Equational Specification of Partial Higher Order Algebras
inferred← citeshttps://doi.org/10.1007/978-3-662-09691-8_14openalex-snapshot
On the Algebraic Specification of Domains
inferred← citeshttps://doi.org/10.1007/978-3-662-09691-8_8openalex-snapshot
A Final Algebra Semantics for Errors and Exceptions
inferred← citeshttps://doi.org/10.1007/978-94-009-7019-9_1openalex-snapshot
Program Construction by Transformations: A Family Tree of Sorting Programs
inferred← citeshttps://doi.org/10.1007/978-94-009-7893-5_12openalex-snapshot
An Analysis of Semantic Models for Algebraic Specifications
inferred← citeshttps://doi.org/10.1007/bf00263582openalex-snapshot
Crypt-equivalent algebraic specifications
inferred← citeshttps://doi.org/10.1007/bf00267044openalex-snapshot
On the algebraic specification of infinite objects — ordered and continuous models of algebraic types
inferred← citeshttps://doi.org/10.1007/bf01178505openalex-snapshot
Observational implementation of algebraic specifications
inferred← citeshttps://doi.org/10.1007/bf02276638openalex-snapshot
Algebraic and functional specification of an interactive serializable database interface
inferred← citeshttps://doi.org/10.1007/bf02943112openalex-snapshot
A continuous algebraic semantics of CSP
inferred← citeshttps://doi.org/10.1007/bfb0013092openalex-snapshot
An inductive theorem prover based on narrowing
inferred← citeshttps://doi.org/10.1007/bfb0015034openalex-snapshot
Algebraic specification a step towards future software engineering
inferred← citeshttps://doi.org/10.1007/bfb0015038openalex-snapshot
Software specification by behavioural canons
inferred← citeshttps://doi.org/10.1007/bfb0015044openalex-snapshot
The RAP system as a tool for testing COLD specifications
inferred← citeshttps://doi.org/10.1007/bfb0015045openalex-snapshot
A specification of the intel 8085 microprocessor: A case study
inferred← citeshttps://doi.org/10.1007/bfb0015046openalex-snapshot
Specification and prototyping of a compiler for a small applicative language
inferred← citeshttps://doi.org/10.1007/bfb0015471openalex-snapshot
The Kiv-approach to software verification
inferred← citeshttps://doi.org/10.1007/bfb0016232openalex-snapshot
Partial interpretations of higher order algebraic types
inferred← citeshttps://doi.org/10.1007/bfb0018270openalex-snapshot
Deductive program development: Evaluation in reverse Polish notation as an example
inferred← citeshttps://doi.org/10.1007/bfb0022110openalex-snapshot
Formal specifications, prototyping and integration tests
inferred← citeshttps://doi.org/10.1007/bfb0028827openalex-snapshot
Continuous abstract data types: Basic machinery and results
inferred← citeshttps://doi.org/10.1007/bfb0032832openalex-snapshot
On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems
inferred← citeshttps://doi.org/10.1007/bfb0035166openalex-snapshot
Reduction relations in strict applicative languages
inferred← citeshttps://doi.org/10.1007/bfb0035766openalex-snapshot
On recent trends in algebraic specification
inferred← citeshttps://doi.org/10.1007/bfb0039633openalex-snapshot
The Passau RAP System: Rapid prototyping for algebraic specifications
inferred← citeshttps://doi.org/10.1007/bfb0039701openalex-snapshot
An approach to parameterized first-order specifications: Semantics, correctness, parameter passing
inferred← citeshttps://doi.org/10.1007/bfb0039702openalex-snapshot
Algebraic modelling of imperative languages with pointers
inferred← citeshttps://doi.org/10.1016/0020-0190(80)90039-3openalex-snapshot
Safe procedural implementations of algebraic types
inferred← citeshttps://doi.org/10.1016/0022-0000(86)90057-7openalex-snapshot
Quasi-varieties in abstract algebraic institutions
inferred← citeshttps://doi.org/10.1016/0097-8493(84)90022-0openalex-snapshot
Approaching a formal framework for graphics software standards
inferred← citeshttps://doi.org/10.1016/0164-1212(86)90004-xopenalex-snapshot
Test sets generation from algebraic specifications using logic programming
inferred← citeshttps://doi.org/10.1016/0167-6423(83)90002-3openalex-snapshot
An exercise in the transformational derivation of an efficient program by joint development of control and data structure
inferred← citeshttps://doi.org/10.1016/0167-6423(84)90010-8openalex-snapshot
Structuring transformational developments: A case study based on earley's recognizer
inferred← citeshttps://doi.org/10.1016/0167-6423(86)90004-3openalex-snapshot
Algebraic implementations preserve program correctness
inferred← citeshttps://doi.org/10.1016/0167-6423(86)90008-0openalex-snapshot
Transformational program development in a particular problem domain
inferred← citeshttps://doi.org/10.1016/0167-6423(87)90008-6openalex-snapshot
A simple calculus for program transformation (inclusive of induction)
inferred← citeshttps://doi.org/10.1016/0167-6423(88)90034-2openalex-snapshot
From informal requirements to a running program: A case study in algebraic specification and transformational programming
inferred← citeshttps://doi.org/10.1016/0167-6423(93)90023-iopenalex-snapshot
Exceptions for algebraic specifications: on the meaning of “but”
inferred← citeshttps://doi.org/10.1016/0304-3975(84)90056-2openalex-snapshot
Algebraic and operational semantics of specifications allowing exceptions and errors
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/0304-3975(85)90094-5openalex-snapshot
On the existence of free models in abstract algebraic institutions
inferred← citeshttps://doi.org/10.1016/0304-3975(86)90051-4openalex-snapshot
Structured algebraic specifications: A Kernel language
inferred← citeshttps://doi.org/10.1016/0304-3975(88)90162-4openalex-snapshot
Equational specification of partial higher-order algebras
inferred← citeshttps://doi.org/10.1016/0743-1066(92)90026-yopenalex-snapshot
Nondeterministic algebraic specifications and nonconfluent term rewriting
inferred← citeshttps://doi.org/10.1016/0950-5849(90)90101-vopenalex-snapshot
Some algebraic and functional hocus pocus with Abracadabra
inferred← citeshttps://doi.org/10.1016/b978-0-444-88074-1.50018-4openalex-snapshot
Algebraic Specification
inferred← citeshttps://doi.org/10.1016/b978-0-934613-53-8.50018-2openalex-snapshot
On the Design and Specification of Database Transactions
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60131-xopenalex-snapshot
Specification and Implementation of Abstract Data Types
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)87172-1openalex-snapshot
The behavior-realization adjunction and generalized homomorphic relations
inferred← citeshttps://doi.org/10.1080/00218839.2016.1205824openalex-snapshot
The nutritional and bioactive aptitude of bee pollen for a solid-state fermentation process
inferred← citeshttps://doi.org/10.1109/32.21743openalex-snapshot
Formal program construction by transformations-computer-aided, intuition-guided programming
inferred← citeshttps://doi.org/10.1109/apsec.2005.107openalex-snapshot
Transforming functional signatures of algebraic specifications into object-oriented class signatures
inferred← citeshttps://doi.org/10.1109/cmpeur.1988.4962openalex-snapshot
Algebraic description of reusable software components
inferred← citeshttps://doi.org/10.1109/ftdcs.1988.26695openalex-snapshot
Requirements and design specification of distributed systems: the lift problem
inferred← citeshttps://doi.org/10.1109/icse.1989.714417openalex-snapshot
Stepwise Refinement Process With Modularity: An Algebraic Approach
inferred← citeshttps://doi.org/10.1109/icsea.2007.34openalex-snapshot
From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures
inferred← citeshttps://doi.org/10.1109/iwssd.1991.213062openalex-snapshot
On the meaning of 'but' (formal specification)
inferred← citeshttps://doi.org/10.1109/seke.1992.227918openalex-snapshot
Correctness of full first-order specifications
inferred← citeshttps://doi.org/10.1111/j.1744-7410.2000.tb00013.xopenalex-snapshot
Ultrastructure of the ovary and oogenesis in six species of patellid limpets (Gastropoda: Patellogastropoda) from South Africa
inferred← citeshttps://doi.org/10.1145/147508.147524openalex-snapshot
Institutions: abstract model theory for specification and programming
inferred← citeshttps://doi.org/10.1145/357172.357175openalex-snapshot
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm
inferred← citeshttps://doi.org/10.1145/42192.42194openalex-snapshot
A mathematical approach to nondeterminism in data types
inferred← citeshttps://doi.org/10.1145/74587.74611openalex-snapshot
Stepwise refinement process with modularity
inferred← citeshttps://doi.org/10.1145/800055.802045openalex-snapshot
Busy and lazy FP with infinite objects
inferred← citeshttps://doi.org/10.1145/948176.948182openalex-snapshot
An algebraic specification of Pascal's file type
inferred← citeshttps://doi.org/10.1145/9758.10501openalex-snapshot
On the algebraic definition of programming languages
inferred← citeshttps://doi.org/10.1515/aoa-2017-0041openalex-snapshot
Numerical Study of the Effect of Furrows on Biosonar Beamforming in Aselliscus Stoliczkanus Bat
inferred← citeshttps://doi.org/10.17877/de290r-16056openalex-snapshot
An Approach to Algebraic Semantics of Object-Oriented Languages
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.