Kjell’s Computer Science Page
 
 
Interests
My interests in Computer Science include implementation and analysis issues for programming languages, programming environments, analysis of algorithms, software engineering, formal methods, and computer graphics.
 
My Erdös number is 4.  
 
Here you will find some of my articles in PDF format.
If you read them, please remember that email addresses in the headers are no longer current.
Also note that publishing these articles or using them for any commercial purpose is strictly forbidden.  
Email me if you have any questions.
  1. Prelude to Bump-mapping [bump-eng.pdf], explains how to derive partial derivatives for bump mapping.
  2. Ur skrynklig synvinkel [bump-se.pdf], förklarar hur man härleder partiella derivator för bump-mapping (svensk översättning av föregående artikel).
  3. Kompilatorkonstruktion [kompilator-kompendium.pdf], kompendium till 5-dagarskurs i kompilatorteknik för Ericsson.
  4. Introduction to PPower4 [p4.pdf] and MetaPost [metapost.pdf], seminar held at Mälardalen’s University in 2002.
Research Papers
  1. Kjell Post, Analysis and Transformation of Logic Programs [thesis.pdf], Ph.D. thesis, UCSC 1994.
  2. Kjell Post, Allen Van Gelder, James Kerr, Deterministic Parsing of Languages with Dynamic Operators [parse.pdf], Presented at ILPS’93.  Presentation is also available, [parse-talk.pdf]
  3. Kjell Post, Mutually Exclusive Rules in Logic Programming [mut.pdf]. Presented at ILPS’94.
  4. Kjell Post, Bottom-up Evaluation of Attribute Grammars, [atg.pdf], not submitted.
  5. Jan Gustafsson, Kjell Post, Jukka Mäki-Turja, Ellus Brorsson, Benefits of type inference for an object-oriented real-time language [oo-typeinf.pdf]. Presented at WOORTS’95, also appeared in OOPS Messenger, Vol. 7, No. 1, Jan 1996.
  6. Christer Eriksson, Jukka Mäki-Turja, Kjell Post, Mikael Gustafsson, Jan Gustafsson, Kristian Sandström, Ellus Brorsson, An Overview of RealTimeTalk - A Design Framework for Real-Time Systems [rtt.pdf]. Published in Journal of Parallel and Distributed Computing, Aug 1996.
  7. Jukka Mäki-Turja, Kjell Post, Jan Gustafsson, An Operational Semantics for Smalltalk [smalltalk.pdf].
Course notes