Functional and Constraint Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030162016, 9783030162023
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Runtime Verification in Erlang by Using Contracts

2019 ◽  
pp. 56-73
Author(s):  
Lars-Åke Fredlund ◽  
Julio Mariño ◽  
Sergio Pérez ◽  
Salvador Tamarit
Keyword(s):  
Runtime Verification

scholarly journals Measuring Coverage of Prolog Programs Using Mutation Testing

2019 ◽  
pp. 39-55 ◽  
Author(s):  
Alexandros Efremidis ◽  
Joshua Schmidt ◽  
Sebastian Krings ◽  
Philipp Körner
Keyword(s):  
Mutation Testing ◽  
Prolog Programs

scholarly journals Synthesizing Set Functions

2019 ◽  
pp. 93-111
Author(s):  
Sergio Antoy ◽  
Michael Hanus ◽  
Finn Teegen
Keyword(s):  
Set Functions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document