Volume 27; Issue 3

Science of Computer Programming

Volume 27; Issue 3
1

An operational semantics of sharing in lazy evaluation

Jill Seaman, S.Purushothaman Iyer
Journal:
Science of Computer Programming
Year:
1996
Language:
english
File:
PDF, 2.22 MB
english, 1996
2

Differential logic programs: Programming methodologies and semantics

A Bossi, M Bugliesi, M Gabbrielli, G Levi, M.C Meo
Journal:
Science of Computer Programming
Year:
1996
Language:
english
File:
PDF, 3.41 MB
english, 1996
3

Professor Nobuo Yoneda (28 March 1930–22 April 1996)

Eiiti Wada, Akinori Yonezawa
Journal:
Science of Computer Programming
Year:
1996
Language:
english
File:
PDF, 122 KB
english, 1996
4

Announcement and call for papers

Journal:
Science of Computer Programming
Year:
1996
Language:
english
File:
PDF, 77 KB
english, 1996
5

Author index of volume 27 (1996)

Journal:
Science of Computer Programming
Year:
1996
Language:
english
File:
PDF, 46 KB
english, 1996
6

Memoizing purely functional top-down backtracking language processors

Richard A Frost, Barbara Szydlowski
Journal:
Science of Computer Programming
Year:
1996
Language:
english
File:
PDF, 1.61 MB
english, 1996