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: Weise:Daniel
Contributed to:
1999
1994
1993
1992
1991
19911991
199019891987Wrote 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.