Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Petersen, Leaf"'
In previous work we describe a novel approach to dependent typing based on a multivalued term language. In this technical report we formalise the runtime, a kind of operational semantics, for that language. We describe a fairly comprehensive core lan
Externí odkaz:
http://arxiv.org/abs/1307.5277
Autor:
Glew, Neal, Petersen, Leaf
Interprocedural flow analysis can be used to eliminate otherwise unnecessary heap allocated objects (unboxing), and in previous work we have shown how to do so while maintaining correctness with respect to the garbage collector. In this paper, we ext
Externí odkaz:
http://arxiv.org/abs/1203.1986
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the 2013 ACM SIGPLAN Workshop Dependently-typed Programming; 9/24/2013, p25-36, 12p
Publikováno v:
ACM International Conference Proceeding Series; 8/28/2013, p61-72, 12p
Autor:
Petersen, Leaf, Glew, Neal
Publikováno v:
Compiler Construction (9783642286513); 2012, p165-184, 20p
Autor:
Anderson, Todd, Glew, Neal, Guo, Peng, Lewis, Brian T., Liu, Wei, Liu, Zhanglin, Petersen, Leaf, Rajagopalan, Mohan, Stichnoth, James M., Wu, Gansha, Zhang, Dan
Publikováno v:
Languages & Compilers for Parallel Computing (9783540852605); 2008, p141-155, 15p
Autor:
Saha, Bratin, Adl-Tabatabai, Ali-Reza, Ghuloum, Anwar, Rajagopalan, Mohan, Hudson, Richard L., Petersen, Leaf, Menon, Vijay, Murphy, Brian, Shpeisman, Tatiana, Sprangle, Eric, Rohillah, Anwar, Carmean, Doug, Fang, Jesse
Publikováno v:
Proceedings of the 2nd ACM SIGOPS/Eurosys European Conference: Computer Systems 2007; 3/21/2007, p73-86, 14p
Autor:
Menon, Vijay S., Glew, Neal, Murphy, Brian R., McCreight, Andrew, Shpeisman, Tatiana, Adl-Tabatabai, Ali-Reza, Petersen, Leaf
Publikováno v:
Conference Record of the 33rd ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/11/2006, p397-408, 12p