| Abstract interpretation of pic programs through logic programming KS Henriksen, JP Gallagher 2006 Sixth IEEE International Workshop on Source Code Analysis and …, 2006 | 50 | 2006 |
| Abstract domains based on regular types JP Gallagher, KS Henriksen Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo …, 2004 | 36 | 2004 |
| Fully automatic binding-time analysis for Prolog SJ Craig, JP Gallagher, M Leuschel, KS Henriksen Logic Based Program Synthesis and Transformation: 14th International …, 2005 | 30 | 2005 |
| Techniques for scaling up analyses based on pre-interpretations JP Gallagher, KS Henriksen, G Banda Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005 | 27 | 2005 |
| Analysis and specialisation of a PIC processor KS Henriksen, JP Gallagher 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat …, 2004 | 11 | 2004 |
| Experiments with a convex polyhedral analysis tool for logic programs K Henriksen, G Banda, J Gallagher arXiv preprint arXiv:0712.2737, 2007 | 8 | 2007 |
| A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software KS Henriksen Computer Science Research Report, 1-219, 2010 | 2 | 2010 |
| A web-based tool combining different type analyses K Henriksen, J Gallagher arXiv preprint cs/0701110, 2007 | 1 | 2007 |
| Computer Science Research Report: A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software.# 117 KS Henriksen | | 2007 |
John P GallagherRoskilde UniversityPotvrđena adresa e-pošte na ruc.dk
