СТ |
A Parallel Implementation of Flat Concurrent Prolog |
1987 |
Taylor S., Safra S., Shapiro E. |
|
|
|
Intern. J. Parallel Programming |
26.05.1995 |
СТ |
Temporal Debugging and its Visual Animation |
1991 |
Feldman Y., Shapiro E. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
СТ |
From Decision Trees to Decision Graphs |
1990 |
Kliger S., Shapiro E. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
СТ |
FCP Sequential Abstract Machine Characteristics for the Systems Development Workload |
1990 |
Alkalaj L., Lang T., Shapiro E. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
СТ |
An Architectural Model for a Flat Concurrent Prolog Processor |
1988 |
Alkalaj L., Shapiro E. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
17.10.1994 |
СТ |
A Decision Tree Compilation Algorithm for FCP( ,:,?) |
1988 |
Kliger S., Shapiro E. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
17.10.1994 |
СТ |
Abstract Algorithmic Debugging |
1988 |
Lichtenstein Y., Shapiro E. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
03.10.1994 |
СТ |
Lexical Logic Programs |
1991 |
Moscowitz Y., Shapiro E. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
СТ |
Polymorphically Typed Logic Programs |
1991 |
Yardeni E., Fruehwirth T., Shapiro E. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
СТ |
Spatial Machines: A More Realistic Approach to Parallel Communication |
1992 |
Feldman Y., Shapiro E. |
|
|
|
Communications of the ACM |
17.11.1992 |
СТ |
Embeddings Among Concurrent Programming Languages |
1992 |
Shapiro E. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |