Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

26th WFLP 2018: Frankfurt/Main, Germany

> Home > Conferences and Workshops > WFLP

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/wflp/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/2018
Josep Silva:
Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11285, Springer 2019, ISBN 978-3-030-16201-6

Compilers and Code Generation

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/DassevilleD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/DassevilleD18
Ingmar Dasseville, Marc Denecker:
Transpiling Programming Computable Functions to Answer Set Programs. 3-17
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/Vivekanandan18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/Vivekanandan18
Paventhan Vivekanandan:
Code Generation for Higher Inductive Types - A Study in Agda Metaprogramming. 18-35

Debugging and Testing

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/EfremidisSKK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/EfremidisSKK18
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner:
Measuring Coverage of Prolog Programs Using Mutation Testing. 39-55
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/FredlundM0T18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/FredlundM0T18
Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit:
Runtime Verification in Erlang by Using Contracts. 56-73
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/0001T18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/0001T18
Sergio Pérez, Salvador Tamarit:
Enhancing POI Testing Through the Use of Additional Information. 74-90

Foundations of Functional Logic Programming

- view
  authority control:
- export record
  dblp key:
  - conf/wflp/AntoyHT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/AntoyHT18
Sergio Antoy, Michael Hanus, Finn Teegen:
Synthesizing Set Functions. 93-111
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/0001K18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/0001K18
Henning Christiansen, Maja H. Kirkeby:
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. 112-130
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/Dageforde18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/Dageforde18
Jan C. Dageförde:
Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming. 131-144
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/DassevilleJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/DassevilleJ18
Ingmar Dasseville, Gerda Janssens:
FMS: Functional Programming as a Modelling Language. 145-161
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/UlmGJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/UlmGJ18
Gregor Ulm, Emil Gustavsson, Mats Jirstrand:
Functional Federated Learning in Erlang (ffl-erl). 162-178

a service of

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.