Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Xu, Dana N."'
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.
Autor:
Xu, Dana N.
Publikováno v:
Proceedings of the ACM SIGPLAN 2012 Workshop: Partial Evaluation & Program Manipulation; Jan2012, p107-116, 10p
Publikováno v:
Automated Technology for Verification & Analysis (9783642156427); 2010, p325-340, 16p
Publikováno v:
Proceedings of the 36th Annual ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/21/2009, p41-52, 12p
Publikováno v:
Proceedings of the 2008 ACM SIGPLAN Symposium: Partial Evaluation & Semantics-based Program Manipulation; 1/ 7/2008, p177-187, 11p
Autor:
Xu, Dana N.
Publikováno v:
Proceedings of the 2006 ACM SIGPLAN Workshop: Haskell; 9/17/2006, p48-59, 12p
Publikováno v:
Proceedings of the 2003 ACM SIGPLAN Workshop: Partial Evaluation & Semantics-based Program Manipulation; 6/ 7/2003, p75-84, 10p
Autor:
Xu, Dana N., Khoo, Siau-Cheng
Publikováno v:
Proceedings of the Asian Symposium: Partial Evaluation & Semantics-based Program Manipulation; 9/12/2002, p83-93, 11p