default search action

combined dblp search
author search
venue search
publication search

ask others

20th PADL 2018: Los Angeles, CA, USA

> Home > Conferences and Workshops > PADL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/padl/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/2018
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

- view
  authority control:
- export record
  dblp key:
  - conf/padl/DylusCT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/DylusCT18
Sandra Dylus, Jan Christiansen, Finn Teegen:
Probabilistic Functional Logic Programming. 3-19
- view
  authority control:
- export record
  dblp key:
  - conf/padl/BiermannDS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/BiermannDS18
Florian Biermann, Wensheng Dou, Peter Sestoft:
Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs. 20-35
- view
  authority control:
- export record
  dblp key:
  - conf/padl/StewartML18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/StewartML18
Gordon Stewart, Samuel Merten, Logan Leland:
Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. 36-52
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Crary18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Crary18
Karl Crary:
Hygienic Source-Code Generation Using Functors - (Extended Abstract). 53-60

Constraint Programming and Business Rules

- view
  authority control:
- export record
  dblp key:
  - conf/padl/KringsLKHH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/KringsLKHH18
Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic:
Three Is a Crowd: SAT, SMT and CLP on a Chessboard. 63-79
- view
  authority control:
- export record
  dblp key:
  - conf/padl/AnandCN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/AnandCN18
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

- view
  authority control:
- export record
  dblp key:
  - conf/padl/StulovaMH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/StulovaMH18
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Exploiting Term Hiding to Reduce Run-Time Checking Overhead. 99-115
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Tarau18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Tarau18
Paul Tarau:
On k-colored Lambda Terms and Their Skeletons. 116-131

Answer Set Programming

- view
  authority control:
- export record
  dblp key:
  - conf/padl/CalimeriFPZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/CalimeriFPZ18
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari:
Optimizing Answer Set Computation via Heuristic-Based Decomposition. 135-151
- view
  authority control:
- export record
  dblp key:
  - conf/padl/GermanoCP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/GermanoCP18
Stefano Germano, Francesco Calimeri, Eliana Palermiti:
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report. 152-160
- view
  authority control:
- export record
  dblp key:
  - conf/padl/CatalanoLRRV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/CatalanoLRRV18
Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri:
A REST-Based Development Framework for ASP: Tools and Application. 161-169
- view
  authority control:
- export record
  dblp key:
  - conf/padl/AdrianM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/AdrianM18
Weronika T. Adrian, Marco Manna:
Navigating Online Semantic Resources for Entity Set Expansion. 170-185
- view
  authority control:
- export record
  dblp key:
  - conf/padl/NguyenSP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/NguyenSP18
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.