![]() | ![]() |
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 |
1 | Andreas Kågedal | [6] |
2 | Miroslawa Milkowska | [4] [7] [8] |
3 | Stan Szpakowicz | [1] |