default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th PADL 2018: Los Angeles, CA, USA
- Francesco Calimeri
, Kevin W. Hamlen, Nicola Leone:
Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings. Lecture Notes in Computer Science 10702, Springer 2018, ISBN 978-3-319-73304-3
Functional Programming
- Sandra Dylus, Jan Christiansen, Finn Teegen:
Probabilistic Functional Logic Programming. 3-19 - Florian Biermann, Wensheng Dou, Peter Sestoft:
Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs. 20-35 - Gordon Stewart, Samuel Merten, Logan Leland:
Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. 36-52 - Karl Crary:
Hygienic Source-Code Generation Using Functors - (Extended Abstract). 53-60
Constraint Programming and Business Rules
- Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic:
Three Is a Crowd: SAT, SMT and CLP on a Chessboard. 63-79 - Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik:
An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic. 80-96
Prolog and Optimizations
- Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Exploiting Term Hiding to Reduce Run-Time Checking Overhead. 99-115 - Paul Tarau:
On k-colored Lambda Terms and Their Skeletons. 116-131
Answer Set Programming
- Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari:
Optimizing Answer Set Computation via Heuristic-Based Decomposition. 135-151 - Stefano Germano, Francesco Calimeri, Eliana Palermiti:
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report. 152-160 - Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri:
A REST-Based Development Framework for ASP: Tools and Application. 161-169 - Weronika T. Adrian, Marco Manna:
Navigating Online Semantic Resources for Entity Set Expansion. 170-185 - Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli:
Automatic Web Services Composition for Phylotastic. 186-202
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-15 19:19 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:
