关注
Jan Midtgaard
Jan Midtgaard
Tarides
在 janmidtgaard.dk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
2302003
Control-flow analysis of functional programs
J Midtgaard
ACM Computing Surveys (CSUR) 44 (3), 10, 2012
1352012
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
812004
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
792003
A calculational approach to control-flow analysis by abstract interpretation
J Midtgaard, T Jensen
International Static Analysis Symposium, 347-362, 2008
532008
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
522013
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
502015
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
Quickchecking static analysis properties
J Midtgaard, A Møller
Software Testing, Verification and Reliability 27 (6), e1640, 2017
342017
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
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
Process-local static analysis of synchronous processes
J Midtgaard, F Nielson, HR Nielson
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
172018
Transformation, analysis, and interpretation of higher-order procedural programs
J Midtgaard
172007
Subcubic control flow analysis algorithms
J Midtgaard, D Van Horn
Computer Science Research Report, 1-35, 2009
162009
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
142016
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
Control-flow analysis of function calls and returns by abstract interpretation
J Midtgaard, TP Jensen
Information and Computation 211, 49-76, 2012
112012
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
系统目前无法执行此操作,请稍后再试。
文章 1–20