default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th LOPSTR 2015: Siena, Italy
- Moreno Falaschi:
Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9527, Springer 2015, ISBN 978-3-319-27435-5
Invited Talk
- Dale Miller
:
Proof Checking and Logic Programming. 3-17
Semantics of Logic Languages
- Hirohisa Seki:
On Dual Programs in Co-Logic Programming. 21-35 - José Meseguer, Stephen Skeirik:
Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras. 36-53
Efficient Compilation of Functional Logic Programs
- Sergio Antoy, Andy Jost:
Compiling Collapsing Rules in Certain Constructor Systems. 57-72 - Sergio Antoy, Michael Hanus:
From Boolean Equalities to Constraints. 73-88
Types and Security
- Peng Fu, Ekaterina Komendantskaya:
A Type-Theoretic Approach to Resolution. 91-106 - Sandra Alves, Sabine Broda, Maribel Fernández:
A Typed Language for Events. 107-123
Optimization
- Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp:
Applying Sorting Networks to Synthesize Optimized Sorting Libraries. 127-142 - Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot:
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. 143-160
Static Analysis
- Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva:
Abstract Analysis of Universal Properties for tccp. 163-178 - Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi:
A Global Occurrence Counting Analysis for Brane Calculi. 179-200 - Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner:
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. 201-217
Automated Verification
- Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof:
Checking Java Assertions Using Automated Test-Case Generation. 221-226 - Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández:
A Generic Intermediate Representation for Verification Condition Generation. 227-243 - Dipak L. Chaudhari, Om P. Damani:
Combining Top-Down and Bottom-Up Techniques in Program Derivation. 244-258
Program Debugging and Slicing
- David Insa, Josep Silva:
A Generalized Model for Algorithmic Debugging. 261-276 - Adrián Palacios, Germán Vidal:
Concolic Execution in Functional Programming by Program Instrumentation. 277-292 - Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae:
Memory Policy Analysis for Semantics Specifications in Maude. 293-310
Smart Environments
- Serge Autexier, Dieter Hutter:
SHIP - A Logic-Based Language and Tool to Program Smart Environments. 313-328
Program Transformation
- Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama:
Correctness of Context-Moving Transformations for Term Rewriting Systems. 331-345
Constraint Solving and Programming
- Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. 349-364 - Arwa Ismail, Nada Sharaf, Slim Abdennadher:
CHR in Action. 365-383
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-22 19:05 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:
