Hybrid Type Checking and Type Reconstruction for Executable Refinement Types

Hybrid Type Checking and Type Reconstruction for Executable Refinement Types
Author :
Publisher :
Total Pages : 166
Release :
ISBN-10 : UCAL:X78708
ISBN-13 :
Rating : 4/5 ( Downloads)
GET BOOK
Book Synopsis Hybrid Type Checking and Type Reconstruction for Executable Refinement Types by : Kenneth L. Knowles

Download or read book Hybrid Type Checking and Type Reconstruction for Executable Refinement Types written by Kenneth L. Knowles and published by . This book was released on 2008 with total page 166 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Hybrid Type Checking and Type Reconstruction for Executable Refinement Types Related Books

Hybrid Type Checking and Type Reconstruction for Executable Refinement Types
Language: en
Pages: 166

Hybrid Type Checking and Type Reconstruction for Executable Refinement Types

Authors: Kenneth L. Knowles
Categories:
Type: BOOK - Published: 2008 - Publisher:

GET EBOOK

Types and Programming Languages
Language: en
Pages: 646

Types and Programming Languages

Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 2002-01-04 - Publisher: MIT Press

GET EBOOK

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er
Compiler Construction
Language: en
Pages: 459

Compiler Construction

Authors: William M. Waite
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Compilers and operating systems constitute the basic interfaces between a programmer and the machine for which he is developing software. In this book we are co
Introduction to Embedded Systems, Second Edition
Language: en
Pages: 562

Introduction to Embedded Systems, Second Edition

Authors: Edward Ashford Lee
Categories: Computers
Type: BOOK - Published: 2017-01-06 - Publisher: MIT Press

GET EBOOK

An introduction to the engineering principles of embedded systems, with a focus on modeling, design, and analysis of cyber-physical systems. The most visible us
Practical Foundations for Programming Languages
Language: en
Pages: 513

Practical Foundations for Programming Languages

Authors: Robert Harper
Categories: Computers
Type: BOOK - Published: 2016-04-04 - Publisher: Cambridge University Press

GET EBOOK

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.