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: Maluszynski:Jan
Facilitated 4 volumes:
Contributed to:
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.
- NACLP-1989-MaluszynskiN
- 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.