BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Winsborough:William_H=

Contributed to:

ICLP 20032003
JICSLP 19961996
PLILP 19961996
ICALP 19931993
ILPS 19931993
ICALP 19921992
WSA 19921992
ILPS 19911991
LICS 19911991
ICLP 19901990
NACLP 19891989
ICLP/SPL 19881988
SLP 19871987

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.