default search action

combined dblp search
author search
venue search
publication search

ask others

23rd PADL 2021: Copenhagen, Denmark

> 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/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/2021
José F. Morales, Dominic A. Orchard:
Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings. Lecture Notes in Computer Science 12548, Springer 2021, ISBN 978-3-030-67437-3

Foundations and Programming Concepts

- view
  authority control:
- export record
  dblp key:
  - conf/padl/Tarau21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Tarau21
Paul Tarau:
A Family of Unification-Oblivious Program Transformations and Their Applications. 3-19
- view
  authority control:
- export record
  dblp key:
  - conf/padl/YoungGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/YoungGG21
David Young, Mark Grebe, Andy Gill:
On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages. 20-36
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ChuangIZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ChuangIZ21
Cheng-En Chuang, Grant Iraci, Lukasz Ziarek:
Synchronous Message-Passing with Priority. 37-53
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/padl/ShivkumarNZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ShivkumarNZ21
Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek:
Putting Gradual Types to Work. 54-70

Applications of Declarative Languages

- view
  authority control:
- export record
  dblp key:
  - conf/padl/TardivoPSP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/TardivoPSP21
Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli:
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. 73-89
- view
  authority control:
- export record
  dblp key:
  - conf/padl/AlvianoDZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/AlvianoDZ21
Mario Alviano, Carmine Dodaro, Arnel Zamayla:
Data Validation Meets Answer Set Programming. 90-106
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Hanus21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Hanus21
Michael Hanus:
Lightweight Declarative Server-Side Web Programming. 107-123

Declarative Approaches to Testing and Debugging

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/padl/PadhiyarS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/PadhiyarS21
Sumit Padhiyar, K. C. Sivaramakrishnan:
ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs. 127-144
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Gonzalez-AbrilV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Gonzalez-AbrilV21
Juan José González-Abril, Germán Vidal:
Causal-Consistent Reversible Debugging: Improving CauDEr. 145-160
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Almendros-Jimenez21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Almendros-Jimenez21
Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón:
Declarative Debugging of XML Queries. 161-177

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.