Results 261 to 270 of about 86,663 (296)

Ultra-loose algebraic specification

Bull. EATCS, 2020
Summary: An algebraic framework is introduced for the formal specification and implementation of large families of sorts and functions. It includes flexible ways to express generation principles, to rename, to combine and to construct implementations of specifications.
Manfred Broy, Martin Wirsing
openaire   +1 more source

Algebraic specifications with generating constraints

2006
In this paper we take a new look at one of the basic principles of abstract data types. Due to this principle the domain of an abstract data type must be generated by the operations. In the initial algebraic approach as well as in the loose case with initial restrictions or data constraints this principle is satisfied because of initiality resp.
Hartmut Ehrig, Eric G. Wagner, James W. Thatcher   +2 more
openaire   +1 more source

Procedural implementation of algebraic specification

ACM Transactions on Programming Languages and Systems, 1993
An implementation of an algebraic specification in an imperative programming language consists of a representation type, together with an invariant and an equivalence relation over it, and a procedure for each operator in the specification. A formal technique is developed to check the correctness of an implementation with respect to its specification ...
openaire   +1 more source

Parameterising (algebraic) specifications on diagrams

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239), 2002
The paper presents an extension of previous work on the parameterisation of logical and algebraic specifications leading to a novel formalisation of parameterisation which is general enough to become independent of the specificities of the underlying formalism, and flexible enough to accommodate the manipulation of complex parameterised specifications ...
openaire   +1 more source

Partial algebras flow from algebraic specifications

1987
The aim of this paper is to introduce and to investigate a method for specifying algebras with partial functions, while maintaining the simpler framework of total algebras and conventional specifications. For this purpose, an ordinary algebraic specification SPEC is equipped with a subspecification BASE, and each SPEC-algebra is equipped with a BASE ...
openaire   +1 more source

An algebraic specification of a Pascal compiler

ACM SIGPLAN Notices, 1983
There is a growing interest in abstract data types as a tool for specifying semantics of programming languages and for specifying translations. This paper present the first large scale experience in this area. An algebraic semantics of Pascal, using abstract data type is given.
openaire   +1 more source

Hybrid implementations of algebraic specifications

1990
The problem of insufficient execution speed of implementations of algebraic specifications is approached by presenting a formal framework in which implementations based on term rewriting [3] can be combined transparently with implementations based on conventional programming languages.
openaire   +1 more source

Algebraic specifications for domain theory

2005
This paper deals with the algebraic specification of Scott's domains. Starting from a specification characterizing the bounded complete θ-algebraic cpo's the definition of a cpo representing this class of domains is developed. The standard domain constructions can be represented as continuous functions on this cpo using the method of algebraic ...
openaire   +1 more source

Algebraic specification of concurrency

1993
ASTESIANO, EGIDIO, REGGIO, GIANNA
openaire   +1 more source

Algebraic Specification

1993
Thomas Grünler, Micheal Breau, Rainer Weber   +2 more
openaire   +2 more sources