國立虎尾科技大學 |

Programming languages and systems = 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 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Programming languages and systems/ edited by Peter Thiemann.
其他題名:	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 /
其他題名:	ESOP 2016
其他作者:	Thiemann, Peter.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2016.,
面頁冊數:	xiii, 806 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Computer programming - Congresses. -
電子資源:	http://dx.doi.org/10.1007/978-3-662-49498-1
ISBN:	9783662494981

Programming languages and systems = 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 /
Programming languages and systems25th 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 /[electronic resource] :ESOP 2016edited by Peter Thiemann. - Berlin, Heidelberg :Springer Berlin Heidelberg :2016. - xiii, 806 p. :ill., digital ;24 cm. - Lecture notes in computer science,96320302-9743 ;. - Lecture notes in computer science ;6140..

Simulating Cities: A Software Engineering Perspective -- Regular Programming for Quantitative Properties of Data Streams -- Formalizing Single-assignment Program Verification: an Adaptationcomplete Approach -- Practical Optional Types for Clojure -- A Timed Process Algebra for Wireless Networks with an Application in Routing -- Computing with semirings and weak rig groupoids -- On Hierarchical Communication Topologies in the pi-calculus -- Modular Termination Verification for Non-blocking Concurrency -- Call-by-Push-Value from a Linear Logic point of view -- Visible Type Application -- Automatically Splitting a Two-Stage Lambda Calculus -- Probabilistic NetKAT -- Coordinated Concurrent Programming in Syndicate -- An application of computable distributions to the semantics of probabilistic programming languages -- Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs -- Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations -- Needle & Knot: Binder boilerplate tied up -- On the Relative Expressiveness of Higher-Order Session Processes -- A Realizability Model for a Semantical Value Restriction -- Probabilistic functions and cryptographic oracles in higher order logic -- Extensible and Efficient Automation through Reflective Tactics -- An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs -- Functional Big-step Semantics -- Classical by-need -- Macrofication: Refactoring by Reverse Macro Expansion -- Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules -- Actor Services: Modular Verification of Message Passing Programs -- Transfinite Step-indexing: Decoupling Concrete and Logical Steps -- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs -- The Expressive Power of Monotonic Parallel Composition.

This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems, ESOP features contributions on all aspects of programming language research; theoretical and/or practical advances.

ISBN: 9783662494981

Standard No.: 10.1007/978-3-662-49498-1doiSubjects--Topical Terms:

528620
Computer programming
--Congresses.

LC Class. No.: QA76.6

Dewey Class. No.: 005.1

Programming languages and systems = 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 /
LDR:03819nam a2200373 a 4500 001 862975
003 DE-He213
005 20160913101037.0
006 m d
007 cr nn 008maaau
008 170720s2016 gw s 0 eng d
020 $a 9783662494981 $q (electronic bk.)
020 $a 9783662494974 $q (paper)
024 7 $a 10.1007/978-3-662-49498-1 $2 doi
035 $a 978-3-662-49498-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.6
072 7 $a UMX $2 bicssc
072 7 $a UMC $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a COM010000 $2 bisacsh
082 0 4 $a 005.1 $2 23
090 $a QA76.6 $b .E89 2016
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Programming languages and systems $h [electronic resource] : $b 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 / $c edited by Peter Thiemann.
246 3 $a ESOP 2016
246 3 $a ETAPS 2016
260 $a Berlin, Heidelberg : $c 2016. $b Springer Berlin Heidelberg : $b Imprint: Springer,
300 $a xiii, 806 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9632
505 0 $a Simulating Cities: A Software Engineering Perspective -- Regular Programming for Quantitative Properties of Data Streams -- Formalizing Single-assignment Program Verification: an Adaptationcomplete Approach -- Practical Optional Types for Clojure -- A Timed Process Algebra for Wireless Networks with an Application in Routing -- Computing with semirings and weak rig groupoids -- On Hierarchical Communication Topologies in the pi-calculus -- Modular Termination Verification for Non-blocking Concurrency -- Call-by-Push-Value from a Linear Logic point of view -- Visible Type Application -- Automatically Splitting a Two-Stage Lambda Calculus -- Probabilistic NetKAT -- Coordinated Concurrent Programming in Syndicate -- An application of computable distributions to the semantics of probabilistic programming languages -- Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs -- Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations -- Needle & Knot: Binder boilerplate tied up -- On the Relative Expressiveness of Higher-Order Session Processes -- A Realizability Model for a Semantical Value Restriction -- Probabilistic functions and cryptographic oracles in higher order logic -- Extensible and Efficient Automation through Reflective Tactics -- An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs -- Functional Big-step Semantics -- Classical by-need -- Macrofication: Refactoring by Reverse Macro Expansion -- Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules -- Actor Services: Modular Verification of Message Passing Programs -- Transfinite Step-indexing: Decoupling Concrete and Logical Steps -- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs -- The Expressive Power of Monotonic Parallel Composition.
520 $a This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems, ESOP features contributions on all aspects of programming language research; theoretical and/or practical advances.
650 0 $a Computer programming $v Congresses. $3 528620
650 0 $a Programming languages (Electronic computers) $3 596941
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Computation by Abstract Devices. $3 669792
650 2 4 $a Programming Techniques. $3 669781
700 1 $a Thiemann, Peter. $3 885389
710 2 $a SpringerLink (Online service) $3 593884
711 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-49498-1
950 $a Computer Science (Springer-11645)