Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34) - Image 1

£49.25

Cambridge University Press Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

Name: Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Brand: Cambridge University Press
Price: 49.25 GBP
Availability: InStock

4 b/w illus. 35 tables

Architecture & Microprocessors

Price History & Forecast

Last 27 days • 27 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 27 days • 1 price levels

Days at Price

Price Analysis

Most common price: £49 (27 days, 100.0%)

Price range: £49 - £49

Price levels: 1 different prices over 27 days

Description

Product Description The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus, in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic. The notion of 'parametrized semantics' is used to describe code generation and abstract interpretation. The code generation is for a simple abstract machine designed for the purpose; it is close to the categorical abstract machine. The abstract interpretation focuses on a strictness analysis that generalises Wadler's analysis for lists. Book Description This book provides a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times.

Product Specifications

Brand: Cambridge University Press
Model: 4 b/w illus. 35 tables
Format: paperback
ASIN: 0521018471
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 21 August 2008
Listed Since: 04 January 2007

Barcode

No barcode data available

Cambridge University Press Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Cambridge Two-Level Functional Languages - Series 34 Book

Lambda-Calculus and Combinators: An Introduction

Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution: 32 (Cambridge Tracts in Theoretical Computer Science, Series Number 32)

Practical Foundations for Programming Languages

Programming Languages: Build, Prove, and Compare

Formal Languages and Compilation (Texts in Computer Science)

Implementing Functional Logic Programs: by Translation into Purely Functional Programs

Type Theory and Formal Proof: An Introduction

Functional Approach to Programming

Language Computability and Formal Language Theory

Types & Programming Languages (The MIT Press)

Lisp in Small Pieces

Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)

Springer - Logics of Specification Languages Monograph

Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)

Modern Compiler Implement in ML

An Introduction to Formal Language Theory (Monographs in Computer Science)

Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics: 20 (Outstanding Contributions to Logic, 20)

Logic in Computer Science: Modelling and Reasoning about Systems

Transitions and Trees: An Introduction to Structural Operational Semantics

Introduction to Coalgebra: Towards Mathematics of States and Observation: 59 (Cambridge Tracts in Theoretical Computer Science, Series Number 59)

Compiler Design: Syntactic and Semantic Analysis