Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Programming Languages and Systems
  • Produktbild: Programming Languages and Systems

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Aus der Reihe Lecture Notes in Computer Science

Fr. 73.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.03.2009

Herausgeber

Giuseppe Castagna

Verlag

Springer Berlin

Seitenzahl

411

Maße (L/B/H)

23.5/15.5/2.4 cm

Gewicht

645 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-00589-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.03.2009

Herausgeber

Giuseppe Castagna

Verlag

Springer Berlin

Seitenzahl

411

Maße (L/B/H)

23.5/15.5/2.4 cm

Gewicht

645 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-00589-3

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Programming Languages and Systems
  • Produktbild: Programming Languages and Systems
  • Typed Functional Programming.- Well-Typed Programs Can’t Be Blamed.- Exploring the Design Space of Higher-Order Casts.- Practical Variable-Arity Polymorphism.- Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.- ETAPS Invited Talk.- Using Category Theory to Design Programming Languages.- Computational Effects.- Modular Monad Transformers.- Handlers of Algebraic Effects.- Types for Object-Oriented Languages.- Is Structural Subtyping Useful? An Empirical Study.- An Interval-Based Inference of Variant Parametric Types.- Existential Quantification for Variant Ownership.- Verification.- Formalising and Verifying Reference Attribute Grammars in Coq.- Verified, Executable Parsing.- An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees.- Amortised Memory Analysis Using the Depth of Data Structures.- ESOP Invited Talk.- The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?.- Security.- All Secrets Great and Small.- Type-Based Automated Verification of Authenticity in Cryptographic Protocols.- Concurrency.- A Theory of Non-monotone Memory (Or: Contexts for free).- Abstraction for Concurrent Objects.- Minimization Algorithm for Symbolic Bisimilarity.- Service-Oriented Computing.- Conversation Types.- Abstract Processes in Orchestration Languages.- Global Principal Typing in Partially Commutative Asynchronous Sessions.- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.- Parallel and Concurrent Programming.- Automatic Parallelization with Separation Logic.- Deny-Guarantee Reasoning.- A Basis for Verifying Multi-threaded Programs.- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.