Anders Møller

Aarhus University - Aarhus / Denmark

Engineering & Technology / Computer Science

AD Scientific Index ID: 1464250

Aarhus Universitet

Registration, Add Profile,
Premium Membership

Print Your Certificate

Anders Møller's MOST POPULAR ARTICLES

1-) Precise analysis of string expressionsA Christensen, A Møller, M SchwartzbachStatic Analysis, 10th International Symposium, SAS 2003, 1-18, 20035972003

2-) Type analysis for JavaScriptS Jensen, A Møller, P ThiemannStatic Analysis Symposium, 238-255, 20094652009

3-) The pointer assertion logic engineA Møller, MI SchwartzbachACM SIGPLAN Conference on Programming Language Design and Implementation …, 20013692001

4-) In defense of soundiness: a manifestoB Livshits, M Sridharan, Y Smaragdakis, O Lhoták, JN Amaral, ...Communications of the ACM 58 (2), 44-46, 20153452015

5-) A framework for automated testing of JavaScript web applicationsS Artzi, J Dolby, SH Jensen, A Møller, F TipProceeding of the 33rd International Conference on Software Engineering, 571-580, 20112842011

ARTICLES

Add your articles