Press "Enter" to skip to content

Michel Bidoit, Peter D. Mosses's CASL User Manual: Introduction to Using the Common Algebraic PDF

By Michel Bidoit, Peter D. Mosses

ISBN-10: 354020766X

ISBN-13: 9783540207665

CASL, the typical Algebraic Specification Language, was once designed by means of the contributors of CoFI, the typical Framework Initiative for algebraic specification and improvement, and is a general-purpose language for sensible use in software program improvement for specifying either necessities and layout. CASL is already considered as a de facto commonplace, and diverse sublanguages and extensions can be found for particular projects.

This ebook illustrates and discusses the right way to write CASL standards. The authors first describe the origins, goals and scope of CoFI, and evaluate the most thoughts of algebraic specification languages. the most a part of the ebook explains CASL necessities, with chapters on free, generated and unfastened requisites, partial capabilities, sub- and supersorts, structuring necessities, genericity and reusability, architectural standards, and model keep an eye on. the ultimate chapters care for instrument aid and libraries, and current a pragmatic case research regarding the traditional benchmark for evaluating specification frameworks. The e-book is geared toward software program researchers and execs, and follows an instructional variety with highlighted issues, illustrative examples, and an entire specification and library index.

A separate, complementary LNCS quantity includes the CASL Reference Manual.

Show description

Read or Download CASL User Manual: Introduction to Using the Common Algebraic Specification Language PDF

Similar compilers books

Download e-book for kindle: Case-Based Reasoning Research and Development: 8th by Lorraine McGinty, David C. Wilson

This booklet constitutes the refereed lawsuits of the eighth overseas convention on Case-Based Reasoning, ICCBR 2009, held in Seattle, WA, united states, in July 2009. The 17 revised complete papers and 17 revised poster papers offered including 2 invited talks have been rigorously reviewed and chosen from fifty five submissions.

Donald E. Thomas, Philip R. Moorby's The Verilog® Hardware Description Language PDF

Xv From the previous to the recent xvii Acknowledgments xxi 1 Verilog – an academic advent 1 Getting begun 2 A Structural Description 2 Simulating the binaryToESeg motive force four developing Ports For the Module 7 making a Testbench For a Module eight eleven Behavioral Modeling of Combinational Circuits Procedural types 12 principles for Synthesizing Combinational Circuits thirteen 14 Procedural Modeling of Clocked Sequential Circuits Modeling Finite nation Machines 15 ideas for Synthesizing Sequential platforms 18 Non-Blocking project ("

The Art of Lisp Programming - download pdf or read online

Many folks have already got at the very least a passing acquaintance with procedural languages resembling uncomplicated or Pascal, yet won't have met a sensible language like Lisp earlier than. utilizing a similar relaxing and occasionally quirky kind that they hired so effectively in "The paintings of C-Programming", Robin Jones and his crew clarify the basics of Lisp in a fashion that scholars from college to postgraduates will locate lucid and stimulating.

Download e-book for iPad: Languages and Compilers for Parallel Computing: 29th by Chen Ding, John Criswell, Peng Wu

This ebook constitutes the completely refereed post-conference court cases of the twenty ninth foreign Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, manhattan, united states, in September 2016. The 20 revised complete papers provided including four brief papers have been rigorously reviewed.

Extra info for CASL User Manual: Introduction to Using the Common Algebraic Specification Language

Example text

Note again that this %implies part heavily relies on the ‘same name, same meaning’ principle. 36 3 Getting Started Generated types may need to be declared together. The following specification fragment illustrates what may go wrong. sort Node generated type Tree ::= mktree(Node; Forest ) generated type Forest ::= empty | add (Tree; Forest ) The above is incorrect, due to the linear visibility rule. This can easily be fixed by replacing ‘sort Node’ by ‘sorts Node, Tree, Forest ’. Even when corrected, the above is wrong, since the corresponding semantics is not what a naive reader may expect.

The above Strict Partial Order specification is loose in the sense that it has many (non-isomorphic) models, among which models where ‘<’ is interpreted by a total ordering relation and models where it is interpreted by a partial one. Specifications can easily be extended by new declarations and axioms. spec Total Order = Strict Partial Order then ∀x , y : Elem • x < y ∨ y < x ∨ x = y end %(total)% Extensions, introduced by the keyword ‘then’, may specify new symbols, possibly constrained by some axioms, or merely require further properties of old ones, as in the above Total Order example, or more generally do both at the same time.

Therefore, to avoid such undesirable consequences of undefinedness, it is advisable to use existential equations instead of strong equations in the premises of conditional equations involving partial operations. An alternative is to add the relevant definedness assertions explicitly to the equations in the premises. 5 Subsorting Subsorts and supersorts are often useful in CASL specifications. Many examples naturally involve subsorts and supersorts. CASL provides means for the declaration of a sort as a subsort of another one when the values of the subsort are regarded a special case of those in the other sort.

Download PDF sample

CASL User Manual: Introduction to Using the Common Algebraic Specification Language by Michel Bidoit, Peter D. Mosses


by Donald
4.0

Rated 4.30 of 5 – based on 12 votes