Travelled to:1 × Austria
1 × Canada
1 × India
1 × Israel
1 × Sweden
1 × The Netherlands
2 × Germany
4 × USA
Collaborated with:∅ M.Falaschi A.Cortesi G.Filé G.Weyer M.Codish K.Marriott G.Gudjonsson I.T.Foster A.Wærn P.Hicks D.Jacobs A.Langen A.Mulkers M.Bruynooghe
Talks about:analysi (8) program (5) logic (4) constraint (3) abstract (3) concurr (3) time (3) interpret (2) transpar (2) structur (2)
Person: William H. Winsborough
DBLP: Winsborough:William_H=
Contributed to:
20031996
1996
199319931992
19921991
19911990198919881987Wrote 14 papers:
- ICLP-2003-Winsborough #distributed #logic programming
- A Logic Programming View of Authorization in Distributed Systems (WHW), pp. 20–46.
- JICSLP-1996-FalaschiHW #analysis #concurrent #constraints #source code
- Demand Transformation Analysis for Concurrent Constraint Programs (MF, PH, WHW), pp. 333–347.
- PLILP-1996-WeyerW #analysis #graph #prolog
- Annotated Structure Shape Graphs for Abstract Analysis of Prolog (GW, WHW), pp. 92–106.
- ICALP-1993-CodishFMW #analysis #concurrent #constraints #logic programming #performance #source code
- Efficient Analysis of Concurrent Constraint Logic Programs (MC, MF, KM, WHW), pp. 633–644.
- ILPS-1993-GudjonssonW #overview
- Update In Place: Overview of the Siva Project (GG, WHW), pp. 94–113.
- ICALP-1992-CortesiFW #abstract interpretation #comparison
- Comparison of Abstract Interpretations (AC, GF, WHW), pp. 521–532.
- WSA-1992-CodishFMW #analysis #concurrent #constraints #logic programming #performance #source code
- Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs (MC, MF, KM, WHW), pp. 35–42.
- ISLP-1991-FosterW #analysis #reuse
- Copy Avoidance through Compile-Time Analysis and Local Reuse (ITF, WHW), pp. 455–469.
- LICS-1991-CortesiFW #abstract domain #analysis
- Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis (AC, GF, WHW), pp. 322–327.
- CLP-1990-JacobsLW90 #logic programming #multi #runtime #source code
- Multiple Specialization of Logic Programs with Run-Time Test (DJ, AL, WHW), pp. 717–731.
- CLP-1990-MulkersWB90 #analysis #data type
- Analysis of Shared Data Structures for Compile-Time Garbage (AM, WHW, MB), pp. 747–762.
- NACLP-1989-Winsborough #analysis #multi #reachability
- Path-Dependent Reachability Analysis for Multiple Specialization (WHW), pp. 133–153.
- JICSCP-1988-WinsboroughW88
- Transparent And-Parallelism in the Presence of Shared Free Variables (WHW, AW), pp. 749–764.
- SLP-1987-Winsborough87 #parallel #semantics
- Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures (WHW), pp. 134–152.