default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25. ESOP 2016: Eindhoven, The Netherlands (Part of ETAPS 2016)
- Peter Thiemann:
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. Lecture Notes in Computer Science 9632, Springer 2016, ISBN 978-3-662-49497-4 - Cristina V. Lopes:
Simulating Cities: A Software Engineering Perspective. 1-14 - Rajeev Alur, Dana Fisman
, Mukund Raghothaman:
Regular Programming for Quantitative Properties of Data Streams. 15-40 - Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto:
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach. 41-67 - Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt:
Practical Optional Types for Clojure. 68-94 - Emile Bres, Rob J. van Glabbeek, Peter Höfner:
A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract). 95-122 - Jacques Carette, Amr Sabry:
Computing with Semirings and Weak Rig Groupoids. 123-148 - Emanuele D'Osualdo, C.-H. Luke Ong:
On Hierarchical Communication Topologies in the \pi -calculus. 149-175 - Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland:
Modular Termination Verification for Non-blocking Concurrency. 176-201 - Thomas Ehrhard:
Call-By-Push-Value from a Linear Logic Point of View. 202-228 - Richard A. Eisenberg, Stephanie Weirich, Hamidhasan G. Ahmed:
Visible Type Application. 229-254 - Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian:
Automatically Splitting a Two-Stage Lambda Calculus. 255-281 - Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva:
Probabilistic NetKAT. 282-309 - Tony Garnock-Jones, Matthias Felleisen:
Coordinated Concurrent Programming in Syndicate. 310-336 - Daniel Huang, Greg Morrisett:
An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages. 337-363 - Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo:
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. 364-389 - Hideyuki Kawabata, Hideya Iwasaki:
Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations. 390-418 - Steven Keuchel, Stephanie Weirich, Tom Schrijvers:
Needle & Knot: Binder Boilerplate Tied Up. 419-445 - Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
On the Relative Expressiveness of Higher-Order Session Processes. 446-475 - Rodolphe Lepigre:
A Classical Realizability Model for a Semantical Value Restriction. 476-502 - Andreas Lochbihler:
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic. 503-531 - Gregory Malecha, Jesper Bengtson:
Extensible and Efficient Automation Through Reflective Tactics. 532-559 - Antoine Miné, Jason Breck, Thomas W. Reps:
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs. 560-588 - Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan:
Functional Big-Step Semantics. 589-615 - Pierre-Marie Pédrot, Alexis Saurin:
Classical By-Need. 616-643 - Christopher Schuster, Tim Disney, Cormac Flanagan:
Macrofication: Refactoring by Reverse Macro Expansion. 644-671 - Alejandro Serrano, Jurriaan Hage:
Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules. 672-698 - Alexander J. Summers, Peter Müller:
Actor Services - Modular Verification of Message Passing Programs. 699-726 - Kasper Svendsen, Filip Sieczkowski, Lars Birkedal:
Transfinite Step-Indexing: Decoupling Concrete and Logical Steps. 727-751 - Yuting Wang, Gopalan Nadathur:
A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs. 752-779 - Johannes Åman Pohjola, Joachim Parrow:
The Expressive Power of Monotonic Parallel Composition. 780-803
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
