On the public citation graph
From abstract data types to logical frameworks
0 signed · 131 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-06859-7_148openalex-snapshot
Towards a theory of type structure
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-15648-8_20openalex-snapshot
Equational logic as a programming language: Abstract
inferredcites →https://doi.org/10.1007/3-540-17162-2_131openalex-snapshot
A study in the foundations of programming methodology: Specifications, institutions, charters and parchments
inferredcites →https://doi.org/10.1007/3-540-17162-2_132openalex-snapshot
Bits and pieces of the theory of institutions
inferredcites →https://doi.org/10.1007/3-540-19488-6_123openalex-snapshot
Operational semantics of OBJ-3
inferredcites →https://doi.org/10.1007/3-540-47910-4_13openalex-snapshot
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
inferredcites →https://doi.org/10.1007/3-540-50325-0_3openalex-snapshot
Structuring theories on consequence
inferredcites →https://doi.org/10.1007/3-540-50667-5_58openalex-snapshot
Logic programming with polymorphically order-sorted types
inferredcites →https://doi.org/10.1007/3-540-51722-7_6openalex-snapshot
Foundations are rich institutions, but institutions are poor foundations
inferredcites →https://doi.org/10.1007/3-540-52885-7_90openalex-snapshot
Encoding a dependent-type λ-calculus in a logic programming language
inferredcites →https://doi.org/10.1007/3-540-53162-9_32openalex-snapshot
Higher-order order-sorted algebras
inferredcites →https://doi.org/10.1007/3-540-54317-1_111openalex-snapshot
Constrained equational deduction
inferredcites →https://doi.org/10.1007/3-540-54345-7_50openalex-snapshot
Partial higher-order specifications
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_37openalex-snapshot
Relationships between logical frameworks
inferredcites →https://doi.org/10.1007/3-540-56379-2_39openalex-snapshot
How to specify non determinism and true concurrency with algebraic term nets
inferredcites →https://doi.org/10.1007/3-540-56379-2_41openalex-snapshot
New concepts of amalgamation and extension for a general theory of specifications
inferredcites →https://doi.org/10.1007/3-540-56379-2_47openalex-snapshot
A soft stairway to institutions
inferredcites →https://doi.org/10.1007/3-540-56868-9_3openalex-snapshot
Bi-rewriting, a term rewriting technique for monotonic order relations
inferredcites →https://doi.org/10.1007/3-540-57867-6_1openalex-snapshot
Towards an algebraic semantics for the object paradigm
inferredcites →https://doi.org/10.1007/3-540-57867-6_10openalex-snapshot
Translating TROLL light concepts to Maude
inferredcites →https://doi.org/10.1007/3-540-58184-7_138openalex-snapshot
Rewriting: An effective model of concurrency
inferredcites →https://doi.org/10.1007/3-540-58184-7_88openalex-snapshot
Compiling rewriting onto SIMD and MIMD/SIMD machines
inferredcites →https://doi.org/10.1007/3-540-59200-8_59openalex-snapshot
Relating two categorical models of term rewriting
inferredcites →https://doi.org/10.1007/3-540-59200-8_79openalex-snapshot
Prototyping completion with constraints using computational systems
inferredcites →https://doi.org/10.1007/978-1-4471-3227-1_28openalex-snapshot
Semantics frameworks for a class of modular algebraic nets
inferredcites →https://doi.org/10.1007/978-1-4471-3503-6_10openalex-snapshot
Generalising Interpretations Between Theories in the Context of (π-)institutions
inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot
Categories for the Working Mathematician
inferredcites →https://doi.org/10.1007/978-1-4899-0021-0openalex-snapshot
Toposes, Triples and Theories
inferredcites →https://doi.org/10.1007/978-3-0346-0145-0_26openalex-snapshot
Introducing Institutions
inferredcites →https://doi.org/10.1007/978-3-0346-0145-0_30openalex-snapshot
Fibred Semantics and the Weaving of Logics
inferredcites →https://doi.org/10.1007/978-3-642-69962-7openalex-snapshot
Fundamentals of Algebraic Specification 1
inferredcites →https://doi.org/10.1007/978-94-017-0464-9_1openalex-snapshot
Rewriting Logic as a Logical and Semantic Framework
inferredcites →https://doi.org/10.1007/bf00245294openalex-snapshot
Using typed lambda calculus to implement formal systems on a machine
inferredcites →https://doi.org/10.1007/bf00248324openalex-snapshot
The foundation of a generic theorem prover
inferredcites →https://doi.org/10.1007/bf00283329openalex-snapshot
Toward formal development of programs from algebraic specifications: Implementations revisited
inferredcites →https://doi.org/10.1007/bfb0013837openalex-snapshot
Axiomatizing permutation equivalence in the λ-calculus
inferredcites →https://doi.org/10.1007/bfb0014447openalex-snapshot
What is an Abstract Data Type, after all?
inferredcites →https://doi.org/10.1007/bfb0014969openalex-snapshot
Models and equality for logical programming
inferredcites →https://doi.org/10.1007/bfb0015747openalex-snapshot
Operational semantics for order-sorted algebra
inferredcites →https://doi.org/10.1007/bfb0018512openalex-snapshot
Algebraic system specification and development
inferredcites →https://doi.org/10.1007/bfb0030336openalex-snapshot
Free constructions in algebraic institutions
inferredcites →https://doi.org/10.1007/bfb0039072openalex-snapshot
Rewriting as a unified model of concurrency
inferredcites →https://doi.org/10.1016/0003-4843(74)90016-3openalex-snapshot
Axioms for abstract model theory
inferredcites →https://doi.org/10.1016/0022-0000(86)90057-7openalex-snapshot
Quasi-varieties in abstract algebraic institutions
inferredcites →https://doi.org/10.1016/0022-0000(90)90013-bopenalex-snapshot
Parametrization for order-sorted algebraic specification
inferredcites →https://doi.org/10.1016/0168-0072(86)90053-9openalex-snapshot
Generalised algebraic theories and contextual categories
inferredcites →https://doi.org/10.1016/0168-0072(94)90009-4openalex-snapshot
Structured theory presentations and logic representations
inferredcites →https://doi.org/10.1016/0304-3975(85)90094-5openalex-snapshot
On the existence of free models in abstract algebraic institutions
inferredcites →https://doi.org/10.1016/0304-3975(91)90085-gopenalex-snapshot
Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories
inferredcites →https://doi.org/10.1016/0304-3975(92)90182-fopenalex-snapshot
Conditional rewriting logic as a unified model of concurrency
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/0304-3975(92)90310-copenalex-snapshot
Universal algebra in higher types
inferredcites →https://doi.org/10.1016/0304-3975(95)00246-5openalex-snapshot
Free objects and equational deduction for partial conditional specifications
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.1016/0890-5401(92)90024-aopenalex-snapshot
Categorical models of polymorphism
inferredcites →https://doi.org/10.1016/b978-0-12-046371-8.50016-xopenalex-snapshot
Order-Sorted Equational Computation
inferredcites →https://doi.org/10.1016/s0019-9958(86)80027-4openalex-snapshot
On specifications, theories, and models with higher types
inferredcites →https://doi.org/10.1016/s0049-237x(08)70270-2openalex-snapshot
Finitary inductively presented logics
inferredcites →https://doi.org/10.1016/s0049-237x(08)71945-1openalex-snapshot
An Intuitionistic Theory of Types: Predicative Part
inferredcites →https://doi.org/10.1016/s0049-237x(09)70189-2openalex-snapshot
Constructive Mathematics and Computer Programming
inferredcites →https://doi.org/10.1016/s0304-3975(96)00160-0openalex-snapshot
May I borrow your logic? (Transporting logical structures along maps)
inferredcites →https://doi.org/10.1017/s0305004100061284openalex-snapshot
Locally cartesian closed categories and type theory
inferredcites →https://doi.org/10.1017/s0960129500000694openalex-snapshot
An approach to object semantics based on terminal co-algebras
inferredcites →https://doi.org/10.1017/s0960129500000980openalex-snapshot
Axiomatizing permutation equivalence
inferredcites →https://doi.org/10.1017/s0960129500001067openalex-snapshot
Mirror, mirror in my hand: a duality between specifications and models of process behaviour
inferredcites →https://doi.org/10.1073/pnas.50.5.869openalex-snapshot
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
inferredcites →https://doi.org/10.1090/dimacs/018/20openalex-snapshot
Specification, transformation, and programming of concurrent systems in rewriting logic
inferredcites →https://doi.org/10.1093/oso/9780198538592.003.0014openalex-snapshot
General Logics and Logical Frameworks
inferredcites →https://doi.org/10.1098/rsta.1992.0026openalex-snapshot
2OBJ: a metalogical framework theroem prover based on equational logic
inferredcites →https://doi.org/10.1109/lics.1988.5125openalex-snapshot
A categorical semantics of constructions
inferredcites →https://doi.org/10.1109/lics.1989.39177openalex-snapshot
Structure and representation in LF
inferredcites →https://doi.org/10.1109/lics.1989.39186openalex-snapshot
Elf: a language for logic definition and verified metaprogramming
inferredcites →https://doi.org/10.1145/127056.127091openalex-snapshot
Rewriting as a unified model of concurrency
inferredcites →https://doi.org/10.1145/138027.138060openalex-snapshot
A framework for defining logics
inferredcites →https://doi.org/10.1145/147508.147524openalex-snapshot
Institutions: abstract model theory for specification and programming
inferredcites →https://doi.org/10.1145/170035.170057openalex-snapshot
A logical semantics for object-oriented databases
inferredcites →https://doi.org/10.1515/9781400882007openalex-snapshot
Theory of Formal Systems. (AM-47)
inferredcites →https://doi.org/10.1515/9783112573426openalex-snapshot
Initial Computability, Algebraic Specifications, and Partial Algebras
inferredcites →https://doi.org/10.2307/2273831openalex-snapshot
Categorical semantics for higher order polymorphic lambda calculus
inferredcites →https://doi.org/10.2307/2274784openalex-snapshot
Introduction to Higher Order Categorical Logic.
inferredcites →https://doi.org/10.3233/fi-1992-16203openalex-snapshot
Partial Higher-Order Specifications1
inferredcites →https://doi.org/10.7551/mitpress/2087.003.0017openalex-snapshot
A Logical Theory of Concurrent Objects and Its Realization in the Maude Language
inferredcites →https://doi.org/10.7551/mitpress/2319.001.0001openalex-snapshot
The Definition of Standard ML
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-49253-4_34openalex-snapshot
A Single Perspective on Arrows between Institutions
inferred← citeshttps://doi.org/10.1007/3-540-64299-4_41openalex-snapshot
A systematic study of mappings between institutions
inferred← citeshttps://doi.org/10.1007/978-3-319-23165-5_1openalex-snapshot
José Meseguer: Scientist and Friend Extraordinaire
inferred← citeshttps://doi.org/10.1007/978-3-319-23165-5_17openalex-snapshot
Modularity of Ontologies in an Arbitrary Institution
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-45236-2_21openalex-snapshot
Certifying and Synthesizing Membership Equational Proofs
inferred← citeshttps://doi.org/10.1007/978-3-642-16310-4_2openalex-snapshot
Twenty Years of Rewriting Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-31485-8openalex-snapshot
Lectures on Logic and Computation
inferred← citeshttps://doi.org/10.1007/978-3-642-31485-8_1openalex-snapshot
Proof Complexity of Non-classical Logics
inferred← citeshttps://doi.org/10.1007/bfb0014423openalex-snapshot
Algebraic specification languages: An overview
inferred← citeshttps://doi.org/10.1007/bfb0014438openalex-snapshot
An object-oriented airport: Specification and refinement in Maude
inferred← citeshttps://doi.org/10.1007/bfb0014447openalex-snapshot
What is an Abstract Data Type, after all?
inferred← citeshttps://doi.org/10.1007/s11787-010-0020-3openalex-snapshot
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design
inferred← citeshttps://doi.org/10.1016/j.jlamp.2025.101048openalex-snapshot
A rewriting logic semantics for the analysis of P programs
inferred← citeshttps://doi.org/10.1016/j.jlap.2012.06.003openalex-snapshot
Twenty years of rewriting logic
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00357-7openalex-snapshot
Rewriting logic: roadmap and bibliography
inferred← citeshttps://doi.org/10.1016/s0304-3975(03)00312-8openalex-snapshot
Structured theories and institutions
inferred← citeshttps://doi.org/10.1023/a:1020581029371openalex-snapshot
A Natural Semantic Framework for ECATNets
inferred← citeshttps://doi.org/10.1109/aiccsa.2001.934020openalex-snapshot
Object based software engineering with hidden sorted ECATNets and hidden labeled rewriting logic
inferred← citeshttps://doi.org/10.1109/aiccsa.2006.205061openalex-snapshot
A Contribution to the Formal Checking of Multi-Agents Systems
inferred← citeshttps://doi.org/10.1109/eurmic.1996.546474openalex-snapshot
Formal specification of communication protocols with object-based ECATNets
inferred← citeshttps://doi.org/10.21236/ada300868openalex-snapshot
Object-Oriented Design and Specification.
inferred← citeshttps://doi.org/10.3233/fun-2005-681-205openalex-snapshot
The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving
inferred← citeshttps://doi.org/10.7146/dpb.v33i571.7128openalex-snapshot
Third Workshop on Modelling of Objects, Components, and Agents
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.