Person: Ehud Y. Shapiro

DBLP: Shapiro:Ehud_Y=

Facilitated 1 volumes:

Ed

Contributed to:

2004

2004

2004

1998

1992

1991

1991

1991

1991

1991

1990

1989

1989

1989

1988

1988

1987

1986

1984

1984

1982

1982

Wrote 30 papers:

PEPM-2004-Shapiro #injection

Invited talk: injecting life with computers (EYS), p. 200.

PPDP-2004-Shapiro #injection

Invited talk: injecting life with computers (EYS), p. 6.

SAS-2004-Shapiro #injection

Injecting Life with Computers (EYS), p. 1.

ITiCSE-1998-HabermanSS #data type #development

Abstract data types as a project development organiser (BH, ZS, EYS), pp. 102–104.

CSCW-1992-GoldbergSS #framework #implementation

Active Mail — A Framework for Implementing Groupware (YG, MS, EYS), pp. 75–83.

ICLP-1991-MoscowitzS #logic programming #source code

Lexical Logic Programs (YM, EYS), pp. 349–363.

ICLP-1991-YardeniFS #logic programming #source code

Polymorphically Typed Logic Programs (EY, TWF, EYS), pp. 379–393.

ISLP-1991-FeldmanS #animation #debugging #visual notation

Temporal Debugging and its Visual Animation (YF, EYS), pp. 3–17.

LICS-1991-FruhwirthSVY #logic programming #source code

Logic Programs as Types for Logic Programs (TWF, EYS, MYV, EY), pp. 300–309.

POPL-1991-KleinmanMPS #communication #logic

Communication with Directed Logic Variables (AK, YM, AP, EYS), pp. 221–232.

STOC-1991-Shapiro #category theory #concurrent

Separating Concurrent Languages with Categories of Language Embeddings (EYS), pp. 198–208.

NACLP-1990-AlkalajLS #automaton #development

FCP Sequential Abstract Machine Characteristics for the Systems Development Workload (LA, TL, EYS), pp. 321–339.

NACLP-1990-KligerS #graph

From Decision Trees to Decision Graphs (SK, EYS), pp. 97–116.

LICS-1989-GaifmanS #logic programming #proving #semantics #source code

Proof Theory and Semantics of Logic Programs (HG, EYS), pp. 50–62.

NACLP-1989-GaifmanMS #behaviour #concurrent #constraints #logic programming #semantics #source code

Reactive Behaviour Semantics for Concurrent Constraint Logic Programs (HG, MJM, EYS), pp. 553–569.

POPL-1989-GaifmanS #composition #logic programming #semantics #source code

Fully Abstract Compositional Semantics for Logic Programs (HG, EYS), pp. 134–142.

JICSCP-1988-AlkalajS88 #architecture #concurrent #prolog

An Architectural Model for a Flat Concurrent Prolog Processor (LA, EYS), pp. 1277–1297.

JICSCP-1988-KlingerS88 #algorithm #compilation #exclamation

A Decision Tree Compilation Algorithm for FCP(!, : , ?) (SK, EYS), pp. 1315–1336.

JICSCP-1988-LichtensteinS88 #algorithm #debugging

Abstract Algorithmic Debugging (YL, EYS), pp. 512–531.

LICS-1988-GerthCLS #concurrent #prolog #semantics

Fully Abstract Denotational Semantics for Flat Concurrent Prolog (RG, MC, YL, EYS), pp. 320–335.

ICLP-1987-Shapiro87 #algorithm #execution #implementation #prolog

An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation (EYS), pp. 311–337.

ICLP-1987-TribbleMKBAS87 #named

Channels: A Generalization of Streams (EDT, MSM, KMK, DGB, CA, EYS), pp. 839–857.

ICLP-1986-CodishS86 #compilation

Compiling OR-parallelism into AND-parallelism (MC, EYS), pp. 283–297.

ICLP-1986-MahlerSS86 #approach #prolog

A New Approach for Intruducing Prolog to Naive Users (OM, ZS, EYS), pp. 544–551.

POPL-1984-Shapiro #concurrent #programming #prolog

Systems Programming in Concurrent Prolog (EYS), pp. 93–105.

SLP-1984-HellersteinS84 #algorithm #concurrent #experience #implementation #parallel #prolog

Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience (LH, EYS), pp. 99–115.

SLP-1984-ShapiroM84 #concurrent #implementation #prolog #self #specification

Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog (EYS, CM), pp. 83–90.

ILPC-1982-Shapiro82 #complexity #logic programming #source code

Alternation and the Computational Complexity of Logic Programs (EYS), pp. 154–163.

POPL-1982-Shapiro #algorithm

Algorithmic Program Diagnosis (EYS), pp. 299–308.