On the public citation graph
Toward formal development of programs from algebraic specifications: Parameterisation revisited
0 signed · 108 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-10007-5_41openalex-snapshot
The semantics of clear, a specification language
inferredcites →https://doi.org/10.1007/3-540-19027-9_8openalex-snapshot
A theory of software reusability
inferredcites →https://doi.org/10.1007/3-540-50325-0_1openalex-snapshot
The stratified loose approach: A generalization of initial and loose semantics
inferredcites →https://doi.org/10.1007/3-540-50325-0_7openalex-snapshot
The specification language of OBSCURE
inferredcites →https://doi.org/10.1007/3-540-50940-2_48openalex-snapshot
Toward formal development of ML programs: Foundations and methodology
inferredcites →https://doi.org/10.1007/3-540-52513-0_11openalex-snapshot
Modularizing the formal description of a database system
inferredcites →https://doi.org/10.1007/3-540-54496-8_15openalex-snapshot
A kernel specification formalism with higher-order parameterisation
inferredcites →https://doi.org/10.1007/3-540-54496-8_16openalex-snapshot
Extended ML: Past, present and future
inferredcites →https://doi.org/10.1007/3-540-55253-7_27openalex-snapshot
Modules for a model-oriented specification language: A proposal for metasoft
inferredcites →https://doi.org/10.1007/3-540-55719-9_112openalex-snapshot
Toward formal development of programs from algebraic specifications: Model-theoretic foundations
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-3-0346-0145-0_26openalex-snapshot
Introducing Institutions
inferredcites →https://doi.org/10.1007/978-3-642-69962-7openalex-snapshot
Fundamentals of Algebraic Specification 1
inferredcites →https://doi.org/10.1007/bf00283329openalex-snapshot
Toward formal development of programs from algebraic specifications: Implementations revisited
inferredcites →https://doi.org/10.1016/0022-0000(87)90023-7openalex-snapshot
On observational equivalence and algebraic specification
inferredcites →https://doi.org/10.1016/0304-3975(86)90051-4openalex-snapshot
Structured algebraic specifications: A Kernel language
inferredcites →https://doi.org/10.1016/0890-5401(88)90005-3openalex-snapshot
The calculus of constructions
inferredcites →https://doi.org/10.1016/0890-5401(88)90008-9openalex-snapshot
Specifications in an arbitrary institution
inferredcites →https://doi.org/10.1090/s0002-9904-1950-09392-6openalex-snapshot
Book Review: Lattice theory
inferredcites →https://doi.org/10.1109/lics.1989.39185openalex-snapshot
Unified algebras and institutions
inferredcites →https://doi.org/10.1145/138027.138060openalex-snapshot
A framework for defining logics
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/318593.318614openalex-snapshot
Program specification and development in standard ML
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/41625.41648openalex-snapshot
Empty types in polymorphic lambda calculus
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/10720327_1openalex-snapshot
Algebraic Specification and Program Development by Stepwise Refinement
inferred← citeshttps://doi.org/10.1007/11780274_16openalex-snapshot
Horizontal Composability Revisited
inferred← citeshttps://doi.org/10.1007/3-540-45314-8_19openalex-snapshot
Semantics of Architectural Specifications in Casl
inferred← citeshttps://doi.org/10.1007/3-540-46432-8_11openalex-snapshot
Constructive Data Refinement in Typed Lambda Calculus
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_44openalex-snapshot
An lgebraic framework for higher-order odules
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-48224-5_80openalex-snapshot
Amalgamation in CASL via Enriched Signatures
inferred← citeshttps://doi.org/10.1007/3-540-48483-3_1openalex-snapshot
An Algebraic Framework for Separate Type-Checking
inferred← citeshttps://doi.org/10.1007/3-540-48483-3_2openalex-snapshot
Moving Specification Structures Between Logical Systems
inferred← citeshttps://doi.org/10.1007/3-540-49253-4_25openalex-snapshot
Architectural Specifications in CASL
inferred← citeshttps://doi.org/10.1007/3-540-53982-4_9openalex-snapshot
Program specification and data refinement in type theory
inferred← citeshttps://doi.org/10.1007/3-540-54496-8_15openalex-snapshot
A kernel specification formalism with higher-order parameterisation
inferred← citeshttps://doi.org/10.1007/3-540-54496-8_16openalex-snapshot
Extended ML: Past, present and future
inferred← citeshttps://doi.org/10.1007/3-540-55210-3_169openalex-snapshot
Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
inferred← citeshttps://doi.org/10.1007/3-540-55253-7_27openalex-snapshot
Modules for a model-oriented specification language: A proposal for metasoft
inferred← citeshttps://doi.org/10.1007/3-540-55719-9_112openalex-snapshot
Toward formal development of programs from algebraic specifications: Model-theoretic foundations
inferred← citeshttps://doi.org/10.1007/3-540-56610-4_54openalex-snapshot
Compositionality results for different types of parameterization and parameter passing in specification languages
inferred← citeshttps://doi.org/10.1007/3-540-56610-4_65openalex-snapshot
A general framework for modular implementations of modular system specifications
inferred← citeshttps://doi.org/10.1007/3-540-57867-6_13openalex-snapshot
A behavioural algebraic framework for modular system design with reuse
inferred← citeshttps://doi.org/10.1007/3-540-57867-6_16openalex-snapshot
A semantic basis for logic-independent transformation
inferred← citeshttps://doi.org/10.1007/3-540-60043-4_58openalex-snapshot
Semantic typing for parametric algebraic specifications
inferred← citeshttps://doi.org/10.1007/3-540-61550-4_143openalex-snapshot
Mind the gap! Abstract versus concrete models of specifications
inferred← citeshttps://doi.org/10.1007/3-540-64299-4_29openalex-snapshot
Completeness of a logical system for structured specifications
inferred← citeshttps://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
inferred← citeshttps://doi.org/10.1007/978-1-4471-3229-5_11openalex-snapshot
The Semantics of Extended ML: A Gentle Introduction
inferred← citeshttps://doi.org/10.1007/978-1-4471-3794-8_9openalex-snapshot
Parameterized Interfaces are Interfaces — AIAS
inferred← citeshttps://doi.org/10.1007/978-1-4471-3864-8_6openalex-snapshot
Reasoning about a Modular Model-Oriented Formal Specification
inferred← citeshttps://doi.org/10.1007/978-3-319-15545-6_17openalex-snapshot
The Foundational Legacy of ASL
inferred← citeshttps://doi.org/10.1007/978-3-540-25951-0_1openalex-snapshot
Specifying Compositional Units for Correct Program Development in Computational Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-39993-3_7openalex-snapshot
Composing Hidden Information Modules over Inclusive Institutions
inferred← citeshttps://doi.org/10.1007/978-3-540-40020-2_7openalex-snapshot
Type Checking Parametrised Programs and Specifications in ASL + FPC
inferred← citeshttps://doi.org/10.1007/978-3-540-44616-3_23openalex-snapshot
Higher-Order Logic and Theorem Proving for Structured Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_37openalex-snapshot
Observability Concepts in Abstract Data Type Specification, 30 Years Later
inferred← citeshttps://doi.org/10.1007/978-3-540-73001-9_4openalex-snapshot
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
inferred← citeshttps://doi.org/10.1007/978-3-642-59851-7_6openalex-snapshot
Structuring and Modularity
inferred← citeshttps://doi.org/10.1007/bf01209709openalex-snapshot
OBSCURE a specification language for abstract data types
inferred← citeshttps://doi.org/10.1007/bf01211084openalex-snapshot
Essential concepts of algebraic specification and program development
inferred← citeshttps://doi.org/10.1007/bf01214958openalex-snapshot
Modularising the specification of a small database system in extended ML
inferred← citeshttps://doi.org/10.1007/bfb0014423openalex-snapshot
Algebraic specification languages: An overview
inferred← citeshttps://doi.org/10.1007/bfb0020783openalex-snapshot
Polymorphism, parameterization and typing: An algebraic specification perspective
inferred← citeshttps://doi.org/10.1007/bfb0030591openalex-snapshot
CoFI: The common framework initiative for algebraic specification and development
inferred← citeshttps://doi.org/10.1007/bfb0030622openalex-snapshot
Semantics of architectural connectors
inferred← citeshttps://doi.org/10.1007/s001650200012openalex-snapshot
Architectural Specifications in CASL
inferred← citeshttps://doi.org/10.1016/0168-0072(94)90009-4openalex-snapshot
Structured theory presentations and logic representations
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/b978-044450556-9/50066-6openalex-snapshot
Casl for CafeOBJ Users
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.03.013openalex-snapshot
Testing from Structured Algebraic Specifications: The Veritas Case Study
inferred← citeshttps://doi.org/10.1016/j.jlap.2003.12.001openalex-snapshot
Manipulating algebraic specifications with term-based and graph-based representations
inferred← citeshttps://doi.org/10.1016/j.scico.2017.04.005openalex-snapshot
Specification refinements: Calculi, tools, and applications
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.09.037openalex-snapshot
Amalgamation in the semantics of CASL
inferred← citeshttps://doi.org/10.1016/s0020-0190(00)00120-4openalex-snapshot
Generalized interpolation in
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00175-4openalex-snapshot
Subtyping dependent types
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00317-6openalex-snapshot
Logical systems for structured specifications
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00368-1openalex-snapshot
CASL: the Common Algebraic Specification Language
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00163-6openalex-snapshot
The definition of Extended ML: A gentle introduction
inferred← citeshttps://doi.org/10.1016/s0743-1066(98)10023-7openalex-snapshot
Steadfast logic programs
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80493-1openalex-snapshot
Composition and Refinement of Specifications of Parameterized Data Types
inferred← citeshttps://doi.org/10.1017/s0960129500000256openalex-snapshot
Program specification and data refinement in type theory
inferred← citeshttps://doi.org/10.1017/s0960129500000748openalex-snapshot
Compositionality and compatibility of parameterization and parameter passing in specification languages
inferred← citeshttps://doi.org/10.1017/s0960129502003687openalex-snapshot
A theory of mixin modules: algebraic laws and reduction semantics
inferred← citeshttps://doi.org/10.1017/s0960129513000212openalex-snapshot
Property-oriented semantics of structured specifications
inferred← citeshttps://doi.org/10.1093/jigpal/3.4.615openalex-snapshot
A Calculus of Higher-Order Parameterization for Algebraic Specifications
inferred← citeshttps://doi.org/10.1093/jigpal/9.2.231openalex-snapshot
Interpolation in practical formal development
inferred← citeshttps://doi.org/10.1093/logcom/exn026openalex-snapshot
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
inferred← citeshttps://doi.org/10.1145/333580.333589openalex-snapshot
Algebraic methods for specification and formal development of programs
inferred← citeshttps://doi.org/10.1155/2000/482042openalex-snapshot
Case Study on Algebraic Software Methodologies for Scientific Computing
inferred← citeshttps://doi.org/10.13140/rg.2.1.3061.5769openalex-snapshot
Specifications of Software Architectures using Diagrams of Constructions
inferred← citeshttps://doi.org/10.3233/fun-2005-66301openalex-snapshot
Generalized Interpolation in First Order Logic
inferred← citeshttps://doi.org/10.7146/brics.v4i48.19269openalex-snapshot
CoFI: The Common Framework Initiative for Algebraic Specification and Development
inferred← citeshttps://doi.org/10.7551/mitpress/1104.001.0001openalex-snapshot
Advanced Topics in Types and Programming 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.