Travelled to:1 × Sweden
2 × USA
Collaborated with:J.Maluszynski ∅ M.Matskin J.Krogstie
Talks about:structur (2) program (2) partial (2) implement (1) framework (1) synthesi (1) inferenc (1) languag (1) theori (1) prolog (1)
Person: Henryk Jan Komorowski
DBLP: Komorowski:Henryk_Jan
Contributed to:
1996
1985
1982Wrote 3 papers:
- LOPSTR-1996-MatskinKK #deduction #framework #source code #synthesis
- Partial Deduction in the Framework of Structural Synthesis of Programs (MM, HJK, JK), pp. 239–255.
- SLP-1985-MaluszynskiK85 #execution #logic programming #source code
- Unification-Free Execution of Logic Programs (JM, HJK), pp. 78–86.
- POPL-1982-Komorowski #data type #implementation #partial evaluation #prolog
- Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog (HJK), pp. 255–267.