Folgen
Jan Midtgaard
Titel
Zitiert von
Zitiert von
Jahr
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
2322003
Control-flow analysis of functional programs
J Midtgaard
ACM Computing Surveys (CSUR) 44 (3), 10, 2012
1412012
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
882005
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
822003
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
A calculational approach to control-flow analysis by abstract interpretation
J Midtgaard, T Jensen
International Static Analysis Symposium, 347-362, 2008
552008
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
542015
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
542013
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
432009
Quickchecking static analysis properties
J Midtgaard, A Møller
Software Testing, Verification and Reliability 27 (6), e1640, 2017
392017
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
192018
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
152016
Stack-driven program generation of WebAssembly
Á Perényi, J Midtgaard
Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka …, 2020
142020
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
142011
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20