Analysis and specialisation of a PIC processor

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 2, Issue , 2004, Pages 1131-1135

  Henriksen, Kim S ^a   Gallagher, John P ^a  

^a ROSKILDE UNIVERSITY   (Denmark)

Author keywords

Abstract interpretation; Analysis; Emulation; Partial evaluation; PIC processor

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER PROGRAMMING; COMPUTER SIMULATION; DATA ACQUISITION; HARDWARE; LOGIC PROGRAMMING; PATTERN RECOGNITION; PROGRAM PROCESSORS; SEMANTICS;

ABSTRACT INTERPRETATION; EMULATION; PARTIAL EVALUATION; PIC PROCESSORS; WEARABLE COMPUTING;

MICROPROCESSOR CHIPS;

EID: 15744401222     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. [ASA05] ASAP. Advanced Specialization and Analysis for Pervasive Systems: EU Framework 5 Project IST-2001-38059. http://www.clip.dia.fi.upm.es/projects/ ASAP/2002-2005.
2. [BK96] F. Benoy and A. King. Inferring argument size relationships with CLP(R). In J.P. Gallagher, editor, Logic-Based Program Synthesis and Transformation (LOPSTR'96), volume 1207 of Springer-Verlag Lecture Notes in Computer Science, pages 204-223, August 1996.
3. [CC77] P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the 4th ACM Symposium on Principles of Programming Languages, Los Angeles, pages 238-252, 1977.
4. [CH78] P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of the 5th Annual ACM Symposium on Principles of Programming Languages, pages 84-96, 1978.
5. [Ga193] J. Gallagher. Specialisation of logic programs: A tutorial. In Proceedings PEPM'93, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 88-98, Copenhagen, June 1993. ACM Press.
6. [Ga103] J. P. Gallagher. A Program Transformation for Backwards Analysis of Logic Programs. In M. Bruynooghe, editor, Proceedings of the International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2003), LNCS. Springer-Verlag, 2003. (to appear).
7. [GH04] J. P. Gallagher and K.S. Henriksen. Abstract domains based on regular types. In V. Lifschitz and B. Demoen, editors, Proceedings of the International Conference on Logic Programming (ICLP'2004), Springer-Verlag Lecture Notes in Computer Science. Springer Verlag, 2004. (to appear).
8. [GP01] J. P. Gallagher and J. C. Peralta. Regular tree languages as an abstract domain in program specialisation. Higher Order and Symbolic Computation, 14(2,3):143-172, 2001.
9. [GP02] J. Gallagher and G. Puebla. Abstract Interpretation over Non-Deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. In Fourth International Symposium on Practical Aspects of Declarative Languages (PADL'02), LNCS. Springer-Verlag, January 2002. Accepted for publication.
10. [HBPL99] M. V. Hermenegildo, F. Bueno, G. Puebla, and P. López. Program analysis, debugging, and optimization using the Ciao system preprocessor. In D. De Schreye, editor, Proceedings of ICLP 1999: International Conference on Logic Programming, Las Cruces, New Mexico, USA, pages 52-66. MIT Press, 1999.
11. [LJ99] M. Leuschel and J. Jørgensen. Efficient specialisation in Prolog using the hand-written compiler generator LOGEN. Electr. Notes Theor. Comput. Sci. 30(2), 1999.