Daniel Weise

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	1999
c14		Daniel Weise: Static Analysis of Mega-Programs. SAS 1999: 300-302
	1994
c13		Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard: Value Dependence Graphs: Representation without Taxation. POPL 1994: 297-310
	1993
j5		Erik Ruf, Daniel Weise: On the Specialization of Online Program Specializers. J. Funct. Program. 3(3): 251-281 (1993)
c12		Daniel Weise, Roger F. Crew: Programmable Syntax Macros. PLDI 1993: 156-165
	1992
c11		Morry Katz, Daniel Weise: Towards a New Perspective on Partial Evaluation. PEPM 1992: 29-37
c10		Erik Ruf, Daniel Weise: Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis. PEPM 1992: 67-74
	1991
c9		Wing Yee Au, Daniel Weise, Scott Seligman: Automatic Generation of Compiled Simulations through Program Specialization. DAC 1991: 205-210
c8		Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman: Automatic Online Partial Evaluation. FPCA 1991: 165-191
c7		Erik Ruf, Daniel Weise: Using Types to Avoid Redundant Specialization. PEPM 1991: 321-333
	1990
j4		Andrew A. Berlin, Daniel Weise: Compiling Scientific Code Using Partial Evaluation. IEEE Computer 23(12): 25-37 (1990)
j3		Erik Ruf, Daniel Weise: LogScheme: Integrating Logic Programming into Scheme. Lisp and Symbolic Computation 3(3): 245-288 (1990)
j2		Daniel Weise: Multilevel verification of MOS circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 9(4): 341-351 (1990)
c6		Morry Katz, Daniel Weise: Continuing into the Future: On the Interaction of Futures and First-Class Continuations. LISP and Functional Programming 1990: 176-184
	1989
c5		Erik Ruf, Daniel Weise: Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming. FPCA 1989: 327-339
c4		Daniel Weise: Constraint Posting for Verifying VLSI Circuits. IJCAI 1989: 881-886
c3		Daniel Weise: Constraints, Abstraction and Verification. Hardware Specification, Verification and Synthesis 1989: 25-39
c2		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
c1		Daniel Weise: Functional Verification of MOS Circuits. DAC 1987: 265-270
	1986
j1		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

1	Wing Yee Au	[c9]
2	Andrew A. Berlin	[j4]
3	Roland Conybeare	[c8]
4	Roger F. Crew	[c13] [c12]
5	Michael D. Ernst	[c13]
6	Joseph Y. Halpern	[j1]
7	Morry Katz	[c11] [c6] [c2]
8	Michael C. Loui	[j1]
9	Albert R. Meyer	[j1]
10	Erik Ruf	[j5] [c10] [c8] [c7] [j3] [c5]
11	Scott Seligman	[c9] [c8]
12	Bjarne Steensgaard	[c13]

Colors in the list of coauthors

Last update Sat May 25 12:24:02 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page