All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework
Title All About Maude - A High-Performance Logical Framework PDF eBook
Author Manuel Clavel
Publisher Springer
Pages 799
Release 2007-07-19
Genre Computers
ISBN 3540719997

Download All About Maude - A High-Performance Logical Framework Book in PDF, Epub and Kindle

Maude is a language and system based on rewriting logic. In this comprehensive account, you’ll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.

Rewriting Logic and Its Applications

Rewriting Logic and Its Applications
Title Rewriting Logic and Its Applications PDF eBook
Author Peter Csaba Ölveczky
Publisher Springer Science & Business Media
Pages 272
Release 2010-10-06
Genre Computers
ISBN 3642163092

Download Rewriting Logic and Its Applications Book in PDF, Epub and Kindle

This volume contains the proceedings of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010) that was held in Paphos, Cyprus, March 20–21, 2010, as a satellite workshop of the European Joint C- ferences on Theory and Practice of Software (ETAPS 2010). Rewriting logic is a natural semantic framework for representing conc- rency,parallelism,communicationandinteraction,aswellasbeing anexpressive (meta)logical framework for representing logics. It can then be used for spe- fying a wide range of systems and programming languages in various appli- tion ?elds. In recent years, several executable speci?cation languages based on rewriting logic (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the WRLA workshop series is to bring together - searchers with a common interest in rewriting logic and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas. Previous WRLA workshops were held in Asilomar (1996), Pont-a-Mousson ` (1998), Kanazawa (2000), Pisa (2002), Barcelona (2004), Vienna (2006), and Budapest (2008), and their proceedings have been published inElectronic Notes in Theoretical Computer Science. In addition, selected papers from WRLA 1996 have been published in a special issue of Theoretical Computer Science,and selected papers from WRLA 2004 appeared in a special issue of Higher-Order and Symbolic Computation.

Rewriting Logic and Its Applications

Rewriting Logic and Its Applications
Title Rewriting Logic and Its Applications PDF eBook
Author Dorel Lucanu
Publisher Springer
Pages 199
Release 2016-08-17
Genre Computers
ISBN 3319448021

Download Rewriting Logic and Its Applications Book in PDF, Epub and Kindle

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016. The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.

Rewriting Logic and Its Applications

Rewriting Logic and Its Applications
Title Rewriting Logic and Its Applications PDF eBook
Author Francisco Durán
Publisher Springer
Pages 248
Release 2012-10-03
Genre Computers
ISBN 3642340059

Download Rewriting Logic and Its Applications Book in PDF, Epub and Kindle

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.

NASA Formal Methods

NASA Formal Methods
Title NASA Formal Methods PDF eBook
Author Aaron Dutle
Publisher Springer
Pages 481
Release 2018-04-06
Genre Computers
ISBN 3319779354

Download NASA Formal Methods Book in PDF, Epub and Kindle

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Formal Modeling: Actors; Open Systems, Biological Systems

Formal Modeling: Actors; Open Systems, Biological Systems
Title Formal Modeling: Actors; Open Systems, Biological Systems PDF eBook
Author Gul Agha
Publisher Springer
Pages 465
Release 2011-10-30
Genre Computers
ISBN 3642249337

Download Formal Modeling: Actors; Open Systems, Biological Systems Book in PDF, Epub and Kindle

This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011. Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology. The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology.

Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology
Title Algebraic Methodology and Software Technology PDF eBook
Author Michael Johnson
Publisher Springer
Pages 245
Release 2011-01-14
Genre Computers
ISBN 3642177964

Download Algebraic Methodology and Software Technology Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.