Search results for "Jan Midtgaard"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jan Midtgaard, Thomas P. Jensen	Control-flow analysis of function calls and returns by abstract interpretation.	Inf. Comput.	2012	DBLP DOI BibTeX RDF
1	Olivier Danvy, Jan Midtgaard	Abstracting abstract machines: technical perspective.	Commun. ACM	2011	DBLP DOI BibTeX RDF
1	Michael D. Adams 0001, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig	Flow-sensitive type recovery in linear-log time.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Jan Midtgaard, Thomas P. Jensen	Control-flow analysis of function calls and returns by abstract interpretation.	ICFP	2009	DBLP DOI BibTeX RDF	direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis
1	Jan Midtgaard, Thomas P. Jensen	A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
1	Mads Sig Ager, Olivier Danvy, Jan Midtgaard	A functional correspondence between monadic evaluators and abstract machines for languages with computational effects.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Mads Sig Ager, Olivier Danvy, Jan Midtgaard	A functional correspondence between call-by-need evaluators and lazy abstract machines.	Inf. Process. Lett.	2004	DBLP DOI BibTeX RDF
1	Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard	A functional correspondence between evaluators and abstract machines.	PPDP	2003	DBLP DOI BibTeX RDF	transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion

Displaying result #1 - #8 of 8 (100 per page; Change: )

Publications of "Jan Midtgaard" ( http://dblp.L3S.de/Authors/Jan_Midtgaard )