ICLP - PDFSEARCH.IO - Document Search Engine

ICLP
Results: 39

#	Item
11	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: cliplab.org Language: English - Date: 2014-07-12 00:42:10 International Conference on Logic Programming Symposium on Principles of Programming Languages ICLP Association for Computing Machinery Logic programming Logic Prolog
12	About ICLP Introduction Written by Administrator Thursday, 13 March:48 The International Chinese Language Program (ICLP), the world’s premier institution for the instruction of both modern and classical Add to Reading List Source URL: www.oia.ntu.edu.tw Language: English - Date: 2015-10-22 23:49:02
13	25th International Conference on Lightning Protection ICLP 2000 Rhodes - GreeceSeptember 2000 Add to Reading List Source URL: ancient.hydro.nsc.ru - Date: 2000-07-24 11:25:42
14	About ICLP Introduction Written by Administrator Thursday, 13 March:48 The International Chinese Language Program (ICLP), the world’s premier institution for the instruction of both modern and classical Add to Reading List Source URL: www.oia.ntu.edu.tw Language: English
15	DFPP_ICLP-15_withAppendix.dvi Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2015-07-21 10:41:19
16	DFPP_ICLP-15_withAppendix.dvi Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2015-07-21 10:41:19
17	ICLP 2009 Conference Program Pasadena, CA, USA July 14-17, 2009 Add to Reading List Source URL: www.ist.unomaha.edu Language: English - Date: 2013-02-14 03:45:55
18	Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http://www.floc-conference.org/ICLP-home.html A Framework for Verification and Debugging of Resource Usage Proper Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2010-11-17 08:33:52
19	Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http://www.floc-conference.org/ICLP-home.html CONTRACTIBILITY AND CONTRACTIBLE APPROXIMATIONS OF SOFT GLOBAL CONS Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2010-04-09 11:45:20
20	Warren’s Abstract Machine A Tutorial Reconstruction Hassan Aıt-Kaci ICLP’91 Pre-Conference Tutorial Add to Reading List Source URL: wambook.sourceforge.net Language: English - Date: 2005-03-21 20:04:02 Prolog Limit Heap Variable Mathematics Algebraic structures Functor

UPDATE