I have recently (Nov 10, 97) taken up a position at Telia Research AB. My new address is:
- Johan Boye
- Telia Research AB
- Spoken Language Processing
- S-136 80 Haninge, SWEDEN
(Former) Research Interests
Logic programming, esp. static analysis and verification of logic
programs, integration of functional and logic programming.
(Former) Teaching Activities
Languages and Automata Theory (TDDA89)
Introduction to Rewriting Systems (TDDB40) (used to be TDDA30
Programming Theory 2)
- Refereed Publications
- Directional Types and the Annotation Method (with Jan Maluszynski). Journal of Logic Programming , Vol. 33, No. 3, pp. 179-220, 1997.
Declarative Diagnosis of Constraint Programs: an Assertion
Based Approach (with Jan Maluszynski
and Wlodek Drabent).
In Proc. of
(Third Int. Workshop on Automated Debugging).
Aspects of Directional Types (with Jan Maluszynski).
In Proc. of the int'l conference on Logic Programming 95. The
Dynamic Delays in Functional Logic Programs.
In Proc. of the 5th Int'l symposium om Programming Language
Implementation and Logic Programming (PLILP'93) . Springer-Verlag
Programs with External Procedures (with Jan Maluszynski,
Andreas Kågedal and
In Logic Programming Languages: Constraints, Functions and
Objects. The MIT Press, 1993.
- Synthesis of
Directionality Information for Functional Logic Programs (with Jukka Paakki and
In Proc. of the 3rd int'l workshop on Static Analysis (WSA'93)
. Springer-Verlag, 1993.
an Operational Semantics for Logic programs with External Procedures.
In Proc. of the 3rd Int'l symposium om Programming Language
Implementation and Logic Programming (PLILP'91) . Springer-Verlag
- Theses and Reports