scientific article
From MaRDI portal
Publication:3795207
zbMath0649.68028MaRDI QIDQ3795207
Claude Kirchner, Hélène Kirchner, José Meseguer
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsorder-sorted algebrasequational order-sorted rewritinglogical programming language OBJ
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Equational logic, Mal'tsev conditions (08B05)
Related Items
A complete semantics of \(\mathbb{K}\) and its translation to Isabelle, Completeness and confluence of order-sorted term rewriting, Conditional rewriting logic: Deduction, models and concurrency, Another look at parameterization for oder-sorted algebraic specifications, Inductive proofs by specification transformations, Order-Sorted Parameterization and Induction, José Meseguer: Scientist and Friend Extraordinaire, Weak Bisimulation as a Congruence in MSOS, Proving and rewriting, On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories, Equational completion in order-sorted algebras, Order-sorted completion: The many-sorted way, Specification and proof in membership equational logic, Semantics of order-sorted specifications, Conditional rewriting logic as a unified model of concurrency, R n - and G n -logics, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, Strict coherence of conditional rewriting modulo axioms, Operational Termination of Membership Equational Programs: the Order-Sorted Way, Order-sorted unification, Completion of rewrite systems with membership constraints, Order-Sorted Rewriting and Congruence Closure, Schematization of infinite sets of rewrite rules generated by divergent completion processes, Termination Modulo Combinations of Equational Theories, Formalizing mathematics in higher-order logic: A case study in geometric modelling