Daniel Weise

According to our database, Daniel Weise authored at least 18 papers between 1986 and 1999.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1999

Static Analysis of Mega-Programs.

Daniel Weise

Proceedings of the Static Analysis, 6th International Symposium, 1999

1994

Value Dependence Graphs: Representation without Taxation.

Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993

On the Specialization of Online Program Specializers.

Erik Ruf, Daniel Weise

J. Funct. Program., 1993

Programmable Syntax Macros.

Daniel Weise, Roger F. Crew

Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

1992

Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis.

Erik Ruf, Daniel Weise

Proceedings of the PEPM'92, 1992

Towards a New Perspective on Partial Evaluation.

Morry Katz, Daniel Weise

Proceedings of the PEPM'92, 1992

1991

Using Types to Avoid Redundant Specialization.

Erik Ruf, Daniel Weise

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

Automatic Online Partial Evaluation.

Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

Automatic Generation of Compiled Simulations through Program Specialization.

Wing Yee Au, Daniel Weise, Scott Seligman

Proceedings of the 28th Design Automation Conference, 1991

1990

Multilevel verification of MOS circuits.

Daniel Weise

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990

LogScheme: Integrating Logic Programming into Scheme.

Erik Ruf, Daniel Weise

LISP Symb. Comput., 1990

Compiling Scientific Code Using Partial Evaluation.

Andrew A. Berlin, Daniel Weise

Computer, 1990

Continuing into the Future: On the Interaction of Futures and First-Class Continuations.

Morry Katz, Daniel Weise

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

1989

Constraints, Abstraction and Verification.

Daniel Weise

Proceedings of the Hardware Specification, 1989

Constraint Posting for Verifying VLSI Circuits.

Daniel Weise

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming.

Erik Ruf, Daniel Weise

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1987

Functional Verification of MOS Circuits.

Daniel Weise

Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987

1986

On Time versus Space III.

Joseph Y. Halpern, Michael C. Loui, Albert R. Meyer, Daniel Weise

Math. Syst. Theory, 1986