Two-Level Functional Languages (Paperback)

Lingua: inglese

Editore: Cambridge University Press, Cambridge, 2005

0521018471 / 9780521018470

Serie: Libro 39 di 40 - Cambridge Tracts in Theoretical Computer Science

Da: CitiRetail, Stevenage, Regno UnitoCitiRetail

Venditore con 5 stelle

Venditore AbeBooks dal 29 giugno 2022

Visualizza gli articoli di questo venditore
Brossura

Condizione: Nuovo

EUR 77,31

EUR 43,06 spedizione 
Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Paperback. 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. It is also shown how the results of abstract interpretation may be used to improve the code generation.The work is both an exposition and synthesis of recent research and as such will be valuable to research workers and graduate students working in formal methods and functional languages. The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Codice articolo 9780521018470

Titolo
Two-Level Functional Languages (Paperback)
Autore
Flemming Nielson
Editore
Cambridge University Press, Cambridge
Anno di pubblicazione
2005
Condizione
new
Rilegatura
Paperback
Lingua
inglese
ISBN 10
0521018471
ISBN 13
9780521018470
Serie
Libro 39 di 40: Cambridge Tracts in Theoretical Computer Science

CitiRetail

Stevenage, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 29 giugno 2022

Tariffe di spedizione da Regno Unito a U.S.A.

ArticoloDa 7 a 14 giorni lavorativiDa 7 a 60 giorni lavorativi
Primo articoloEUR 43,06EUR 43,06
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descrizione dello Store

Online business

Informazioni sull’azienda del venditore

ABC BOOKS LIMITED

10 John Street
London, Regno Unito WC1N 2EB