Articles liés à Higher Order Operational Techniques in Semantics
Synopsis
A 1998 collection of original articles by leading researchers in area of programming languages.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l'auteur
Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Higher Order Operational Techniques in Semantics
Image d'archives
Higher Order Operational Techniques in Semantics (Publications of the Newton Institute, Series Number 12)
Edité par
Cambridge University Press, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780521631686
Acheter neuf
EUR 125
Expédition à EUR 2,68
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Higher Order Operational Techniques in Semantics
Edité par
Cambridge University Press CUP, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : Books Puddle, Woodside, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 400. N° de réf. du vendeur 26261262
Acheter neuf
EUR 154,02
Expédition à EUR 3,56
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Higher Order Operational Techniques in Semantics
Edité par
Cambridge University Press, GB, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. Most object-oriented or functional languages are higher order languages, i.e. ones in which the means of manipulation (e.g. object or function) can itself be manipulated. This 1998 book contains a collection of original articles about recent developments in operational semantics for higher order programming languages by some of the leading researchers in the field. Operational techniques are important because they are closer to implementations and language definitions than more abstract mathematical techniques such as denotational semantics. One of the exciting developments reflected by the book is that mathematical structures and techniques used in denotational semantics (such as fixpoint induction) may be recovered from a purely operational starting point. The book surveys and introduces techniques such as contextual equivalence, applicative bisimulation, logical relations, improvement relations, explicit models of memory management, and labelling techniques for confluence properties. It treats a variety of higher order languages, based on functions, processes and objects, with and without side effects, typed and untyped. N° de réf. du vendeur LU-9780521631686
Acheter neuf
EUR 158,74
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Higher Order Operational Techniques in Semantics
Edité par
Cambridge University Press, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 400 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam. N° de réf. du vendeur 7619409
Acheter neuf
EUR 158,53
Expédition à EUR 7,79
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Higher Order Operational Techniques in Semantics
Edité par
Cambridge University Press, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 400. N° de réf. du vendeur 18261252
Acheter neuf
EUR 159,55
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Higher Order Operational Techniques in Semantics
Edité par
Cambridge University Press, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N° de réf. du vendeur C9780521631686
Acheter neuf
EUR 148,55
Expédition à EUR 22,36
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Higher Order Operational Techniques in Semantics
Edité par
Cambridge University Press, 2011
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A 1998 collection of original articles about developments in operational semantics for higher order programming languages by some of the leading researchers in the field. It surveys and introduces various techniques and treats a variety of higher order lang. N° de réf. du vendeur 446943076
Acheter neuf
EUR 123,95
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Higher Order Operational Techniques in Semantics (Hardcover)
Edité par
Cambridge University Press, Cambridge, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. Most object-oriented or functional languages are higher order languages, i.e. ones in which the means of manipulation (e.g. object or function) can itself be manipulated. This book contains a collection of original articles about recent developments in operational semantics for higher order programming languages by some of the leading researchers in the field. Operational techniques are important because they are closer to implementations and language definitions than more abstract mathematical techniques such as denotational semantics. One of the exciting developments reflected by the book is that mathematical structures and techniques used in denotational semantics (such as fixpoint induction) may be recovered from a purely operational starting point. The book surveys and introduces techniques such as contextual equivalence, applicative bisimulation, logical relations, improvement relations, explicit models of memory management, and labelling techniques for confluence properties. It treats a variety of higher order languages, based on functions, processes and objects, with and without side effects, typed and untyped. A collection of articles by researchers in area of programming languages. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9780521631686
Acheter neuf
EUR 133,94
Expédition à EUR 44,35
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Higher Order Operational Techniques in Semantics
Edité par
Cambridge University Press, 2011
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Neuf
Couverture rigide
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Higher Order Operational Techniques in Semantics | Andrew D. Gordon (u. a.) | Buch | Englisch | 2011 | Cambridge University Press | EAN 9780521631686 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. N° de réf. du vendeur 123686324
Acheter neuf
EUR 128,75
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Higher Order Operational Techniques in Semantics (Publications of the Newton Institute)
Edité par
Cambridge University Press, 1998
ISBN 10 : 0521631688
ISBN 13 : 9780521631686
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA79005216316886
Acheter D'occasion
EUR 171,61
Expédition à EUR 29,97
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)