dblp.uni-trier.dewww.uni-trier.de

Daniel Weise

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

1999
19EEDaniel Weise: Static Analysis of Mega-Programs. SAS 1999: 300-302
1994
18 Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard: Value Dependence Graphs: Representation without Taxation. POPL 1994: 297-310
1993
17 Daniel Weise, Roger F. Crew: Programmable Syntax Macros. PLDI 1993: 156-165
16 Erik Ruf, Daniel Weise: On the Specialization of Online Program Specializers. J. Funct. Program. 3(3): 251-281 (1993)
1992
15 Morry Katz, Daniel Weise: Towards a New Perspective on Partial Evaluation. PEPM 1992: 29-37
14 Erik Ruf, Daniel Weise: Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. PEPM 1992: 67-74
1991
13EEWing Yee Au, Daniel Weise, Scott Seligman: Automatic Generation of Compiled Simulations through Program Specialization. DAC 1991: 205-210
12 Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman: Automatic Online Partial Evaluation. FPCA 1991: 165-191
11 Erik Ruf, Daniel Weise: Using Types to Avoid Redundant Specialization. PEPM 1991: 321-333
1990
10EEMorry Katz, Daniel Weise: Continuing into the Future: On the Interaction of Futures and First-Class Continuations. LISP and Functional Programming 1990: 176-184
9 Andrew A. Berlin, Daniel Weise: Compiling Scientific Code Using Partial Evaluation. IEEE Computer 23(12): 25-37 (1990)
8EEDaniel Weise: Multilevel verification of MOS circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 9(4): 341-351 (1990)
7 Erik Ruf, Daniel Weise: LogScheme: Integrating Logic Programming into Scheme. Lisp and Symbolic Computation 3(3): 245-288 (1990)
1989
6EEErik Ruf, Daniel Weise: Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming. FPCA 1989: 327-339
5 Daniel Weise: Constraints, Abstraction and Verification. Hardware Specification, Verification and Synthesis 1989: 25-39
4 Daniel Weise: Constraint Posting for Verifying VLSI Circuits. IJCAI 1989: 881-886
3 Morry Katz, Daniel Weise: Continuing Into the Future: On the Interaction of Futures and First-Class Continuations. Workshop on Parallel Lisp 1989: 101-102
1987
2EEDaniel Weise: Functional Verification of MOS Circuits. DAC 1987: 265-270
1986
1 Joseph Y. Halpern, Michael C. Loui, Albert R. Meyer, Daniel Weise: On Time versus Space III. Mathematical Systems Theory 19(1): 13-28 (1986)

Coauthor Index

1Wing Yee Au [13]
2Andrew A. Berlin [9]
3Roland Conybeare [12]
4Roger F. Crew [17] [18]
5Michael D. Ernst [18]
6Joseph Y. Halpern [1]
7Morry Katz [3] [10] [15]
8Michael C. Loui [1]
9Albert R. Meyer [1]
10Erik Ruf [6] [7] [11] [12] [14] [16]
11Scott Seligman [12] [13]
12Bjarne Steensgaard [18]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)