On the public citation graph

Algebraic specifications with generating constraints

https://doi.org/10.1007/bfb0036909
0 signed · 42 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-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-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/bfb0012770openalex-snapshot
Parameter passing commutes with implementation of parameterized data types
inferredcites →https://doi.org/10.1016/0304-3975(81)90080-3openalex-snapshot
More on advice on structuring compilers and proving them correct
inferredcites →https://doi.org/10.1016/0304-3975(83)90065-8openalex-snapshot
Parameter passing in algebraic specification languages
inferredcites →https://doi.org/10.1109/tse.1975.6312816openalex-snapshot
Specification techniques for data abstractions
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

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-13346-1_17openalex-snapshot
Building specifications in an arbitrary institution
inferred← citeshttps://doi.org/10.1007/3-540-15198-2_20openalex-snapshot
On observational equivalence and algebraic specification
inferred← citeshttps://doi.org/10.1007/3-540-17162-2_132openalex-snapshot
Bits and pieces of the theory of institutions
inferred← citeshttps://doi.org/10.1007/3-540-17660-8_50openalex-snapshot
Toward formal development of programs from algebraic specifications: Implementations revisited
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-51486-4_70openalex-snapshot
Proving correctness of constructor implementations
inferred← citeshttps://doi.org/10.1007/3-540-51722-7_1openalex-snapshot
A categorical concept of constraints for algebraic specifications
inferred← citeshttps://doi.org/10.1007/3-540-51722-7_10openalex-snapshot
Categories for the development of algebraic module specifications
inferred← citeshttps://doi.org/10.1007/978-3-319-75396-6_15openalex-snapshot
On Normal Forms for Structured Specifications with Generating Constraints
inferred← citeshttps://doi.org/10.1007/978-3-662-09691-8_4openalex-snapshot
Some Thoughts on Algebraic Specification
inferred← citeshttps://doi.org/10.1007/b106390openalex-snapshot
Formal Methods in Software and Systems Modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
inferred← citeshttps://doi.org/10.1007/bf00271641openalex-snapshot
A set-theoretic semantics for Clear
inferred← citeshttps://doi.org/10.1007/bf00283329openalex-snapshot
Toward formal development of programs from algebraic specifications: Implementations revisited
inferred← citeshttps://doi.org/10.1007/bf02737104openalex-snapshot
Toward formal development of programs from algebraic specifications: Implementations revisited
inferred← citeshttps://doi.org/10.1007/bfb0014423openalex-snapshot
Algebraic specification languages: An overview
inferred← citeshttps://doi.org/10.1007/bfb0014989openalex-snapshot
Theory and practice of canonical term functors in abstract data type specifications
inferred← citeshttps://doi.org/10.1007/bfb0016234openalex-snapshot
Algebraic theory of module specifications with constraints
inferred← citeshttps://doi.org/10.1007/bfb0030336openalex-snapshot
Free constructions in algebraic institutions
inferred← citeshttps://doi.org/10.1007/bfb0039613openalex-snapshot
Ground term confluence in parametric conditional equational specifications
inferred← citeshttps://doi.org/10.1016/0022-0000(86)90057-7openalex-snapshot
Quasi-varieties in abstract algebraic institutions
inferred← citeshttps://doi.org/10.1016/0022-0000(87)90023-7openalex-snapshot
On observational equivalence and algebraic specification
inferred← citeshttps://doi.org/10.1016/0022-0000(87)90037-7openalex-snapshot
Union and actualization of module specifications: Some compatibility results
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(87)90119-8openalex-snapshot
Canonical constraints for parameterized data types
inferred← citeshttps://doi.org/10.1016/0304-3975(94)90110-4openalex-snapshot
Functorial theory of a parameterized specifications in a general specification framework
inferred← citeshttps://doi.org/10.1016/0890-5401(88)90008-9openalex-snapshot
Specifications in an arbitrary institution
inferred← citeshttps://doi.org/10.1016/b978-0-444-88074-1.50018-4openalex-snapshot
Algebraic Specification
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00369-3openalex-snapshot
Relating CASL with other specification languages: the institution level
inferred← citeshttps://doi.org/10.1017/s0960129513000212openalex-snapshot
Property-oriented semantics of structured specifications
inferred← citeshttps://doi.org/10.1109/tse.1985.232484openalex-snapshot
Completeness of Proof Systems for Equational Specifications
inferred← citeshttps://doi.org/10.1145/147508.147524openalex-snapshot
Institutions: abstract model theory for specification and programming
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.