Следене
Jan Midtgaard
Заглавие
Позовавания
Позовавания
Година
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
2202003
Control-flow analysis of functional programs
J Midtgaard
ACM Computing Surveys (CSUR) 44 (3), 10, 2012
1282012
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
872005
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
782004
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
772003
A calculational approach to control-flow analysis by abstract interpretation
J Midtgaard, T Jensen
International Static Analysis Symposium, 347-362, 2008
522008
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
492015
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
482013
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
422009
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
322017
Quickchecking static analysis properties
J Midtgaard, A Møller
Software Testing, Verification and Reliability 27 (6), e1640, 2017
312017
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
222014
Subcubic control flow analysis algorithms
J Midtgaard, D Van Horn
Computer Science, Roskilde University, 2009
162009
Transformation, analysis, and interpretation of higher-order procedural programs
J Midtgaard
PhD thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark, 2007
152007
Process-local static analysis of synchronous processes
J Midtgaard, F Nielson, HR Nielson
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
142018
A parametric abstract domain for lattice-valued regular expressions
J Midtgaard, F Nielson, HR Nielson
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016
132016
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
132011
A structural soundness proof for Shivers’s escape technique: A case for Galois connections
J Midtgaard, MD Adams, M Might
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
122012
Calculating graph algorithms for dominance and shortest path
I Sergey, J Midtgaard, D Clarke
Mathematics of Program Construction: 11th International Conference, MPC 2012 …, 2012
102012
Control-flow analysis of function calls and returns by abstract interpretation
J Midtgaard, TP Jensen
Information and Computation 211, 49-76, 2012
92012
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20