Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 15; Issue 5-6

Journal of Symbolic Computation

Volume 15; Issue 5-6
1

Special issue automatic programming—foreword of the guest editors

Année:
1993
Langue:
english
Fichier:
PDF, 157 KB
english, 1993
2

Deductive and inductive synthesis of equational programs

Année:
1993
Langue:
english
Fichier:
PDF, 1.59 MB
english, 1993
4

Origin tracking

Année:
1993
Langue:
english
Fichier:
PDF, 1.58 MB
english, 1993
6

Constructing specification morphisms

Année:
1993
Langue:
english
Fichier:
PDF, 1.69 MB
english, 1993
7

Synthesis of ML programs in the system Coq

Année:
1993
Langue:
english
Fichier:
PDF, 1.81 MB
english, 1993
8

QPC2: A constructive calculus with parameterized specifications

Année:
1993
Langue:
english
Fichier:
PDF, 1.44 MB
english, 1993
10

On the mechanical derivation of loop invariants

Année:
1993
Langue:
english
Fichier:
PDF, 2.23 MB
english, 1993
11

Logical debugging

Année:
1993
Langue:
english
Fichier:
PDF, 1.59 MB
english, 1993
12

Logic program synthesis from incomplete specifications

Année:
1993
Langue:
english
Fichier:
PDF, 1.67 MB
english, 1993
13

Synthesis of real time acceptors

Année:
1993
Langue:
english
Fichier:
PDF, 1.51 MB
english, 1993