On the public citation graph

Algebraic system specification and development

0 signed · 49 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/979-8-8688-0190-7_11openalex-snapshot

Object-Oriented Programming

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/047134608x.w1681openalex-snapshot

Programming Theory

inferred← citeshttps://doi.org/10.1002/9781119993766.app1openalex-snapshot

Appendix A: Examples

inferred← citeshttps://doi.org/10.1006/jsco.1997.0187openalex-snapshot

Dynamically Typed Computations for Order-sorted Equational Presentations

inferred← citeshttps://doi.org/10.1007/3-540-45061-0_70openalex-snapshot

Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types

inferred← citeshttps://doi.org/10.1007/3-540-45465-9_49openalex-snapshot

A Total Approach to Partial Algebraic Specification

inferred← citeshttps://doi.org/10.1007/3-540-45645-7_16openalex-snapshot

The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress

inferred← citeshttps://doi.org/10.1007/3-540-46432-8_9openalex-snapshot

A Higher-Order Simulation Relation for System F

inferred← citeshttps://doi.org/10.1007/3-540-46562-6_1openalex-snapshot

The Common Framework Initiative for Algebraic Specification and Development of Software

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-55210-3_169openalex-snapshot

Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives

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_57openalex-snapshot

Algebraic specification and development in geometric modeling

inferred← citeshttps://doi.org/10.1007/3-540-59293-8_184openalex-snapshot

A decade of TAPSOFT

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-61629-2_32openalex-snapshot

Seven years of COMPASS

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_54openalex-snapshot

Using limits of parchments to systematically construct institutions of partial algebras

inferred← citeshttps://doi.org/10.1007/3-540-61629-2_55openalex-snapshot

Behavioural specifications in type theory

inferred← citeshttps://doi.org/10.1007/3-540-64299-4_25openalex-snapshot

From abstract data types to algebraic development techniques: A shift of paradigms

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-3-319-72044-9_2openalex-snapshot

The Distributed Ontology, Model and Specification Language – DOL

inferred← citeshttps://doi.org/10.1007/978-3-540-44616-3_10openalex-snapshot

Specification Refinement with System F – The Higher-Order Case

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-73094-1_4openalex-snapshot

Toward Specifications for Reconfigurable Component Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-04164-8_4openalex-snapshot

Order-Sorted Parameterization and Induction

inferred← citeshttps://doi.org/10.1007/978-3-662-44124-4_9openalex-snapshot

Categories of Coalgebras with Monadic Homomorphisms

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/bfb0014422openalex-snapshot

From abstract data types to logical frameworks

inferred← citeshttps://doi.org/10.1007/bfb0023885openalex-snapshot

Partial algebra + order-sorted algebra = galactic algebra

inferred← citeshttps://doi.org/10.1007/bfb0030591openalex-snapshot

CoFI: The common framework initiative for algebraic specification and development

inferred← citeshttps://doi.org/10.1016/j.eswa.2012.01.155openalex-snapshot

The KAMET II methodology: Knowledge acquisition, knowledge modeling and knowledge generation

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(03)00312-8openalex-snapshot

Structured theories and institutions

inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80136-7openalex-snapshot

Parameterized Theories and Views in Full Maude 2.0

inferred← citeshttps://doi.org/10.1017/s0269888900007566openalex-snapshot

Formal specification languages in knowledge and software engineering

inferred← citeshttps://doi.org/10.1017/s0269888999142097openalex-snapshot

A software architecture for knowledge-based systems

inferred← citeshttps://doi.org/10.1017/s0960129500001432openalex-snapshot

A new approach to abstract data types, I Informal development

inferred← citeshttps://doi.org/10.1023/a:1008688122154openalex-snapshot

Applications of Category Theory to the Area of Algebraic Specification in Computer Science

inferred← citeshttps://doi.org/10.1023/a:1018983515535openalex-snapshot

Pinnacles of software engineering: 25 years of formal methods

inferred← citeshttps://doi.org/10.1109/32.825766openalex-snapshot

Automatically checking an implementation against its formal specification

inferred← citeshttps://doi.org/10.1109/69.929903openalex-snapshot

A survey of languages for specifying dynamics: a knowledge engineering perspective

inferred← citeshttps://doi.org/10.1145/1081706.1081749openalex-snapshot

Parameterized unit tests

inferred← citeshttps://doi.org/10.1145/1095430.1081749openalex-snapshot

Parameterized unit tests

inferred← citeshttps://doi.org/10.1145/176454.176578openalex-snapshot

Referential opacity in nondeterministic data refinement

inferred← citeshttps://doi.org/10.1145/2187671.2187678openalex-snapshot

Behavioral interface specification languages

inferred← citeshttps://doi.org/10.14236/ewic/iwfm1999.7openalex-snapshot

Checking Formal Specifications by Testing

inferred← citeshttps://doi.org/10.5555/257734.257771openalex-snapshot

Formal specification techniques (extended abstract)

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.