Jan Midtgaard
Jan Midtgaard
University of Southern Denmark
Verified email at janmidtgaard.dk - Homepage
Title
Cited by
Cited by
Year
A functional correspondence between evaluators and abstract machines
MS Ager, D Biernacki, O Danvy, J Midtgaard
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
1862003
Control-flow analysis of functional programs
J Midtgaard
ACM Computing Surveys (CSUR) 44 (3), 10, 2012
103*2012
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
MS Ager, O Danvy, J Midtgaard
Theoretical Computer Science 342 (1), 149-172, 2005
782005
A functional correspondence between call-by-need evaluators and lazy abstract machines
MS Ager, O Danvy, J Midtgaard
Information Processing Letters 90 (5), 223-232, 2004
702004
From interpreter to compiler and virtual machine: a functional derivation
MS Ager, D Biernacki, O Danvy, J Midtgaard
BRICS, Dept. of Computer Science, Univ., 2003
582003
A calculational approach to control-flow analysis by abstract interpretation
J Midtgaard, T Jensen
International Static Analysis Symposium, 347-362, 2008
452008
Control-flow analysis of function calls and returns by abstract interpretation
J Midtgaard, TP Jensen
Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009
382009
Monadic abstract interpreters
I Sergey, D Devriese, M Might, J Midtgaard, D Darais, D Clarke, ...
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
312013
Systematic derivation of correct variability-aware program analyses
J Midtgaard, AS Dimovski, C Brabrand, A Wąsowski
Science of Computer Programming 105, 145-170, 2015
272015
Systematic derivation of static analyses for software product lines
J Midtgaard, C Brabrand, A Wasowski
Proceedings of the 13th international conference on Modularity, 181-192, 2014
192014
Subcubic control flow analysis algorithms
J Midtgaard, D Van Horn
Computer Science Research Report 125, 2009
162009
Transformation, analysis, and interpretation of higher-order procedural programs
J Midtgaard
162007
Quickchecking static analysis properties
J Midtgaard, A Møller
Software Testing, Verification and Reliability 27 (6), e1640, 2017
152017
Effect-driven QuickChecking of compilers
J Midtgaard, MN Justesen, P Kasting, F Nielson, HR Nielson
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-23, 2017
152017
A structural soundness proof for Shivers’s escape technique
J Midtgaard, MD Adams, M Might
International Static Analysis Symposium, 352-369, 2012
102012
Flow-sensitive type recovery in linear-log time
MD Adams, AW Keep, J Midtgaard, M Might, A Chauhan, RK Dybvig
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
102011
A parametric abstract domain for lattice-valued regular expressions
J Midtgaard, F Nielson, HR Nielson
International Static Analysis Symposium, 338-360, 2016
82016
Calculating graph algorithms for dominance and shortest path
I Sergey, J Midtgaard, D Clarke
International Conference on Mathematics of Program Construction, 132-156, 2012
82012
Control-flow analysis of function calls and returns by abstract interpretation
J Midtgaard, TP Jensen
Information and Computation 211, 49-76, 2012
82012
Process-local static analysis of synchronous processes
J Midtgaard, F Nielson, HR Nielson
International Static Analysis Symposium, 284-305, 2018
62018
The system can't perform the operation now. Try again later.
Articles 1–20