Search Results - "Midtgaard, Jan"

QuickChecking static analysis properties.

Authors: Midtgaard, Jan Møller, Anders

Source: Software Testing: Verification & Reliability; Sep2017, Vol. 27 Issue 6, pn/a-N.PAG, 23p

Abstracting Abstract Machines.

Authors: Danvy, Olivier Midtgaard, Jan

Source: Communications of the ACM; September 2011, Vol. 54 Issue 9, p100-100, 1p

Control-Flow Analysis of Functional Programs.

Authors: Midtgaard, Jan¹ jmi@cs.au.dk

Source: ACM Computing Surveys. Jun2012, Vol. 44 Issue 3, p10-10:33. 33p.

Systematic derivation of correct variability-aware program analyses.

Authors: Midtgaard, Jan Dimovski, Aleksandar S. Brabrand, Claus et al.

Source: Science of Computer Programming. Jul2015, Vol. 105, p145-170. 26p.

Subjects: Verification of computer systems, Computer software, Data flow computing, SPL (Computer program language), Mathematical proofs

Control-flow analysis of function calls and returns by abstract interpretation

Authors: Midtgaard, Jan Jensen, Thomas P.

Source: Information & Computation. Feb2012, Vol. 211, p49-76. 28p.

Subjects: Functional programming languages, Flow control (Data transmission systems), Subroutines (Computer programs), Translating & interpreting, Mathematical optimization, Machine theory, Computer software

A functional correspondence between monadic evaluators and abstract machines for languages with computational effects

Authors: Ager, Mads Sig Danvy, Olivier Midtgaard, Jan

Source: Theoretical Computer Science; Sep2005, Vol. 342 Issue 1, p149-172, 24p

A functional correspondence between call-by-need evaluators and lazy abstract machines

Authors: Ager, Mads Sig Danvy, Olivier Midtgaard, Jan

Source: Information Processing Letters; Jun2004, Vol. 90 Issue 5, p223, 10p