Control-Flow Analysis of Functional Programs von MIDTGAARD, Jan

Volltext

QuickChecking static analysis properties von Midtgaard, Jan, Møller, Anders

Volltext

QuickChecking Patricia Trees von Midtgaard, Jan

Volltext

Systematic derivation of correct variability-aware program analyses von Midtgaard, Jan, Dimovski, Aleksandar S., Brabrand, Claus, Wąsowski, Andrzej

Volltext

Effect-driven QuickChecking of compilers von Midtgaard, Jan, Justesen, Mathias Nygaard, Kasting, Patrick, Nielson, Flemming, Nielson, Hanne Riis

Volltext

Stack-Driven Program Generation of WebAssembly von Perényi, Árpád, Midtgaard, Jan

Volltext

Process-Local Static Analysis of Synchronous Processes von Midtgaard, Jan, Nielson, Flemming, Nielson, Hanne Riis

Volltext

Control-flow analysis of function calls and returns by abstract interpretation von Midtgaard, Jan, Jensen, Thomas P.

Volltext

A functional correspondence between monadic evaluators and abstract machines for languages with computational effects von Ager, Mads Sig, Danvy, Olivier, Midtgaard, Jan

Volltext

A Structural Soundness Proof for Shivers’s Escape Technique: A Case for Galois Connections von Midtgaard, Jan, Adams, Michael D., Might, Matthew

Volltext

Control-Flow Analysis of Functional Programs von Midtgaard, Jan

Volltext

A Parametric Abstract Domain for Lattice-Valued Regular Expressions von Midtgaard, Jan, Nielson, Flemming, Nielson, Hanne Riis

Volltext

Calculating graph algorithms for dominance and shortest path von Sergey, Ilya, Midtgaard, Jan, Clarke, Dave

Volltext

A Calculational Approach to Control-Flow Analysis by Abstract Interpretation von Midtgaard, Jan, Jensen, Thomas

Volltext

A functional correspondence between call-by-need evaluators and lazy abstract machines von Ager, Mads Sig, Danvy, Olivier, Midtgaard, Jan

Volltext

Calculating Graph Algorithms for Dominance and Shortest Path von Sergey, Ilya, Midtgaard, Jan, Clarke, Dave

Volltext

Preface von Midtgaard, Jan, Might, Matthew

Volltext

Monadic abstract interpreters von Sergey, Ilya, Devriese, Dominique, Might, Matthew, Midtgaard, Jan, Darais, David, Clarke, Dave, Piessens, Frank

Volltext

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings von Mine, Antoine, Schmidt, David

Volltext

A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects von Ager, Mads Sig, Danvy, Olivier, Midtgaard, Jan

Volltext