Daniel Weise

19 papers A* 5B 1C 3Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
1999 B conf
Static Analysis of Mega-Programs.
SAS
Daniel Weise
1994 A* conf
Value Dependence Graphs: Representation without Taxation.
POPL
Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard
1993 J jnl
On the Specialization of Online Program Specializers.
J. Funct. Program.
Erik Ruf, Daniel Weise
1993 A* conf
Programmable Syntax Macros.
PLDI
Daniel Weise, Roger F. Crew
1992 C conf
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis.
PEPM
Erik Ruf, Daniel Weise
1992 C conf
Towards a New Perspective on Partial Evaluation.
PEPM
Morry Katz, Daniel Weise
1991 A* conf
Automatic Generation of Compiled Simulations through Program Specialization.
DAC
Wing Yee Au, Daniel Weise, Scott Seligman
1991 — conf
Automatic Online Partial Evaluation.
FPCA
Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman
1991 C conf
Using Types to Avoid Redundant Specialization.
PEPM
Erik Ruf, Daniel Weise
1990 J jnl
Compiling Scientific Code Using Partial Evaluation.
Computer
Andrew A. Berlin, Daniel Weise
1990 — conf
Continuing into the Future: On the Interaction of Futures and First-Class Continuations.
LISP and Functional Programming
Morry Katz, Daniel Weise
1990 J jnl
LogScheme: Integrating Logic Programming into Scheme.
LISP Symb. Comput.
Erik Ruf, Daniel Weise
1990 J jnl
Multilevel verification of MOS circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Daniel Weise
1989 A* conf
Constraint Posting for Verifying VLSI Circuits.
IJCAI
Daniel Weise
1989 — conf
Constraints, Abstraction and Verification.
Hardware Specification, Verification and Synthesis
Daniel Weise
1989 — conf
Continuing Into the Future: On the Interaction of Futures and First-Class Continuations.
Workshop on Parallel Lisp
Morry Katz, Daniel Weise
1989 — conf
Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming.
FPCA
Erik Ruf, Daniel Weise
1987 A* conf
Functional Verification of MOS Circuits.
DAC
Daniel Weise
1986 J jnl
On Time versus Space III.
Math. Syst. Theory
Joseph Y. Halpern, Michael C. Loui, Albert R. Meyer, Daniel Weise