Program Development Using Refinement Logic

Program Development Using Refinement Logic
Author :
Publisher :
Total Pages : 368
Release :
ISBN-10 : CORNELL:31924004166959
ISBN-13 :
Rating : 4/5 ( Downloads)
DOWNLOAD EBOOK
Book Synopsis Program Development Using Refinement Logic by : Peter Vanderbilt

Download or read book Program Development Using Refinement Logic written by Peter Vanderbilt and published by . This book was released on 1984 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Program Development Using Refinement Logic Related Books

Program Development Using Refinement Logic
Language: en
Pages: 368

Program Development Using Refinement Logic

Authors: Peter Vanderbilt
Categories: Computer programming
Type: BOOK - Published: 1984 - Publisher:

DOWNLOAD EBOOK

Program Development in Computational Logic
Language: en
Pages: 546

Program Development in Computational Logic

Authors: Maurice Bruynooghe
Categories: Computers
Type: BOOK - Published: 2004-06-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and tran
Refinement Types
Language: en
Pages: 182

Refinement Types

Authors: Ranjit Jhala
Categories: Computers
Type: BOOK - Published: 2021-10-05 - Publisher:

DOWNLOAD EBOOK

Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and implement
Abstraction, Refinement and Proof for Probabilistic Systems
Language: en
Pages: 412

Abstraction, Refinement and Proof for Probabilistic Systems

Authors: Annabelle McIver
Categories: Computers
Type: BOOK - Published: 2005 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused su
Logic Program Synthesis and Transformation
Language: en
Pages: 344

Logic Program Synthesis and Transformation

Authors: John P. Gallagher
Categories: Computers
Type: BOOK - Published: 1997-03-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'