Semantics and Algebraic SpecificationSemantics and Algebraic Specification



proceedings of the symposium. Somecontributorswereunabletoattendthe event.

Author: Jens Palsberg

Publisher: Springer Science & Business Media

ISBN: 9783642041631

Category:

Page: 409

View: 863

PeterMosses, renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks, turned 60 years old on November 3, 2008. To honor this event, many of Peter's coauthors, collaborators, close colleagues, and former students gathered in Udine, Italy on September 10, 2009 for a s- posium in his honor. The presentations were on subjects related to Peter's many technicalcontributionsand they were a tribute to his lasting impact onthe ?eld. Here is the program of the symposium: - Opening: Jens Palsberg - Session 1: (Chair: Jos ́ e Luiz Fiadeiro) - David Watt, Action Semantics in Retrospect - H ́ el` eneKirchner, Component-BasedSecurityPolicyDesignwithColored Petri Nets - Jos ́ e Meseguer, Order-Sorted Parameterization and Induction - Session 2: (Chair: Andrzej Tarlecki) - Martin Musicante, An implementation of Object-Oriented Action Semantics in Maude - ChristianoBraga, AConstructiveSemanticsforBasicAspectConstructs - Bartek Klin, Structural Operational Semantics for Weighted Transition Systems - Session 3: - Fernando Orejas, On the Speci?cation and Veri?cation of Model Tra- formations - Olivier Danvy, Towards Compatible and Interderivable Semantic Spe- ?cations for the Scheme Programming Language - Mark van den Brand, Type Checking Evolving Languages with MSOS - Edward Hermann Haeusler, Action Algebras and Model Algebrasin - notational Semantics - Closing: Peter Mosses ManythankstoMarinaLenisafromthe UniversityofUdine whocoordinated the local arrangements. We also thank the Amga spa and the Net spa of Udine, the Municipality of Udine, the International Centre for Mechanical Sciences of Udine, and the Fondazione Crup for their ?nancial support. The 17 invited chapters of this Festschrift represent the proceedings of the symposium. Somecontributorswereunabletoattendthe event.

Fundamentals of Algebraic Specification 1Fundamentals of Algebraic Specification 1



The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to ...

Author: Hartmut Ehrig

Publisher: Springer

ISBN: 3642699642

Category:

Page: 321

View: 889

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.

Fundamentals of Algebraic Specification 1Fundamentals of Algebraic Specification 1



The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to ...

Author: Hartmut Ehrig

Publisher: Springer

ISBN: 3540137181

Category:

Page: 321

View: 872

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.

Fundamentals of Algebraic Specification 2Fundamentals of Algebraic Specification 2



We understand fundamentals in this context as: 1. Fundamentals in the sense of a carefully motivated introduction to algebraic specification, which is understandable for computer scientists and mathematicians. 2.

Author: Hartmut Ehrig

Publisher: Springer Science & Business Media

ISBN: 3540517995

Category:

Page: 429

View: 646

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in the theory of data type specification, but meanwhile have had a remarkable influence on programming language design, system architectures, arid software tools and environments. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of computer science where algebraic techniques are the subject or are used with advantage on a conceptual level. Such a basis, however, we do not regard to be a synopsis of all the different approaches and achievements but rather a consistently developed theory. Such a theory should mainly emphasize elaboration of basic concepts from one point of view and, in a rigorous way, reach the state of the art in the field. We understand fundamentals in this context as: 1. Fundamentals in the sense of a carefully motivated introduction to algebraic specification, which is understandable for computer scientists and mathematicians. 2. Fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs. 3. Fundamentals in the sense of concepts from computer science, which are introduced on a conceptual level and formalized in mathematical terms.

An Algebraic Specification for the Static Semantics of PascalAn Algebraic Specification for the Static Semantics of Pascal



In this document we discuss an algebraic specification we have made for the complete static semantics of Pascal as defined by the International Standardization Organization (ISO).

Author: A. van Deursen

Publisher:

ISBN: OCLC:35508806

Category:

Page: 93

View: 229

Abstract: "Over the last few years, several formal specifications for the static semantics of Pascal have been given. Thus far, however, no algebraic specification has been published. In this document we discuss an algebraic specification we have made for the complete static semantics of Pascal as defined by the International Standardization Organization (ISO). We explain how the specification has been set up, and how several details have been dealt with in a convenient way. Finally, we relate the specification to algebraic specifications for other aspects of (other) programming languages, and we briefly compare the algebraic approach with the other formal specifications of Pascal."

Software Engineering with OBJSoftware Engineering with OBJ



Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system.

Author: Joseph A. Goguen

Publisher: Springer Science & Business Media

ISBN: 9781475765410

Category:

Page: 410

View: 420

Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties. As well as providing a detailed introduction to the language and the OBJ system that implements it, Software Engineering with OBJ: Algebraic Specification in Action provides case studies by leading practitioners in the field, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a wide variety of ways to achieve a wide variety of practical aims in the system development process. The papers on various OBJ systems also demonstrate that the language is relatively easy to understand, implement, and use, and that it supports formal reasoning in a straightforward but powerful way. Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering.

Formal Specification LanguagesFormal Specification Languages



Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online.

Author: Source Wikipedia

Publisher: University-Press.org

ISBN: 1230569944

Category:

Page: 100

View: 384

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 48. Chapters: Abstract machine notation, Action semantics, Algebraic semantics (computer science), Alloy (specification language), Assertion definition language, Axiomatic semantics, B-Method, Behavior of coupled DEVS, Behavior of DEVS, BHDL, Common Algebraic Specification Language, Construction and Analysis of Distributed Processes, CoreASM, Denotational semantics, Duration calculus, Eiffel (programming language), ESC/Java, Event segment, Extended ML, Formal specification, Java Modeling Language, Language Of Temporal Ordering Specification, Larch family, LePUS3, Maude system, Message sequence chart, Meta-IV (specification language), OBJ3, Object Constraint Language, OBJ (programming language), Operational semantics, Perfect Developer, Petri net, PowerDEVS, Predicative programming, Property Specification Language, Prototype Verification System, RAISE, Refinement calculus, Rodin tool, Rosetta-lang, Sing Sharp, SPARK (programming language), Specification and Description Language, Spec Sharp, Timed event system, TNSDL, Universal Systems Language, Vienna Development Method, Wright (ADL).

Algebraic Specification Techniques And Tools For Software Development The Act ApproachAlgebraic Specification Techniques And Tools For Software Development The Act Approach



The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability.

Author: Claben Ingo

Publisher: World Scientific Publishing Company

ISBN: 9789813104556

Category:

Page: 256

View: 483

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.

Recursive Algebraic Specifications and Their SemanticsRecursive Algebraic Specifications and Their Semantics



Abstract: "This paper introduces an algebraic specification language in which the specification units may be recursively defined by means of so-called algebraic domain equations.

Author: Anne Elisabeth Haxthausen

Publisher:

ISBN: OCLC:22197621

Category:

Page: 12

View: 942

Abstract: "This paper introduces an algebraic specification language in which the specification units may be recursively defined by means of so-called algebraic domain equations. The underlying theory which makes it possible to give semantics to the language is presented."

Initial Computability Algebraic Specifications and Partial AlgebrasInitial Computability Algebraic Specifications and Partial Algebras



One of the first detailed expositions of partial algebras, this book develops a special theory of partial algebras as a powerful foundation of a model theoretic, initial semantics of algebraic specification languages.

Author: Horst Reichel

Publisher: Oxford University Press, USA

ISBN: UCAL:B4344284

Category:

Page: 221

View: 704

One of the first detailed expositions of partial algebras, this book develops a special theory of partial algebras as a powerful foundation of a model theoretic, initial semantics of algebraic specification languages. Professor Reichel explores the possibility of increasing the use of partial algebras, particularly in computer science. He presents examples of algebraic specifications of increasing complexity and proves that structural induction can yield a complete calculus of abstract programs on parameterized abstract data types. Finally, he extends the model-theoretic initial semantics of abstract data types with partial operations to behavioral semantics.

Nondeterminism in Algebraic Specifications and Algebraic ProgramsNondeterminism in Algebraic Specifications and Algebraic Programs



The work of Heinrich Hussmann is an excellent contribution to Algebraic Programming; it gives a framework that admits a direct approach to program verification, is suitable for describing concurrent and distributed processes, and it can be ...

Author: Hussmann

Publisher: Springer Science & Business Media

ISBN: 9781468468342

Category:

Page: 254

View: 731

Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for the abstract description of software systems: Algebraic specifications are well-suited for describing data structures and sequential software systems in an abstract way. Term rewriting methods are used in many prototyping systems and form the basis for executing specifi cations. Nondeterminism plays a major role in formal language theory; in programming it serves for delaying design decisions in program development and occurs in a "natural" way in formalisations of distributed processes. Heinrich Hussmann presents an elegant extension of equational specification and term rewriting to include nondeterminism. Based on a clean modeltheoretic semantics he considers term rewriting systems without confluence restrictions as a specification language and shows that fundamental properties such as the existence of initial models or the soundness and completeness of narrowing, the basic mechanism for executing equational specifications, can be extended to nondeterministic computations. The work of Heinrich Hussmann is an excellent contribution to Algebraic Programming; it gives a framework that admits a direct approach to program verification, is suitable for describing concurrent and distributed processes, and it can be executed as fast as Prolog.

CASL User ManualCASL User Manual



CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This book illustrates and discusses how to write CASL specifications.

Author: Michel Bidoit

Publisher: Springer Science & Business Media

ISBN: 9783540207665

Category:

Page: 240

View: 888

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of algebraic specification languages. The main part of the book explains CASL specifications, with chapters on loose, generated and free specifications, partial functions, sub- and supersorts, structuring specifications, genericity and reusability, architectural specifications, and version control. The final chapters deal with tool support and libraries, and present a realistic case study involving the standard benchmark for comparing specification frameworks. The book is aimed at software researchers and professionals, and follows a tutorial style with highlighted points, illustrative examples, and a full specification and library index. A separate, complementary LNCS volume contains the CASL Reference Manual.