1996

Benefits of type inference for an object-oriented real-time language.

[DOI]

OOPS Messenger, 1996

An Overview of RealTimeTalk, a Design Framework for Real-Time Systems.

[DOI]

J. Parallel Distributed Comput., 1996

1994

Analysis and Transformation of Logic Programs.

PhD thesis, 1994

Mutally Exclusive Rules in Logic Programming.

Proceedings of the Logic Programming, 1994

1993

Deterministic Parsing of Languages with Dynamic Operators.

Proceedings of the Logic Programming, 1993