25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Herausgegeben:Thiemann, Peter
25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Herausgegeben:Thiemann, Peter
This bookconstitutes the proceedings of the 25th European Symposium on Programming, ESOP2016, which took place in Eindhoven, The Netherlands, in April 2016, held asPart of the European Joint Conferences on Theory and Practice of Software,ETAPS 2016. The 29 papers presented in this volume were carefully reviewed and selectedfrom 98 submissions. Being devoted to fundamental issues in the specification,design, analysis, and implementation of programming languages and systems, ESOPfeatures contributions on all aspects of programming language research;theoretical and/or practical advances.
This bookconstitutes the proceedings of the 25th European Symposium on Programming, ESOP2016, which took place in Eindhoven, The Netherlands, in April 2016, held asPart of the European Joint Conferences on Theory and Practice of Software,ETAPS 2016. The 29 papers presented in this volume were carefully reviewed and selectedfrom 98 submissions. Being devoted to fundamental issues in the specification,design, analysis, and implementation of programming languages and systems, ESOPfeatures contributions on all aspects of programming language research;theoretical and/or practical advances.
Produktdetails
Produktdetails
Theoretical Computer Science and General Issues 9632
Simulating Cities: A Software Engineering Perspective.-Regular Programming for Quantitative Properties of Data Streams.- FormalizingSingle-assignment Program Verification: an Adaptationcomplete Approach.- PracticalOptional Types for Clojure.- A Timed Process Algebra for Wireless Networks withan Application in Routing.- Computing with semirings and weak rig groupoids.- OnHierarchical Communication Topologies in the pi-calculus.- Modular TerminationVerification for Non-blocking Concurrency.- Call-by-Push-Value from a LinearLogic point of view.- Visible Type Application.- Automatically Splitting aTwo-Stage Lambda Calculus.- Probabilistic NetKAT.-Coordinated ConcurrentProgramming in Syndicate.- An application of computable distributions to thesemantics of probabilistic programming languages.- Weakest PreconditionReasoning for Expected Run-Times of Probabilistic Programs.- ImprovingFloating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement forNumerical Computations.- Needle & Knot: Binder boilerplate tied up.- On theRelative Expressiveness of Higher-Order Session Processes.- A RealizabilityModel for a Semantical Value Restriction.- Probabilistic functions andcryptographic oracles in higher order logic.- Extensible and EfficientAutomation through Reflective Tactics.- An Algorithm Inspired by ConstraintSolvers to Infer Inductive Invariants in Numeric Programs.- Functional Big-stepSemantics.- Classical by-need.- Macrofication: Refactoring by Reverse MacroExpansion.- Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized TypeRules.- Actor Services: Modular Verification of Message Passing Programs.- TransfiniteStep-indexing: Decoupling Concrete and Logical Steps.- A Higher-Order AbstractSyntax Approach to Verified Transformations on Functional Programs.- TheExpressive Power of Monotonic Parallel Composition.
Simulating Cities: A Software Engineering Perspective.-Regular Programming for Quantitative Properties of Data Streams.- FormalizingSingle-assignment Program Verification: an Adaptationcomplete Approach.- PracticalOptional Types for Clojure.- A Timed Process Algebra for Wireless Networks withan Application in Routing.- Computing with semirings and weak rig groupoids.- OnHierarchical Communication Topologies in the pi-calculus.- Modular TerminationVerification for Non-blocking Concurrency.- Call-by-Push-Value from a LinearLogic point of view.- Visible Type Application.- Automatically Splitting aTwo-Stage Lambda Calculus.- Probabilistic NetKAT.-Coordinated ConcurrentProgramming in Syndicate.- An application of computable distributions to thesemantics of probabilistic programming languages.- Weakest PreconditionReasoning for Expected Run-Times of Probabilistic Programs.- ImprovingFloating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement forNumerical Computations.- Needle & Knot: Binder boilerplate tied up.- On theRelative Expressiveness of Higher-Order Session Processes.- A RealizabilityModel for a Semantical Value Restriction.- Probabilistic functions andcryptographic oracles in higher order logic.- Extensible and EfficientAutomation through Reflective Tactics.- An Algorithm Inspired by ConstraintSolvers to Infer Inductive Invariants in Numeric Programs.- Functional Big-stepSemantics.- Classical by-need.- Macrofication: Refactoring by Reverse MacroExpansion.- Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized TypeRules.- Actor Services: Modular Verification of Message Passing Programs.- TransfiniteStep-indexing: Decoupling Concrete and Logical Steps.- A Higher-Order AbstractSyntax Approach to Verified Transformations on Functional Programs.- TheExpressive Power of Monotonic Parallel Composition.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
