Volume 15; Issue 5-6

Journal of Symbolic Computation

Volume 15; Issue 5-6
1

Special issue automatic programming—foreword of the guest editors

Year:
1993
Language:
english
File:
PDF, 157 KB
english, 1993
2

Deductive and inductive synthesis of equational programs

Year:
1993
Language:
english
File:
PDF, 1.59 MB
english, 1993
4

Origin tracking

Year:
1993
Language:
english
File:
PDF, 1.58 MB
english, 1993
6

Constructing specification morphisms

Year:
1993
Language:
english
File:
PDF, 1.69 MB
english, 1993
7

Synthesis of ML programs in the system Coq

Year:
1993
Language:
english
File:
PDF, 1.81 MB
english, 1993
8

QPC2: A constructive calculus with parameterized specifications

Year:
1993
Language:
english
File:
PDF, 1.44 MB
english, 1993
10

On the mechanical derivation of loop invariants

Year:
1993
Language:
english
File:
PDF, 2.23 MB
english, 1993
11

Logical debugging

Year:
1993
Language:
english
File:
PDF, 1.59 MB
english, 1993
12

Logic program synthesis from incomplete specifications

Year:
1993
Language:
english
File:
PDF, 1.67 MB
english, 1993
13

Synthesis of real time acceptors

Year:
1993
Language:
english
File:
PDF, 1.51 MB
english, 1993