Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers / Germán Puebla (ed.)
Invited talks -- Program development -- Partial evaluation and program transformation -- Security and synthesis -- Debugging and testing -- Termination and analysis
Analysis
wiskunde
mathematics
programmeren
programming
computerwetenschappen
computer sciences
kunstmatige intelligentie
artificial intelligence
logica
logic
Information and Communication Technology (General)