BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Belgium
1 × Italy
1 × Japan
2 × France
3 × USA
Collaborated with:
S.Bonnier P.Dembinski J.Boye T.Näslund P.Deransart H.J.Komorowski J.F.Nilsson W.Drabent J.Paakki G.Lindstrom T.Ogi
Talks about:
program (9) logic (9) grammar (3) two (3) procedur (2) function (2) amalgam (2) toward (2) extern (2) direct (2)

Person: Jan Maluszynski

DBLP DBLP: Maluszynski:Jan

Facilitated 4 volumes:

ILPS 1997Ed
PLILP 1991Ed
PLILP 1990Ed
PLILP 1988Ed

Contributed to:

ICLP 19951995
WSA 19931993
PLILP 19921992
NACLP 19891989
ICLP/SPL 19881988
PLILP 19881988
SLP 19851985
ILPC 19821982
ICALP 19791979
TAPSOFT, Vol.2: CFLP 19871987

Wrote 12 papers:

ICLP-1995-BoyeM #aspect-oriented
Two Aspects of Directional Types (JB, JM), pp. 747–761.
WSA-1993-BoyePM #functional #logic programming #source code #synthesis
Synthesis of Directionality Information for Functional Logic Programs (JB, JP, JM), pp. 165–177.
PLILP-1992-LindstromMO #functional #logic programming
Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems (GL, JM, TO), pp. 428–442.
Fail Substitutions for Negation as Failure (JM, TN), pp. 461–476.
JICSCP-1988-BonnierM88 #logic programming #source code #towards
Towards a Clean Amalgamation of Logic Programs with External Procedures (SB, JM), pp. 311–326.
PLILP-1988-BonnierM #logic programming #source code #towards
Towards a Clean Amalgamation of Logic Programs with External Procedures (SB, JM), pp. 20–34.
PLILP-1988-DeransartM #logic programming
A Grammatical View of Logic Programming (PD, JM), pp. 219–251.
SLP-1985-DembinskiM85 #backtracking #logic programming #source code
AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs (PD, JM), pp. 29–38.
SLP-1985-MaluszynskiK85 #execution #logic programming #source code
Unification-Free Execution of Logic Programs (JM, HJK), pp. 78–86.
ILPC-1982-MaluszynskiN82 #comparison #logic programming #programming language #prolog
A Comparison of the Logic Programming Language Prolog with Two-levels Grammars (JM, JFN), pp. 193–199.
ICALP-1979-DembinskiM #equation #two-level grammar
Two Level Grammars: CF-Grammars with Equation Schemes (PD, JM), pp. 171–187.
CFLP-1987-DrabentM #induction #logic programming #source code
Inductive Assertion Method for Logic Programs (WD, JM), pp. 167–181.

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.