Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995 - Joshua D. Guttman
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre222,99 €
Occasion · Comme Neuf
Ou 55,75 € /mois
- Livraison : 25,00 €
- Livré entre le 11 et le 21 mai
Nos autres offres
-
290,99 €
Produit Neuf
Ou 72,75 € /mois
- Livraison : 25,00 €
- Livré entre le 18 et le 23 mai
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Vlisp A Verified Implementation Of Scheme: A Special Issue Of Lisp And Symbolic Computation, An International Journal... - Livre
0 avis sur Vlisp A Verified Implementation Of Scheme: A Special Issue Of Lisp And Symbolic Computation, An International Journal... - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Vlisp A Verified Implementation Of Scheme: A Special Issue Of Lisp And Symbolic Computation, An International Journal...
- Livre
Résumé :
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...
Biographie:
VLISP: A Verified Implementation of Scheme.- The VLISP Verified Scheme System.- The VLISP Verified PreScheme Compiler....
Sommaire:
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....
Détails de conformité du produit
Personne responsable dans l'UE