dblp.uni-trier.dewww.uni-trier.de

Feliks Kluzniak

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997
8 Feliks Kluzniak, Miroslawa Milkowska: Spill - A Logic Language for Writing Testable Requirements Specifications. Sci. Comput. Program. 28(2-3): 193-223 (1997)
1994
7 Feliks Kluzniak, Miroslawa Milkowska: Readable, Runnable Requirements Specifications in SPILL-2. PLILP 1994: 449-450
1991
6 Andreas Kågedal, Feliks Kluzniak: Enriching Prolog with S-Unification. Declarative Programming 1991: 51-65
1988
5 Feliks Kluzniak: Compile Time Garbage Collection for Ground Prolog. ICLP/SLP 1988: 1490-1505
4 Feliks Kluzniak, Miroslawa Milkowska: Towards a "Middle Road" Methodology for Writing Code Generators. PLILP 1988: 105-118
1987
3 Feliks Kluzniak: Type Synthesis for Ground Prolog. ICLP 1987: 788-816
1984
2 Feliks Kluzniak: The 'Marseille Interpreter' - a Personal Perspective. Implementations of Prolog 1984: 65-70
1 Feliks Kluzniak, Stan Szpakowicz: Prolog - a Panacea? Implementations of Prolog 1984: 71-84

Coauthor Index

1Andreas Kågedal [6]
2Miroslawa Milkowska [4] [7] [8]
3Stan Szpakowicz [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)