International Symposium on Logic-based Program Synthesis and Transformation - PDFSEARCH.IO - Document Search Engine

International Symposium on Logic-based Program Synthesis and Transformation
Results: 7

#	Item
1	Call for papers 22nd International Symposium on Logic-Based Program Synthesis and Transformation http://costa.ls.fi.upm.es/lopstr12/ 18–20 September, 2012, Leuven, Belgium (co-located with PPDP 2012) Add to Reading List Source URL: costa.ls.fi.upm.es Language: English - Date: 2011-12-14 00:30:08
2	Pre-Proceedings of LOPSTR 2008 The 18th International Symposium on Logic-Based Program Synthesis and Transformation Michael Hanus (Ed.) Technical University of Valencia (Spain). July 2008 Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2008-07-21 11:38:27 Route of the Borgias Valencia Geography of Spain
3	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: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
4	Call for papers 21th International Symposium on Logic-Based Program Synthesis and Transformation http://users.dsic.upv.es/~lopstr11/ 18–20 July, 2011, Odense, Denmark (co-located with PPDP 2011, AAIP 2011 and WFLP 2011 Add to Reading List Source URL: users.dsic.upv.es Language: English - Date: 2011-03-28 09:25:03 Computer science Computing Software International Symposium on Logic-based Program Synthesis and Transformation Logic programming Cyc
5	Manuel Hermenegildo Areas of Interest Advanced Program Development Technology, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Abstract Machines, Parallelizing Compilers, Resource-Aware Di Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-08-06 12:15:35 Formal sciences International Conference on Logic Programming Logic programming Association for Computing Machinery CiteSeer Federated Logic Conference International Symposium on Logic-based Program Synthesis and Transformation Logic Lecture Notes in Computer Science Computer science Science Computing
6	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: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
7	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: clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering

UPDATE