|
Search the dblp DataBase
Adam Granicz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Adam Granicz, Jason Hickey
Phobos: A Front-End Approach to Extensible Compilers. [Citation Graph (0, 0)][DBLP] HICSS, 2003, pp:324- [Conf]
- Jason Hickey, Aleksey Nogin, Adam Granicz
Compiler implementation in a formal logical framework. [Citation Graph (0, 0)][DBLP] MERLIN, 2003, pp:- [Conf]
- Adam Granicz, Daniel M. Zimmerman, Jason Hickey
Rewriting UNITY. [Citation Graph (0, 0)][DBLP] RTA, 2003, pp:138-147 [Conf]
- Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu
MetaPRL - A Modular Logical Environment. [Citation Graph (0, 0)][DBLP] TPHOLs, 2003, pp:287-303 [Conf]
Search in 0.002secs, Finished in 0.002secs
|