BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × France
1 × Spain
1 × United Kingdom
2 × Belgium
Collaborated with:
M.H.Kirkeby N.D.Jones A.Mycroft K.D.Jensen P.Hjæresen
Talks about:
analysi (4) function (2) attribut (2) grammar (2) strict (2) higher (2) order (2) minim (2) graph (2) probabilist (1)

Person: Mads Rosendahl

DBLP DBLP: Rosendahl:Mads

Contributed to:

QAPL 20152015
ALP 19941994
SAS 19941994
PLILP 19931993
PLILP 19921992
WSA 19921992
WAGA 19901990
FPCA 19891989

Wrote 8 papers:

QAPL-2015-RosendahlK #analysis #probability
Probabilistic Output Analysis by Program Manipulation (MR, MHK), pp. 110–124.
ALP-1994-JonesR #functional #graph #higher-order
Higher-Order Minimal Functional Graphs (NDJ, MR), pp. 242–252.
SAS-1994-JensenHR #analysis #haskell #performance #strict
Efficient Strictness Analysis of Haskell (KDJ, PH, MR), pp. 246–362.
PLILP-1993-Rosendahl #higher-order #sequence
Higher-Order Chaotic Iteration Sequences (MR), pp. 332–345.
PLILP-1992-Rosendahl #analysis #attribute grammar #strict
Strictness Analysis for Attribute Grammars (MR), pp. 145–157.
WSA-1992-MycroftR #graph
Minimal Function Graphs are not Instrumented (AM, MR), pp. 60–67.
WAGA-1990-Rosendahl #abstract interpretation #attribute grammar #using
Abstract Interpretation Using Attribute Grammar (MR), pp. 143–156.
FPCA-1989-Rosendahl #analysis #automation #complexity
Automatic Complexity Analysis (MR), pp. 144–156.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.