dblp: LOPSTR 2014

24th LOPSTR 2014: Canterbury, UK

SPARQL queries 

Refine list

showing all ?? records

Program Analysis and Transformation

Constraint Handling Rules

Termination Analysis

Security

Program Testing and Verification

Program Synthesis

Program Derivation

Semantic Issues in Logic Programming

Program Transformation and Optimization