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 × France
1 × Italy
1 × United Kingdom
6 × USA
Collaborated with:
E.Ruf M.Katz R.F.Crew S.Seligman W.Y.Au M.D.Ernst B.Steensgaard R.Conybeare
Talks about:
special (3) program (3) function (2) partial (2) continu (2) automat (2) analysi (2) futur (2) evalu (2) use (2)

Person: Daniel Weise

DBLP DBLP: Weise:Daniel

Contributed to:

SAS 19991999
POPL 19941994
PLDI 19931993
PEPM 19921992
DAC 19911991
FPCA 19911991
PEPM 19911991
LFP 19901990
FPCA 19891989
DAC 19871987

Wrote 11 papers:

SAS-1999-Weise #static analysis
Static Analysis of Mega-Programs (DW), pp. 300–302.
POPL-1994-WeiseCES #dependence #graph #representation
Value Dependence Graphs: Representation without Taxation (DW, RFC, MDE, BS), pp. 297–310.
PLDI-1993-WeiseC #metaprogramming #programmable #syntax
Programmable Syntax Macros (DW, RFC), pp. 156–165.
PEPM-1992-KatzW #partial evaluation #towards
Towards a New Perspective on Partial Evaluation (MK, DW), pp. 29–37.
PEPM-1992-RufW #analysis #control flow #higher-order #using
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis (ER, DW), pp. 67–74.
DAC-1991-AuWS #automation #generative #simulation
Automatic Generation of Compiled Simulations through Program Specialization (WYA, DW, SS), pp. 205–210.
FPCA-1991-WeiseCRS #automation #online #partial evaluation
Automatic Online Partial Evaluation (DW, RC, ER, SS), pp. 165–191.
PEPM-1991-RufW #using
Using Types to Avoid Redundant Specialization (ER, DW), pp. 321–333.
LFP-1990-KatzW #continuation #interactive
Continuing into the Future: On the Interaction of Futures and First-Class Continuations (MK, DW), pp. 176–184.
FPCA-1989-RufW #functional #logic #nondeterminism #programming #unification
Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming (ER, DW), pp. 327–339.
DAC-1987-Weise #functional #verification
Functional Verification of MOS Circuits (DW), pp. 265–270.

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.