PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Midtgaard, Jan"

Author of the publication

copydeleteadd this publication to your clipboard
Flow-sensitive type recovery in linear-log time.

, , , , , and . OOPSLA, page 483-498. ACM, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tim Janz University of Stuttgart

PD Dr. phil. Frank Janle University of Stuttgart

Benedikt Janny

Isabel Janowsky University of Stuttgart

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

 

Other publications of authors with the same name

Control-flow analysis of function calls and returns by abstract interpretation., and . Inf. Comput., (2012)Process-Local Static Analysis of Synchronous Processes., , and . SAS, volume 11002 of Lecture Notes in Computer Science, page 284-305. Springer, (2018)Control-flow analysis of function calls and returns by abstract interpretation., and . ICFP, page 287-298. ACM, (2009)QuickChecking Static Analysis Properties., and . ICST, page 1-10. IEEE Computer Society, (2015)Control-flow analysis of functional programs.. ACM Comput. Surv., 44 (3): 10:1-10:33 (2012)QuickChecking Patricia Trees.. TFP, volume 10788 of Lecture Notes in Computer Science, page 59-78. Springer, (2017)Engineering definitional interpreters., , and . PPDP, page 121-132. ACM, (2013)A functional correspondence between monadic evaluators and abstract machines for languages with computational effects., , and . Theor. Comput. Sci., 342 (1): 149-172 (2005)A functional correspondence between call-by-need evaluators and lazy abstract machines., , and . Inf. Process. Lett., 90 (5): 223-232 (2004)Calculating Graph Algorithms for Dominance and Shortest Path., , and . MPC, volume 7342 of Lecture Notes in Computer Science, page 132-156. Springer, (2012)