Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

VLISP a Verified Implementation of Scheme

Name: VLISP a Verified Implementation of Scheme
Brand: Springer-Verlag New York Inc.
SKU: 06619307
Price: 154.24 EUR
Availability: InStock
Author: Joshua D. Guttman
ISBN: 9781461359913

A Special Issue of LISP and Symbolic Computation, an International Journal

Joshua D. Guttman

Mitchell Wand

Език

Английски език

Книга С меки корици

Код Либристо: 06619307

Издателство Springer-Verlag New York Inc., ноември 2012

The VLISP project showed how to produce a comprehensively verified implemen tation for a programming... Цялото описание

Код Либристо: 06619307

373 b

154.24 €

301.66 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

EL TEMPLO DE AFRODITA Albinyana Gimeno

С меки корици

18.34 € 35.88 лв

Muchas Vidas, Muchos Maestros / Many Lives, Many Masters Weiss

С твърди корици

17.21 € 33.65 лв

Náraz Nathan Cowdry

С меки корици

20.10 € 39.32 лв

Bibliotheca Duboisiana ou catalogue de la bibliothèque du card. Dubois recueillie par l'abbé Bignon

С твърди корици

103.43 € 202.28 лв

Storia del mio breve corpo Billy-Ray Belcourt

С меки корици

27.55 € 53.87 лв

Arte, educación, terapia o libertad : Crei-Sants, 1975-2000 Feliciano Castillo Andrés

С меки корици

57.27 € 112.00 лв

Tissage et broderie de perles miyuki Chatenet

С меки корици

25.99 € 50.84 лв

Paris-Bagdad Olivier Ravanello

С меки корици

9.51 € 18.59 лв

Nagy társalkodó nyelvvizsgakönyv - Német középfok B2 Diószegi Ildikó

С меки корици

12.87 € 25.16 лв

El Procedimiento Penal En El Fuero Federal (1897) Jose E. Arena

С меки корици

21.24 € 41.54 лв

Pops Goes Pop Louis Armstrong

Аудио компактдиск

11.21 € 21.93 лв

Mittelalterliche Marktmusik, 2 Audio-CDs Various

Аудио компактдиск

17.36 € 33.96 лв

Prontuario del abogado Miguel . . . [et al. ] Fuentes Arias

С меки корици

94.90 € 185.60 лв

No toda la gente errante anda perdida Alexandra do Patrocinio

С меки корици

34.63 € 67.72 лв

Les Deux Amours. Tome 1 Bigillion-E

С меки корици

26.67 € 52.16 лв

Nuevas Fuentes de Almidon Con Potencial Biotecnologico Javier Jiménez-Hernández

С меки корици

25.99 € 50.84 лв

Nachtwachen von Bonaventura Clemens Brentano

С меки корици

30.85 € 60.34 лв

Stationäre Krisenintervention bei Borderline-Persönlichkeitsstörungen Tilman Steinert

С меки корици

23.05 € 45.08 лв

Der Tatverdächtige als Person der Zeitgeschichte. Peter Zielemannn

С меки корици

47.08 € 92.09 лв

The VLISP project showed how to produce a comprehensively verified implemen tation for a programming language, namely Scheme [4, 15). Some of the major elements in this verification were: The proof was based on the Clinger-Rees denotational semantics of Scheme given in [15). Our goal was to produce a "warts-and-all" verification of a real language. With very few exceptions, we constrained ourselves to use the se mantic specification as published. The verification was intended to be rigorous, but. not. complet.ely formal, much in the style of ordinary mathematical discourse. Our goal was to verify the algorithms and data types used in the implementat.ion, not their embodiment. in code. See Section 2 for a more complete discussion ofthese issues. Our decision to be faithful to the published semantic specification led to the most difficult portions ofthe proofs; these are discussed in [13, Section 2.3-2.4). Our implementation was based on the Scheme48 implementation of Kelsey and Rees [17). This implementation t.ranslates Scheme into an intermediate-level "byte code" language, which is interpreted by a virtual machine. The virtual machine is written in a subset of Scheme called PreScheme. The implementationissufficient.ly complete and efficient to allow it to bootstrap itself. We believe that this is the first. verified language implementation with these properties.