rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9783540440444

Applied Semantics : Advanced Lectures

by ; ;
  • ISBN13:

    9783540440444

  • ISBN10:

    3540440445

  • Format: Paperback
  • Copyright: 2002-10-01
  • Publisher: Springer Verlag
  • Purchase Benefits
  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $139.00 Save up to $119.20
  • Digital
    $42.90
    Add to Cart

    DURATION
    PRICE

Summary

This book presents revised and extended versions of lectures given at an international summer school on applied semantics that took place in Caminha, Portugal in September.The nine lectures included present recent developments in programming language research in a coherent and systematic way. Among the topics addressed are - description of existing programming languages features - design of new programming languages features - implementation and analysis of programming languages - transformation and generation of programs - verification of programs.

Table of Contents

An Introduction to Dependent Type Theoryp. 1
Monads and Effectsp. 42
Abstract Machines, Control, and Sequentsp. 123
Normalization and Partial Evaluationp. 137
Computing with Real Numbersp. 193
The Join Calculus: A Language for Distributed Mobile Programmingp. 268
An Introduction to Functional Netsp. 333
Operational Semantics and Program Equivalencep. 378
Using, Understanding, and Unraveling the OCaml Languagep. 413
Author Indexp. 537
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program