Johan Boye
Address
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
Email:
jb@trab.se
(Former) Research Interests
Logic programming, esp. static analysis and verification of logic
programs, integration of functional and logic programming.
(Former) Teaching Activities
Formal
Languages and Automata Theory (TDDA89)
Introduction to Rewriting Systems (TDDB40) (used to be TDDA30
Programming Theory 2)
Publications
- 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
AADEBUG'97
(Third Int. Workshop on Automated Debugging).
- Two
Aspects of Directional Types (with Jan Maluszynski).
In Proc. of the int'l conference on Logic Programming 95. The
MIT Press.
- Avoiding
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
1993.
- Logic
Programs with External Procedures (with Jan Maluszynski,
Staffan Bonnier,
Feliks Kluzniak,
Andreas Kågedal and
Ulf Nilsson).
In Logic Programming Languages: Constraints, Functions and
Objects. The MIT Press, 1993.
- Synthesis of
Directionality Information for Functional Logic Programs (with Jukka Paakki and
Jan Maluszynski).
In Proc. of the 3rd int'l workshop on Static Analysis (WSA'93)
. Springer-Verlag, 1993.
- S-SLD-resolution:
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
1991.
- Theses and Reports