On the public citation graph

CoFI: The common framework initiative for algebraic specification and development

https://doi.org/10.1007/bfb0030591
0 signed · 71 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-45306-7_26openalex-snapshot
The Asf+Sdf Meta-environment: A Component-Based Language Development Environment
inferredcites →https://doi.org/10.1007/3-540-45937-5_12openalex-snapshot
Disambiguation Filters for Scannerless Generalized LR Parsers
inferredcites →https://doi.org/10.1007/3-540-45988-x_2openalex-snapshot
Integrating HOL-CASL into the Development Graph Manager MAYA
inferredcites →https://doi.org/10.1007/3-540-46419-0_8openalex-snapshot
CASL: From Semantics to Tools
inferredcites →https://doi.org/10.1007/3-540-61629-2_32openalex-snapshot
Seven years of COMPASS
inferredcites →https://doi.org/10.1007/3-540-61629-2_39openalex-snapshot
Interchange format for inter-operability of tools and translation
inferredcites →https://doi.org/10.1007/bf01191893openalex-snapshot
Toward formal development of programs from algebraic specifications: Parameterisation revisited
inferredcites →https://doi.org/10.1007/bfb0018512openalex-snapshot
Algebraic system specification and development
inferredcites →https://doi.org/10.1016/0304-3975(92)90302-vopenalex-snapshot
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
inferredcites →https://doi.org/10.1016/s0167-6423(97)00021-xopenalex-snapshot
The discrete time ToolBus — A software coordination architecture
inferredcites →https://doi.org/10.1016/s0304-3975(01)00369-3openalex-snapshot
Relating CASL with other specification languages: the institution level
inferredcites →https://doi.org/10.1145/147508.147524openalex-snapshot
Institutions: abstract model theory for specification and programming
inferredcites →https://doi.org/10.7146/brics.v4i48.19269openalex-snapshot
CoFI: The Common Framework Initiative for Algebraic Specification and Development

What points at this work

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

