Testing Java implementations of algebraic specifications by Isabel Nunes, Filipe Luís

Get full text

Fundamentals of algebraic specification 1 : Equations and initial semantics / by 445928 Ehrig, H., Mahr, B.

Algebraic Specification and Proof of a Distributed Recovery Algorithm by Jifeng, H, Hoare, C

Algebraic Specification and Proof of Properties of a Mail Service by Hoare, C, He, J

Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers by Jan A. Bergstra

Subjects: “…algebraic specification…”
Get full text

Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications by Srivas, Mandayam K.

“…Algebraic specifications have been used extensively to prove properties of abstract data types and to establish the correctness of implementations of data types. …”
Get full text

Logics of Statements in Context-Category Independent Basics by Uwe Wolter

Subjects: Get full text

Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method by Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata

Subjects: “…Algebraic specification language…”
Get full text

A partial evaluation methodology for optimizing rewrite theories incrementally by María Alpuente, Demis Ballis, Santiago Escobar, Daniel Galán Pascual, Julia Sapiña

Subjects: Get full text

Algebras for combinatorial search by Spivey, J

“…This specification is placed in a categorical setting that combines algebraic specifications and monads. © 2009 Copyright Cambridge University Press.…”

Kernels, in a nutshell by Gibbons, J

“… <p style="text-align:justify;">A classical result in algebraic specification states that a total function defined on an initial algebra is a homomorphism if and only if the kernel of that function is a congruence. …”

Theoretical Pearl: Church numerals‚ twice! by Hinze, R

“…The second explanation, which is more elaborate, but also more insightful, derives Church numerals from first principles, that is, from an algebraic specification of addition and multiplication. Additionally, we illustrate the use of the parametricity theorem by proving exponentiation as reverse application correct.…”

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda by Jean-Philippe Bernardy, Patrik Jansson

“…In this paper, we present an algebraic specification, implementation, and proof of correctness of a generalisation of Valiant's algorithm. …”
Get full text

Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects by Yonezawa, Akinori, Hewitt, Carl

“…Relations between algebraic specifications and specifications based on conceptual representations are discussed and limitations of the current algebraic specification techniques are pointed out. …”
Get full text

Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models by Suzana Andova, Mark van den Brand, Luc Engelen

“…The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.…”
Get full text

LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics by Jorge Cortés Galicia, Felipe M. Menchaca García, Rolando Menchaca Méndez

“…This semantics is also described in this paper and it is called Analysis and Design of Distributed Systems (ADSD). ADSD is an algebraic specification with operational semantics defined to be used with LeGESD. …”
Get full text

Matching Logic by Grigore Rosu

“…Matching logic uniformly generalizes several logical frameworks important for program analysis, such as: propositional logic, algebraic specification, FOL with equality, modal logic, and separation logic. …”
Get full text

Algebra of systems: A metalanguage for model synthesis and evaluation by Koo, Benjamin H. Y., Simmons, Willard L., Crawley, Edward F.

“…To show that AoS can automate complex model reasoning tasks in system design projects, we implemented the abstract algebraic specification as an executable metalanguage named object-process network, which serves as a tool for automatic model transformation, enumeration, and evaluation. …”
Get full text

Algebra of systems: A metalanguage for model synthesis and evaluation by Koo, Benjamin H. Y., Simmons, Willard L., Crawley, Edward F.

“…To show that AoS can automate complex model reasoning tasks in system design projects, we implemented the abstract algebraic specification as an executable metalanguage named object-process network, which serves as a tool for automatic model transformation, enumeration, and evaluation. …”
Get full text

Dynamic Programming on Nominal Graphs by Nicklas Hoch, Ugo Montanari, Matteo Sammartino

“…In this paper we introduce a simple algebraic specification with parallel composition and restriction whose terms up to structural axioms are the graphs mentioned above. …”
Get full text