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 × Estonia
1 × Germany
1 × Italy
1 × Japan
Collaborated with:
∅ J.Maluszynski J.Paakki
Talks about:
program (3) logic (3) function (2) direct (2) synthesi (1) procedur (1) resolut (1) semant (1) inform (1) extern (1)

Person: Johan Boye

DBLP DBLP: Boye:Johan

Contributed to:

ICLP 19951995
PLILP 19931993
WSA 19931993
PLILP 19911991

Wrote 4 papers:

ICLP-1995-BoyeM #aspect-oriented
Two Aspects of Directional Types (JB, JM), pp. 747–761.
PLILP-1993-Boye #functional #logic programming #source code
Avoiding Dynamic Delays in Functional Logic Programs (JB), pp. 12–27.
WSA-1993-BoyePM #functional #logic programming #source code #synthesis
Synthesis of Directionality Information for Functional Logic Programs (JB, JP, JM), pp. 165–177.
PLILP-1991-Boye #logic programming #named #semantics #source code
S-SLD-resolution — An Operational Semantics for Logic Programs with External Procedures (JB), pp. 383–393.
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.