BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Komorowski:Henryk_Jan

Contributed to:

LOPSTR 19961996
SLP 19851985
POPL 19821982

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.