Journal of Logic Programming
Foundations of logic programming
Foundations of logic programming
Introduction to higher order categorical logic
Introduction to higher order categorical logic
Quasi-varieties in abstract algebraic institutions
Journal of Computer and System Sciences
Structured algebraic specifications: A kernel language
Theoretical Computer Science
Proceedings of a tutorial and workshop on Category theory and computer programming
Bits and pieces of the theory of institutions
Proceedings of a tutorial and workshop on Category theory and computer programming
Extended ML: an institution-independent framework for formal program development
Proceedings of a tutorial and workshop on Category theory and computer programming
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
Initiality, induction, and computability
Algebraic methods in semantics
Initial computability, algebraic specifications, and partial algebras
Initial computability, algebraic specifications, and partial algebras
On observational equivalence and algebraic specification
Journal of Computer and System Sciences
Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
Conceptual modelling for knowledge-based DSS development
Proc. of the NATO Advanced Study Institute on Decision support systems: theory and application
Parameterized programming in OBJ2
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Structuring theories on consequence
Lecture notes in Computer Science on Recent trends in data type specification
1st international workshop on Conditional Term Rewriting Systems
The Z notation: a reference manual
The Z notation: a reference manual
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Categorical concept of constraints for algebraic specifications
Categorical methods in computer science with aspects from topology
Foundations are rich institutions, but institutions are poor foundations
Categorical methods in computer science with aspects from topology
Development of algebraic specifications with constraints
Categorical methods in computer science with aspects from topology
Specification case studies
OBJ as a theorem prover with applications to hardware verification
Current trends in hardware verification and automated theorem proving
Parameterized programming in Lileanna
Parameterized programming in Lileanna
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
Journal of the ACM (JACM)
Data Type Specification: Parameterization and the Power of Specification Techniques
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Initially-Restricting Algebraic Theories
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Implementation of Parameterised Specifications (Extended Abstract)
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Algebraic Specifications with Generating Constraints
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Knowledgebases as Structured Theories
Proceedings of the Eighth Conference on Foundations of Software Technology and Theoretical Computer Science
Proceedings of the Proceedings of the First International Symposium on Category Theory Applied to Computation and Control
An axiomatic approach to semantics of specification languages
Proceedings of the 6th GI-Conference on Theoretical Computer Science
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Mechanizing structural induction (formal system)
Mechanizing structural induction (formal system)
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
IDL '94 Proceedings of the workshop on Interface definition languages
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Semantics study and reality of computing
ACM Computing Surveys (CSUR)
Towards semantics of self-adaptive software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A coalgebraic equational approach to specifying observational structures
Theoretical Computer Science
Automated Software Engineering
Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware
Automated Software Engineering
Logical foundations of cafeOBJ
Theoretical Computer Science - Rewriting logic and its applications
CASL: the common algebraic specification language
Theoretical Computer Science
Logical systems for structured specifications
Theoretical Computer Science
Extending Development Graphs with Hiding
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Checking Amalgamability Conditions for C ASL Architectural Specifications
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Comorphism-Based Grothendieck Logics
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Sharing Resource-Sensitive Knowledge Using Combinator Logics
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Presentations for Abstract Context Institutions
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Institution Independent Static Analysis for CASL
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Tight and Loose Semantics for Transformation Systems
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Towards Trustworthy Specifications I: Consistency Checks
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Verifying Architectural Specifications
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Combining Logics: Parchments Revisited
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Moving Specification Structures Between Logical Systems
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Modular Specification of Concurrent Systems with Observational Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
An Algebraic Framework for Separate Type-Checking
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Hierarchical Heterogeneous Specifications
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
From Specifications to Code in CASL
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Architectural Specifications in CASL
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Single Perspective on Arrows between Institutions
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Algebraic Semantics of Coordination or What Is in a Signature
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Reuse-Oriented Framework for Hierarchical Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Distance Functions for Defaults in Reactive Systems
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Applying Category Theory to Derive Engineering Software from Encoded Knowledge
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Extended Institutions for Testing
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
MIX(FL): A Kernel Language of Mixin Modules
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Behavioral Compatibility of Self-Typed Theories
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Amalgamation in CASL via Enriched Signatures
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Using Institutions for the Study of Qualitative and Quantitative Conditional Logics
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability)
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Towards a Proof-Theoretic Foundation for Actor Specification and Verification
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
An Overview of Compositional Translations
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
On the Duality between Observability and Reachability
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Heterogeneous Development Graphs and Heterogeneous Borrowing
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
The Common Framework Initiative for Algebraic Specification and Development of Software
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
The Use of Renaming in Composing General Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A Framework for Developing Embeddable Customized Logics
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Hidden Specification of a Functional System
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
A Modular Approach to the Specification and Validation of an Electrical Flight Control System
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
An Algebraic Framework for Higher-Order Modules
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Component-Based Algebraic Specification and Verification in CafeOBJ
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
A Model Theory for Generic Schema Management
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
Handbook of automated reasoning
Frameworks in Catalysis: pictorial notation and formal semantics
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Institution-independent ultraproducts
Fundamenta Informaticae
Structured theories and institutions
Theoretical Computer Science
Mathematical Structures in Computer Science
A theory of mixin modules: algebraic laws and reduction semantics
Mathematical Structures in Computer Science
Axiomatizability in inclusive equational logics
Mathematical Structures in Computer Science
Category-based constraint logic
Mathematical Structures in Computer Science
Proof-theoretic foundations for the design of actor systems
Mathematical Structures in Computer Science
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Abstract and behaviour module specifications
Mathematical Structures in Computer Science
A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science
Very abstract specifications: a formalism independent approach
Mathematical Structures in Computer Science
Interpolation in Grothendieck institutions
Theoretical Computer Science
Towards a semantic basis for Rosetta
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Composing programs in a rewriting logic for declarative programming
Theory and Practice of Logic Programming
A combined approach to checking web ontologies
Proceedings of the 13th international conference on World Wide Web
Herbrand theorems in arbitrary institutions
Information Processing Letters
Model Checking for Combined Logics with an Application to Mobile Systems
Automated Software Engineering
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
A categorical characterization for the compositional features of the # component model
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
CSP-CASL: a new integration of process algebra and algebraic specification
Theoretical Computer Science - Algebraic methods in language processing
Quantifier-free logic for nondeterministic theories
Theoretical Computer Science - Logic, language, information and computation
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
A comparison between two logical formalisms for rewriting
Theory and Practice of Logic Programming
Structures for Abstract Rewriting
Journal of Automated Reasoning
Stratified institutions and elementary homomorphisms
Information Processing Letters
Science of Computer Programming
Ultraproducts and possible worlds semantics in institutions
Theoretical Computer Science
An Institutional Theory for #-Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Observational interpretation of casl specifications
Mathematical Structures in Computer Science
A Name Abstraction Functor for Named Sets
Electronic Notes in Theoretical Computer Science (ENTCS)
Observational Refinement Process
Electronic Notes in Theoretical Computer Science (ENTCS)
A categorical study on the finiteness of specifications
Information Processing Letters
On model checking multiple hybrid views
Theoretical Computer Science
Separation of Concerns and Consistent Integration in Requirements Modelling
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
Evolving Specification Engineering
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Service Specification and Matchmaking Using Description Logic
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Property Preservation along Embedding of Biological Regulatory Networks
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Institutionalising ontology-based semantic integration
Applied Ontology
A Diagrammatic Logic for Object-Oriented Visual Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
A semantic approach to interpolation
Theoretical Computer Science
HasCasl: Integrated higher-order specification and program development
Theoretical Computer Science
C++ concepts as institutions: a specification view on concepts
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
M-solid varieties of languages
Acta Cybernetica
An Algebraic Framework for Modeling of Mobile Systems
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Algebraic specification techniques for parametric types with logic-based constraints
Proceedings of the 2009 ACM symposium on Applied Computing
Channels: From Logic to Probability
Formal Theories of Information
Formal Properties of Modularisation
Modular Ontologies
Formalizing Ontology Alignment and its Operations with Category Theory
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Conservativity in Structured Ontologies
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Using Macromodels to Manage Collections of Related Models
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
On the algebraic structure of declarative programming languages
Theoretical Computer Science
An encoding of partial algebras as total algebras
Information Processing Letters
Managing Models through Macromodeling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Formal similarities and differences among qualitative conditional semantics
International Journal of Approximate Reasoning
Representing Model Theory in a Type-Theoretical Logical Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
The VSE Refinement Method in Hets
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Inconsistency Management and View Updates
Electronic Notes in Theoretical Computer Science (ENTCS)
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Automata Games for Multiple-model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Way to Define Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Pushout: a mathematical model of architectural merger
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Design and implementation of an environment for component-based parallel programming
VECPAR'06 Proceedings of the 7th international conference on High performance computing for computational science
Using theory morphisms for implementing formal methods tools
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
A logical basis for the specification of reconfigurable component-based systems
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
The heterogeneous tool set, HETS
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Algebraic semantics of service component modules
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Reasoning support for CASL with automated theorem proving systems
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Structured CSP: a process algebra as an institution
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
A (Co)algebraic analysis of synchronization in CSP
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Toward specifications for reconfigurable component systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Structured co-spans: an algebra of interaction protocols
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
An institutional version of Gödel's completeness theorem
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
A heterogeneous approach to service-oriented systems specification
Proceedings of the 2010 ACM Symposium on Applied Computing
Towards a Functional Approach to Modular Ontologies using Institutions
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Order-sorted parameterization and induction
Semantics and algebraic specification
On the specification and verification of model transformations
Semantics and algebraic specification
Constructor-based institutions
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
An introduction to algebraic semiotics, with application to user interface design
Computation for metaphors, analogy, and agents
Monadic extensions of institutions
Fuzzy Sets and Systems
Specifying overlaps of heterogeneous models for global consistency checking
Proceedings of the First International Workshop on Model-Driven Interoperability
Symmetries, local names and dynamic (de)-allocation of names
Information and Computation
Towards managing dynamic reconfiguration of software systems in a categorical setting
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Characterizing locality (encapsulation) with bisimulation
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Fostering proof scores in CafeOBJ
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Change management for heterogeneous development graphs
Verification, induction termination analysis
Change management for heterogeneous development graphs
Verification, induction termination analysis
Representing model theory in a type-theoretical logical framework
Theoretical Computer Science
A foundational view on integration problems
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Project abstract: logic atlas and integrator (LATIN)
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Refinement trees: calculi, tools, and applications
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
UI generation for data visualisation in heterogenous environment
ISVC'11 Proceedings of the 7th international conference on Advances in visual computing - Volume Part II
Institutionalising UML 2.0 state machines
Innovations in Systems and Software Engineering
Mathematical models of object-based distributed systems
Formal modeling
Towards a system model for ensembles
Formal modeling
Parameterized metareasoning in membership equational logic
Formal modeling
Hybrid specification of reactive systems: an institutional approach
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Package merge in UML 2: practice vs. theory?
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Generic constructions for behavioral specifications
Theoretical Computer Science
A semantic approach to interpolation
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Software services: scientific challenge or industrial hype?
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
An algebraic approach for codesign
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
An institution theory of formal meta-modelling in graphically extended BNF
Frontiers of Computer Science in China
Three semantics for distributed systems and their relations with alignment composition
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
rCOS: theory and tool for component-based model driven development
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
First-order logic with dependent types
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Interpolation for predefined types
Mathematical Structures in Computer Science
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Ontologies for the semantic web in CASL
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Theoroidal maps as algebraic simulations
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Behavioural semantics of algebraic specifications in arbitrary logical systems
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
A simple refinement language for CASL
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Architectural specifications for reactive systems
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
A categorical approach to simulations
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Property preserving redesign of specifications
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Externalized and internalized notions of behavioral refinement
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A meta-ontological architecture for foundational ontologies
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Geospatial semantics: why, of what, and how?
Journal on Data Semantics III
The relationship of the logic of big-stepped probabilities to standard probabilistic logics
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Looking at probabilistic conditionals from an institutional point of view
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
The tensor product as a lattice of regular galois connections
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
An axiomatic approach to structuring specifications
Theoretical Computer Science
Lambda expressions in casl architectural specifications
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
A proof theoretic interpretation of model theoretic hiding
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Towards logical frameworks in the heterogeneous tool set hets
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
An institution for graph transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Compositional modelling and reasoning in an institution for processes and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Formal development of correct classes in computational logic
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Relating modal refinements, covariant-contravariant simulations and partial bisimulations
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Intermodeling, queries, and kleisli categories
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Language independent refinement using partial modeling
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
A formal abstract framework for modelling and testing complex software systems
Theoretical Computer Science
Encapsulating deontic and branching time specifications
Theoretical Computer Science
Institutionalising ontology-based semantic integration
Applied Ontology
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Institution-independent Ultraproducts
Fundamenta Informaticae
GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS
Fundamenta Informaticae
Parameters And Parametrization In Specification, Using Distributive Categories
Fundamenta Informaticae
Principles of proof scores in CafeOBJ
Theoretical Computer Science
Semantical investigations into nonmonotonic and probabilistic logics
Annals of Mathematics and Artificial Intelligence
Model checking propositional deontic temporal logic via a μ-calculus characterization
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Towards an institution for Object-Z specifications
International Journal of Computer Applications in Technology
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence
Information and Computation
An interface theory for service-oriented design
Theoretical Computer Science
Comorphisms of structured institutions
Information Processing Letters
Systems analysis of life cycle of large-scale information-control systems
Automation and Remote Control
Parameterisation for abstract structured specifications
Theoretical Computer Science
Răzvan Diaconescu, Institution-independent Model Theory
Studia Logica
Taming distributed system complexity through formal patterns
Science of Computer Programming
Hi-index | 0.02 |
There is a population explosion among the logical systems used in computing science. Examples include first-order logic, equational logic, Horn-clause logic, higher-order logic, infinitary logic, dynamic logic, intuitionistic logic, order-sorted logic, and temporal logic; moreover, there is a tendency for each theorem prover to have its own idiosyncratic logical system. The concept of institution is introduced to formalize the informal notion of “logical system.” The major requirement is that there is a satisfaction relation between models and sentences that is consistent under change of notation. Institutions enable abstracting away from syntactic and semantic detail when working on language structure “in-the-large”; for example, we can define language features for building large logical system. This applies to both specification languages and programming languages. Institutions also have applications to such areas as database theory and the semantics of artificial and natural languages. A first main result of this paper says that any institution such that signatures (which define notation) can be glued together, also allows gluing together theories (which are just collections of sentences over a fixed signature). A second main result considers when theory structuring is preserved by institution morphisms. A third main result gives conditions under which it is sound to use a theorem prover for one institution on theories from another. A fourth main result shows how to extend institutions so that their theories may include, in addition to the original sentences, various kinds of constraint that are useful for defining abstract data types, including both “data” and “hierarchy” constraints. Further results show how to define institutions that allow sentences and constraints from two or more institutions. All our general results apply to such “duplex” and “multiplex” institutions.