inferred← citeshttps://doi.org/10.1007/10692867_4openalex-snapshot
A Discipline for Handling Feature Interaction
inferred← citeshttps://doi.org/10.1007/10720327_1openalex-snapshot
Algebraic Specification and Program Development by Stepwise Refinement
inferred← citeshttps://doi.org/10.1007/3-540-36469-2_1openalex-snapshot
Digitisation, Representation, and Formalisation Digital Libraries of Mathematics
inferred← citeshttps://doi.org/10.1007/3-540-44518-8_7openalex-snapshot
Generic Facilities in Object-Oriented ASMs
inferred← citeshttps://doi.org/10.1007/3-540-45499-3_19openalex-snapshot
Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl
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-45645-7_11openalex-snapshot
Institution Independent Static Analysis for Casl
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-45687-2_49openalex-snapshot
Comorphism-Based Grothendieck Logics
inferred← citeshttps://doi.org/10.1007/3-540-45931-6_23openalex-snapshot
Heterogeneous Development Graphs and Heterogeneous Borrowing
inferred← citeshttps://doi.org/10.1007/3-540-46419-0_8openalex-snapshot
CASL: From Semantics to Tools
inferred← citeshttps://doi.org/10.1007/3-540-46428-x_10openalex-snapshot
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
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-47961-9_22openalex-snapshot
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic
inferred← citeshttps://doi.org/10.1007/3-540-48118-4_13openalex-snapshot
The UniForM workbench a universal development environment for formal methods
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_47openalex-snapshot
On the Expressive Power of OCL
inferred← citeshttps://doi.org/10.1007/3-540-48257-1_16openalex-snapshot
UniForM Perspectives for Formal Methods
inferred← citeshttps://doi.org/10.1007/3-540-48483-3_14openalex-snapshot
Translating OBJ3 into CASL: The Institution Level
inferred← citeshttps://doi.org/10.1007/3-540-48483-3_15openalex-snapshot
Casl: A Guided Tour of Its Design
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-64299-4_25openalex-snapshot
From abstract data types to algebraic development techniques: A shift of paradigms
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/3-540-64299-4_42openalex-snapshot
Colimits of order-sorted specifications
inferred← citeshttps://doi.org/10.1007/3-540-64299-4_43openalex-snapshot
Static semantic analysis and theorem proving for CASL
inferred← citeshttps://doi.org/10.1007/978-3-030-38800-3_2openalex-snapshot
Logics for Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-540-32254-2_22openalex-snapshot
Towards MultiMedia Instruction in Safe and Secure Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-40007-3_9openalex-snapshot
From Formal Techniques to Well-Founded Software Development Methods
inferred← citeshttps://doi.org/10.1007/978-3-540-40020-2_14openalex-snapshot
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens
inferred← citeshttps://doi.org/10.1007/978-3-540-40020-2_21openalex-snapshot
Foundations of Heterogeneous Specification
inferred← citeshttps://doi.org/10.1007/978-3-540-40020-2_3openalex-snapshot
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint
inferred← citeshttps://doi.org/10.1007/978-3-540-44616-3_11openalex-snapshot
Guarded Algebras: Disguising Partiality so You Won’t Know Whether Its There
inferred← citeshttps://doi.org/10.1007/978-3-540-44616-3_21openalex-snapshot
Relating Abstract Datatypes and Z-Schemata
inferred← citeshttps://doi.org/10.1007/978-3-540-44616-3_7openalex-snapshot
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-44616-3_8openalex-snapshot
Subsorted Partial Higher-Order Logic as an Extension of CASL
inferred← citeshttps://doi.org/10.1007/978-3-540-74107-7_5openalex-snapshot
Casl — the Common Algebraic Specification Language
inferred← citeshttps://doi.org/10.1007/bfb0000465openalex-snapshot
Permissive subsorted partial logic in CASL
inferred← citeshttps://doi.org/10.1007/bfb0000489openalex-snapshot
The hidden function question revisited
inferred← citeshttps://doi.org/10.1007/bfb0026988openalex-snapshot
Combining and representing logical systems
inferred← citeshttps://doi.org/10.1007/bfb0036169openalex-snapshot
Proof systems for structured algebraic specifications: An overview
inferred← citeshttps://doi.org/10.1016/j.jlap.2005.09.003openalex-snapshot
A formally grounded software specification method
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00368-1openalex-snapshot
CASL: the Common Algebraic Specification Language
inferred← citeshttps://doi.org/10.1023/a:1018983515535openalex-snapshot
Pinnacles of software engineering: 25 years of formal methods
inferred← citeshttps://doi.org/10.1109/sefm.2003.1236212openalex-snapshot
Towards a well-founded UML-based development method
inferred← citeshttps://doi.org/10.1155/2000/482042openalex-snapshot
Case Study on Algebraic Software Methodologies for Scientific Computing
inferred← citeshttps://doi.org/10.17877/de290r-16056openalex-snapshot
An Approach to Algebraic Semantics of Object-Oriented Languages
inferred← citeshttps://doi.org/10.4018/978-1-4666-4623-0openalex-snapshot
Emerging Research and Trends in Interactivity and the Human-Computer Interface
inferred← citeshttps://doi.org/10.70675/f63a58cfz1780z43dfz859dz87534ff3f785openalex-snapshot
Institution-based Semantics and Tool Support for the UML
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.7146/brics.v4i49.19270openalex-snapshot
CASL for ASF+SDF Users
inferred← citeshttps://doi.org/10.7146/brics.v4i50.19271openalex-snapshot
Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP
inferred← citeshttps://doi.org/10.7146/brics.v4i51.19272openalex-snapshot
Some Lambda Calculus and Type Theory Formalized
inferred← citeshttps://doi.org/10.7146/brics.v4i52.19273openalex-snapshot
On the Finitary Characterization of pi-Congruences
inferred← citeshttps://doi.org/10.7146/brics.v4i53.19274openalex-snapshot
Online Type-Directed Partial Evaluation
inferred← citeshttps://doi.org/10.7146/brics.v5i1.19275openalex-snapshot
A Simple Solution to Type Specialization
inferred← citeshttps://doi.org/10.7146/brics.v5i3.19276openalex-snapshot
Comparison of Coding DNA
inferred← citeshttps://doi.org/10.7146/brics.v5i4.19277openalex-snapshot
Timed Bisimulation and Open Maps
inferred← citeshttps://doi.org/10.7146/brics.v5i43.19488openalex-snapshot
CASL: A Guided Tour of its Design
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.