On the Power of Quantifiers in First-Order Algebraic Specification

1999 ◽  
pp. 45-57
Author(s):  
David Kempe ◽  
Arno Schönegge
Keyword(s):  
Algebraic Specification ◽  
First Order ◽  
Order Algebraic

scholarly journals CASL: A Guided Tour of its Design

1998 ◽  
Vol 5 (43) ◽  
Author(s):  
Peter D. Mosses
Keyword(s):  
Modular Design ◽  
Expressive Language ◽  
Order Logic ◽  
Algebraic Specification ◽  
Partial Functions ◽  
First Order ◽  
Common Framework ◽  
Verification Tools ◽  
Guided Tour ◽  
Selection Of

Casl is an expressive language for the specification of functional<br />requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic, and structured and architectural<br />specifications. Casl should facilitate interoperability of many existing algebraic prototyping and verification tools.<br /> This guided tour of the Casl design is based closely on a 1/2-day tutorial held at ETAPS'98 (corresponding slides are available from the CoFI archives). The major issues that had to be resolved in the design process are indicated, and all the main concepts and constructs of Casl are briefly explained and illustrated - the reader is referred to the Casl Language Summary for further details. Some familiarity with the fundamental concepts of algebraic specification would be advantageous.

scholarly journals The motions of algebraic differential equations

1984 ◽  
Vol 25 (1) ◽  
pp. 93-96
Author(s):  
Lee A. Rubel
Keyword(s):  
Differential Equations ◽  
Higher Order ◽  
Algebraic Differential Equations ◽  
First Order ◽  
Order Algebraic ◽  
Independent Variable

We confine ourselves, for simplicity, to first-order algebraic differential equations (ADE's), although analogous considerations may be made for higher-order ADE's:P(x, y(x), y'(x)) = 0. (*)A motion of (*) is a change of independent variable that takes solutions to solutions, that is, a suitable map <p of the underlying interval I into itself so that if y is a solution of (*) then y ° φ is a solution of (*), i.e.

Sign in / Sign up

Export Citation Format

Share Document