Keywords:
research, computer science, Software, imdea, imdea software, IMDEA Software Institute, pldi 2015
cliplab.org - Welcome to the CLIP Lab
Keywords:
core conference ranking, core ranking, Constraint Logic Programming, prolog rest_list
Keywords:
Ciao, prolog format, prolog iterative deepening, ciao language, prolog between
staticanalysis.org - Static Analysis Symposia Central Site
Keywords:
NSAD, sas 2017, sas 2018, sas2018, sas central
Keywords:
research, computer science, Software, imdea, imdea software, IMDEA Software Institute