The mode system of moded flat GHC

Specification of Parallel Algorithms - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/018/17 ◽

1994 ◽

pp. 259-274

Author(s):

Kazunori Ueda

Keyword(s):

Download Full-text

Message-oriented parallel implementation of Moded Flat GHC

New Generation Computing ◽

10.1007/bf03037181 ◽

1993 ◽

Vol 11 (3-4) ◽

pp. 323-341 ◽

Author(s):

Kazunori Ueda ◽

Masao Morita

Keyword(s):

Parallel Implementation ◽

Oriented Parallel ◽

Download Full-text

Proving Correctness of Translation from Moded Flat GHC to π-Calculus

Logic Programming ◽

10.7551/mitpress/4298.003.0080 ◽

1995 ◽

Keyword(s):

Π Calculus ◽

Download Full-text

Moded flat GHC and its message-oriented implementation technique

New Generation Computing ◽

10.1007/bf03038307 ◽

1994 ◽

Vol 13 (1) ◽

pp. 3-43 ◽

Author(s):

Kazunori Ueda ◽

Masao Morita

Keyword(s):

Implementation Technique ◽

Download Full-text