Kjell Post

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

Jukka Mäki-Turja, Jan Gustafsson, Kjell Post, 1996, OOPS.

Analysis and Transformation of Logic Programs

Kjell Post, Kjell Post, 1994 .

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

Jukka Mäki-Turja, Kristian Sandström, Mikael Gustafsson, 1996, J. Parallel Distributed Comput..

Mutally Exclusive Rules in Logic Programming

Kjell Post, Kjell Post, 1994, ILPS.

Deterministic Parsing of Languages with Dynamic Operators

Allen Van Gelder, James Kerr, Kjell Post, 1993, ILPS.