Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Mogensen, Torben Æ"'
Autor:
Mogensen, Torben Æ.
Publikováno v:
EPTCS 129, 2013, pp. 30-40
Well-quasi orders such as homeomorphic embedding are commonly used to ensure termination of program analysis and program transformation, in particular supercompilation. We compare eight well-quasi orders on how discriminative they are and their compu
Externí odkaz:
http://arxiv.org/abs/1309.5130
Autor:
Rehof, Jakob *, Mogensen, Torben Æ.
Publikováno v:
In Science of Computer Programming 1999 35(2):191-221
Publikováno v:
Generative Programming & Component Engineering; 2005, p189-204, 16p
Autor:
Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Hatcliff, John, Mogensen, Torben Æ, Thiemann, Peter, Danvy, Olivier
Publikováno v:
Partial Evaluation; 1999, p367-411, 45p
Autor:
Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Hatcliff, John, Mogensen, Torben Æ, Thiemann, Peter
Publikováno v:
Partial Evaluation; 1999, p412-432, 21p
Autor:
Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Hatcliff, John, Mogensen, Torben Æ, Thiemann, Peter, Palsberg, Jens
Publikováno v:
Partial Evaluation; 1999, p356-366, 11p
Autor:
Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Hatcliff, John, Mogensen, Torben Æ, Thiemann, Peter, Lawall, Julia L.
Publikováno v:
Partial Evaluation; 1999, p338-355, 18p
Autor:
Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Hatcliff, John, Mogensen, Torben Æ, Thiemann, Peter, Glück, Robert, Jørgensen, Jesper
Publikováno v:
Partial Evaluation; 1999, p326-337, 12p
Autor:
Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Hatcliff, John, Mogensen, Torben Æ, Thiemann, Peter, Hughes, John
Publikováno v:
Partial Evaluation; 1999, p293-325, 33p
Autor:
Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Hatcliff, John, Mogensen, Torben Æ, Thiemann, Peter, Leuschel, Michael
Publikováno v:
Partial Evaluation; 1999, p271-292, 22p