Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers - Jean-Christophe Filliatre

Instant online reading.
Don't wait for delivery!

Types for Proofs and Programs

International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

By: Jean-Christophe Filliatre (Editor), Christine Paulin-Mohring (Editor), Benjamin Werner (Editor)

Write A Review

Paperback | 25 January 2006

At a Glance

Paperback
290 Pages

Dimensions(cm)
23.39 x 15.6 x 1.55

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Aims to ship in 7 to 10 business days

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Computer Architecture & Logic Design Computer Programming & Software Development Programming & Scripting Languages Mathematics Mathematical Foundation Mathematical Logic Databases Data Capture & Analysis

Mathematical Theory of Computation Maths for Computer Scientists

Formalized metatheory with terms represented by an indexed family of types	p. 1
A content based mathematical search engine : whelp	p. 17
A machine-checked formalization of the random Oracle model	p. 33
Extracting a normalization algorithm in Isabelle/HOL	p. 50
A structured approach to proving compiler optimizations based on dataflow analysis	p. 66
Formalising bitonic sort in type theory	p. 82
A semi-reflexive tactic for (sub-)equational reasoning	p. 98
A uniform and certified approach for two static analyses	p. 115
Solving two problems in general topology via types	p. 138
A tool for automated theorem proving in Agda	p. 154
Surreal numbers in Coq	p. 170
A few constructions on constructors	p. 186
Tactic-based optimized compilation of functional programs	p. 201
Interfaces as games, programs as strategies	p. 215
[lambda]Z : Zermelo's set theory as a PTS with 4 sorts	p. 232
Exploring the regular tree types	p. 252
On constructive existence	p. 268
Table of Contents provided by Blackwell. All Rights Reserved.

Types for Proofs and Programs

International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Architecture & Logic Design

A Compendium of Responsible Artificial Intelligence

Euro-Par 2024

Parallel Processing Workshops : Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Information Security and Cryptology - ICISC 2024

27th International Conference, Seoul, South Korea, November 20-22, 2024, Revised Selected Papers

Terraform - Up and Running

Writing Infrastructure as Code

Data Mesh

Delivering Data-Driven Value at Scale

Site Reliability Engineering

How Google Runs Production Systems

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

Modern System Administration

Managing Reliable and Sustainable Systems

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Software Architecture Metrics

Case Studies to Improve the Quality of Your Architecture

Building Evolutionary Architectures

Automated Software Governance

Head First Software Architecture

A Learner's Guide to Architectural Thinking

Microservices: Up and Running

A Step-by-Step Guide to Building a Microservice Architecture

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Introduction to High Performance Computing for Scientists and Engineers

Chapman & Hall/CRC Computational Science

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Scaling Python with Dask

From Data Science to Machine Learning

Streaming Systems

The What, Where, When, and How of Large-Scale Data Processing

Flow Architectures

The Future of Streaming and Event-Driven Integration

Monolith to Microservices

Evolutionary Patterns to Transform Your Monolith

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Simply AI

Facts Made Fast

This product is categorised by