On the public citation graph

Algebraic specification languages: An overview

https://doi.org/10.1007/bfb0014423
0 signed · 89 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.1007/3-540-08766-4openalex-snapshot
The Vienna Development Method: The Meta-Language
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-09541-1_36openalex-snapshot
Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs
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-12727-5_24openalex-snapshot
Structured theories in LCF
inferredcites →https://doi.org/10.1007/3-540-15199-0_14openalex-snapshot
A theory of abstract data types for program development: Bridging the gap?
inferredcites →https://doi.org/10.1007/3-540-16442-1_26openalex-snapshot
Experiences with the RAP system — a specification interpreter combining term rewriting and resolution
inferredcites →https://doi.org/10.1007/3-540-16442-1_9openalex-snapshot
Design and implementation of a generic, logic and functional programming language
inferredcites →https://doi.org/10.1007/3-540-19242-5_7openalex-snapshot
A compiler for a class of conditional term rewriting systems
inferredcites →https://doi.org/10.1007/3-540-45910-3_5openalex-snapshot
GSBL: An Algebraic Specification Language Based on Inheritance
inferredcites →https://doi.org/10.1007/3-540-52531-9_142openalex-snapshot
A functional and logic language with polymorphic types
inferredcites →https://doi.org/10.1007/3-540-54972-2openalex-snapshot
Algebraic Specification Techniques in Object Oriented Programming Environments
inferredcites →https://doi.org/10.1007/3-540-56379-2openalex-snapshot
Recent Trends in Data Type Specification
inferredcites →https://doi.org/10.1007/3-540-56379-2_33openalex-snapshot
Algebraic specification of concurrency
inferredcites →https://doi.org/10.1007/3-540-56379-2_34openalex-snapshot
Objects and their specification
inferredcites →https://doi.org/10.1007/3-540-56379-2_35openalex-snapshot
The use of sorts in algebraic specifications
inferredcites →https://doi.org/10.1007/3-540-56379-2_36openalex-snapshot
Implementation and behavioural equivalence: A survey
inferredcites →https://doi.org/10.1007/3-540-56379-2_37openalex-snapshot
Relationships between logical frameworks
inferredcites →https://doi.org/10.1007/3-540-56379-2_38openalex-snapshot
Label algebras: A systematic use of terms
inferredcites →https://doi.org/10.1007/3-540-57182-5_26openalex-snapshot
May I borrow your logic?
inferredcites →https://doi.org/10.1007/3-540-57335-6openalex-snapshot
The Generic Development Language Deva
inferredcites →https://doi.org/10.1007/3-540-57880-3_7openalex-snapshot
Characterizing behavioural semantics and abstractor semantics
inferredcites →https://doi.org/10.1007/3-540-58431-5_6openalex-snapshot
Proving behavioural theorems with standard first-order logic
inferredcites →https://doi.org/10.1007/3-540-58468-4_171openalex-snapshot
Provably Correct Systems
inferredcites →https://doi.org/10.1007/3540539816_74openalex-snapshot
Structuring specifications in-the-large and in-the-small: Higher-order functions, dependent types and inheritance in SPECTRAL
inferredcites →https://doi.org/10.1007/978-1-4471-3229-5_11openalex-snapshot
The Semantics of Extended ML: A Gentle Introduction
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-1-4757-6541-0_1openalex-snapshot
Introducing OBJ
inferredcites →https://doi.org/10.1007/978-3-642-51136-3openalex-snapshot
Innovationen bei Rechen- und Kommunikationssystemen
inferredcites →https://doi.org/10.1007/978-3-642-51136-3_4openalex-snapshot
Formal Foundations for Pragmatic Software Engineering Methods
inferredcites →https://doi.org/10.1007/978-3-642-58041-3_11openalex-snapshot
Structured Specifications: Syntax, Semantics and Proof Calculus
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-73824-1openalex-snapshot
Computing in Horn Clause Theories
inferredcites →https://doi.org/10.1007/bf00625280openalex-snapshot
Partial abstract types
inferredcites →https://doi.org/10.1007/bf01191893openalex-snapshot
Toward formal development of programs from algebraic specifications: Parameterisation revisited
inferredcites →https://doi.org/10.1007/bfb0014422openalex-snapshot
From abstract data types to logical frameworks
inferredcites →https://doi.org/10.1007/bfb0015032openalex-snapshot
Algebraic Methods: Theory, Tools and Applications
inferredcites →https://doi.org/10.1007/bfb0015037openalex-snapshot
An integrated algebraic approach to the specification of data types, processes and objects
inferredcites →https://doi.org/10.1007/bfb0015039openalex-snapshot
An introduction to COLD-K
inferredcites →https://doi.org/10.1007/bfb0015041openalex-snapshot
The logic MPLω
inferredcites →https://doi.org/10.1007/bfb0015044openalex-snapshot
The RAP system as a tool for testing COLD specifications
inferredcites →https://doi.org/10.1007/bfb0015048openalex-snapshot
ACPτ a universal axiom system for process specification
inferredcites →https://doi.org/10.1007/bfb0015454openalex-snapshot
A method for the development of correct software
inferredcites →https://doi.org/10.1007/bfb0015461openalex-snapshot
How to cope with the Spectrum of Spectrum
inferredcites →https://doi.org/10.1007/bfb0020001openalex-snapshot
The B-method
inferredcites →https://doi.org/10.1007/bfb0036909openalex-snapshot
Algebraic specifications with generating constraints
inferredcites →https://doi.org/10.1016/0022-0000(87)90023-7openalex-snapshot
On observational equivalence and algebraic specification
inferredcites →https://doi.org/10.1016/0167-6423(81)90006-xopenalex-snapshot
Programming in a wide spectrum language: a collection of examples
inferredcites →https://doi.org/10.1016/0167-6423(86)90021-3openalex-snapshot
Report on the larch shared language
inferredcites →https://doi.org/10.1016/0167-739x(87)90015-xopenalex-snapshot
Logic programming functions, relations and equations
inferredcites →https://doi.org/10.1016/0304-3975(86)90051-4openalex-snapshot
Structured algebraic specifications: A Kernel language
inferredcites →https://doi.org/10.1016/0304-3975(86)90172-6openalex-snapshot
Relational algebraic semantics of deterministic and nondeterministic programs
inferredcites →https://doi.org/10.1016/0743-1066(92)90024-wopenalex-snapshot
Logic programming with functions and predicates: The language Babel
inferredcites →https://doi.org/10.1016/0743-1066(94)90034-5openalex-snapshot
The integration of functions into logic programming: From theory to practice
inferredcites →https://doi.org/10.1016/0890-5401(88)90008-9openalex-snapshot
Specifications in an arbitrary institution
inferredcites →https://doi.org/10.1016/0950-5849(89)90184-5openalex-snapshot
Algebraic specification
inferredcites →https://doi.org/10.1016/b978-0-12-115350-2.50017-8openalex-snapshot
Equations and Rewrite Rules: A Survey
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50018-4openalex-snapshot
Algebraic Specification
inferredcites →https://doi.org/10.1017/cbo9780511811326openalex-snapshot
ML for the Working Programmer
inferredcites →https://doi.org/10.1109/lics.1989.39177openalex-snapshot
Structure and representation in LF
inferredcites →https://doi.org/10.1109/lics.1989.39193openalex-snapshot
ECC, an extended calculus of constructions
inferredcites →https://doi.org/10.1142/amastopenalex-snapshot
AMAST Series in Computing
inferredcites →https://doi.org/10.1145/318593.318610openalex-snapshot
Principles of OBJ2
inferredcites →https://doi.org/10.1145/318593.318614openalex-snapshot
Program specification and development in standard ML
inferredcites →https://doi.org/10.1145/77600.77621openalex-snapshot
Module algebra
inferredcites →https://doi.org/10.2307/2274155openalex-snapshot
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165…

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-45341-5_17openalex-snapshot
Increasing Reusability in Information Systems Development by Applying Generic Methods
inferred← citeshttps://doi.org/10.1007/3-540-45499-3_31openalex-snapshot
A Reuse-Oriented Framework for Hierarchical Specifications
inferred← citeshttps://doi.org/10.1007/3-540-48168-0_37openalex-snapshot
Specification Refinement with System F
inferred← citeshttps://doi.org/10.1007/3-540-49253-4_16openalex-snapshot
Abstraction Barriers in Equational Proof
inferred← citeshttps://doi.org/10.1007/3-540-61629-2_39openalex-snapshot
Interchange format for inter-operability of tools and translation
inferred← citeshttps://doi.org/10.1007/3-540-61629-2_41openalex-snapshot
Class-sort polymorphism in GLIDER
inferred← citeshttps://doi.org/10.1007/978-0-387-35350-0_18openalex-snapshot
Object-oriented software reusability through formal specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-88030-1_12openalex-snapshot
Towards Interoperability in Component Based Development with a Family of DSLs
inferred← citeshttps://doi.org/10.1007/978-3-642-28412-0_1openalex-snapshot
Building a Modal Interface Theory for Concurrency and Data
inferred← citeshttps://doi.org/10.1007/bfb0014447openalex-snapshot
What is an Abstract Data Type, after all?
inferred← citeshttps://doi.org/10.1007/bfb0030590openalex-snapshot
Formalism and method
inferred← citeshttps://doi.org/10.1007/bfb0036169openalex-snapshot
Proof systems for structured algebraic specifications: An overview
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.01.004openalex-snapshot
Tiling algebra for constraint-based layout editing
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00205-4openalex-snapshot
Formalism and method
inferred← citeshttps://doi.org/10.1109/ase.1997.632826openalex-snapshot
Using KIV to specify and verify architectures of knowledge-based systems
inferred← citeshttps://doi.org/10.1109/ictta.2008.4530342openalex-snapshot
Towards a rigorous framework for dealing with domain specific language families
inferred← citeshttps://doi.org/10.1109/tools.1998.750028openalex-snapshot
Object oriented reuse through algebraic specifications
inferred← citeshttps://doi.org/10.1145/375212.375279openalex-snapshot
Techniques and language constructs for developing generic informations systems
inferred← citeshttps://doi.org/10.1201/b21197-4openalex-snapshot
Functorial Admissible Models
inferred← citeshttps://doi.org/10.14236/ewic/iwfm2000.4openalex-snapshot
Modal Logics for Reasoning about Object-based Component Composition
inferred← citeshttps://doi.org/10.14236/ewic/iwfm2001.4openalex-snapshot
Observation and Abstract Behaviour in Specification and Implementation of State-based Systems
inferred← citeshttps://doi.org/10.17877/de290r-16056openalex-snapshot
An Approach to Algebraic Semantics of Object-Oriented Languages
inferred← citeshttps://doi.org/10.48550/arxiv.1410.4094openalex-snapshot
Towards Development of Correct Software using Views
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.