default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 2018: Frankfurt am Main, Germany
- David Sabel, Peter Thiemann:
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018. ACM 2018 - Philippa Gardner:
JaVerT: JavaScript Verification and Testing Framework: Invited Talk. 1:1-1:4 - Chung-chieh Shan:
Calculating Distributions. 2:1-2:5 - Nick Benton:
Semantic Equivalence Checking for HHVM Bytecode. 3:1-3:8 - Stephan Adelsberger
, Anton Setzer, Eric Walkingshaw:
Declarative GUIs: Simple, Consistent, and Verified. 4:1-4:15 - Danil Annenkov, Martin Elsman:
Certified Compilation of Financial Contracts. 5:1-5:13 - Pablo Barenbaum, Eduardo Bonelli, Kareem Mohamed:
Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract. 6:1-6:12 - Maciej Bendkowski, Pierre Lescanne:
Combinatorics of Explicit Substitutions. 7:1-7:12 - Flavien Breuvart, Ugo Dal Lago:
On Intersection Types and Probabilistic Lambda Calculi. 8:1-8:13 - Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice:
Automatic Reordering for Dataflow Safety of Datalog. 9:1-9:17 - Abhishek Dang, Piyush P. Kurur:
Verse: An EDSL for Cryptographic Primitives. 10:1-10:9 - José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner:
Symbolic Execution for JavaScript. 11:1-11:14 - Michael Hanus:
Verifying Fail-Free Declarative Programs. 12:1-12:13 - Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo:
Static Performance Guarantees for Programs with Runtime Checks. 13:1-13:13 - Magnus Madsen, Ondrej Lhoták:
Implicit Parameters for Logic Programming. 14:1-14:14 - Gopalan Nadathur, Yuting Wang:
Schematic Polymorphism in the Abella Proof Assistant. 15:1-15:13 - Yuki Nishida, Atsushi Igarashi:
Nondeterministic Manifest Contracts. 16:1-16:13 - Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera:
An Internalist Approach to Correct-by-Construction Compilers. 17:1-17:12 - Dmitri Rozplokhas, Dmitri Boulytchev:
Improving Refutational Completeness of Relational Search via Divergence Test. 18:1-18:13 - Genki Sakanashi, Masahiko Sakai:
Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems. 19:1-19:13 - Manfred Schmidt-Schauß, David Sabel, Nils Dallmeyer:
Sequential and Parallel Improvements in a Concurrent Functional Programming Language. 20:1-20:13 - Helmut Seidl, Ralf Vogler:
Three Improvements to the Top-Down Solver. 21:1-21:14 - Martin Sulzmann, Kai Stadtmüller:
Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks. 22:1-22:13 - Taku Terao:
Lazy Abstraction for Higher-Order Program Verification. 23:1-23:13 - Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini:
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. 24:1-24:10 - Falco Nogatz, Jona Kalkus, Dietmar Seipel:
Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters: System Description. 25:1-25:10
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-12-12 21:04 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:
