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

Mads Rosendahl Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
10EEJohn P. Gallagher, Mads Rosendahl: Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. LPAR 2008: 682-696
2002
9EEMads Rosendahl: Simple Driving Techniques. The Essence of Computation 2002: 404-419
1997
8 Neil D. Jones, Mads Rosendahl: Higher-Order Minimal Function Graphs. Journal of Functional and Logic Programming 1997(2): (1997)
1994
7EENeil D. Jones, Mads Rosendahl: Higher-Order Minimal Functional Graphs. ALP 1994: 242-252
6 Kristian Damm Jensen, Peter Hjæresen, Mads Rosendahl: Efficient Strictness Analysis of Haskell. SAS 1994: 246-362
1993
5 Mads Rosendahl: Higher-Order Chaotic Iteration Sequences. PLILP 1993: 332-345
1992
4EEMads Rosendahl: Strictness Analysis for Attribute Grammars. PLILP 1992: 145-157
3 Alan Mycroft, Mads Rosendahl: Minimal Function Graphs are not Instrumented. WSA 1992: 60-67
1990
2EEMads Rosendahl: Abstract Interpretation Using Attribute Grammar. WAGA 1990: 143-156
1989
1EEMads Rosendahl: Automatic Complexity Analysis. FPCA 1989: 144-156

Coauthor Index

1John P. Gallagher [10]
2Peter Hjæresen [6]
3Kristian Damm Jensen [6]
4Neil D. Jones [7] [8]
5Alan Mycroft [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)