Volume 6; Issue 2-3

New Generation Computing

Volume 6; Issue 2-3
1

Preface for the special issue

Dines Bjørner
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 104 KB
english, 1988
2

Opening key-note speech

Andrei P. Ershov
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 450 KB
english, 1988
3

Scientific foreword

Neil D. Jones
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 184 KB
english, 1988
4

A self-applicable partial evaluator and its use in incremental compilation

Hiroshi Fujita, Koichi Furukawa
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 1.22 MB
english, 1988
5

Mixed computation of Prolog programs

David A. Fuller, Samson Abramsky
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 1.07 MB
english, 1988
6

Unfolding rules for GHC programs

Koichi Furukawa, Akira Okumura, Masaki Murakami
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 562 KB
english, 1988
7

Specialisation of Prolog and FCP programs using abstract interpretation

John Gallagher, Michael Codish, Ehud Shapiro
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 1.31 MB
english, 1988
8

Partial evaluation with inference rules

Laurent Hascoët
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 1.09 MB
english, 1988
9

Composing recursive logic programs withClausal join

A. Lakhotia, L. Sterling
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 662 KB
english, 1988
10

Partial evaluation of metaprograms in a “multiple worlds” logic language

Giorgio Levi, Giuseppe Sardu
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 1.08 MB
english, 1988
11

Partial evaluation of queries in deductive databases

Chiaki Sakama, Hidenori Itoh
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 412 KB
english, 1988
12

Competitive partial evaluation

Akikazu Takeuchi, Hiroshi Fujita
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 796 KB
english, 1988
13

A partial evaluation system for Prolog: some practical considerations

Raf Venken, Bart Demoen
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 491 KB
english, 1988
14

Challenging problems in partial evaluation and mixed computation

Neil D. Jones
Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 542 KB
english, 1988
15

Terminology

Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 205 KB
english, 1988
16

Annotated bibliography on partial evaluation and mixed computation

Journal:
New Generation Computing
Year:
1988
Language:
english
File:
PDF, 1.97 MB
english, 1988
17

Acknowledgement

Journal:
New Generation Computing
Year:
1988
File:
PDF, 19 KB
1988
18

List of participants

Journal:
New Generation Computing
Year:
1988
File:
PDF, 66 KB
1988