Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 Proceedings - Couverture souple

Couverture souple

ISBN 10 : 3662213532 ISBN 13 : 9783662213537

Editeur : Springer, 2014

Synopsis

A categorical treatment of polymorphic operations.- A categorical approach to realizability and polymorphic types.- Rule-based semantics for an extended lambda-calculus.- Semantics of block structured languages with pointers.- Assertional categories.- Kan extensions in effective semantics.- The versatile continuous order.- On the Smyth power domain.- The metric closure powerspace construction.- A powerdomain construction.- Closure properties of a probabilistic domain construction.- Quasi-uniformities: Reconciling domains with metric spaces.- Solving reflexive domain equations in a category of complete metric spaces.- Topological completeness in an ideal model for polymorphic types.- New results on hierarchies of domains.- Semantically based axiomatics.- Metric spaces as models for real-time concurrency.- dI-domains as a model of polymorphism.- Continuous auxiliary relations.- Computable one-to-one enumerations of effective domains.- Extended abstract of MIX: A self-applicable partial evaluator for experiments in compiler generation.- Semantics-based tools for a specification-support environment.- A treatment of languages with stages of evaluation.- Operational semantics and a distributed implementation of CSP.- The semantics of Miranda's algebraic types.- Path semantics.- The formal description of data types using sketches.- Initial algebra semantics and concurrency.- High-level semantics.- An action semantics of standard ML.- An algorithmic approach to p-adic integers.- The shuffle bialgebra.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2014
• Langue: anglais
• ISBN 10: 3662213532
• ISBN 13: 9783662213537
• Reliure: Paperback
• Coordonnées du fabricant: non disponible