[ACM Press the 2005 international symposium - San Francisco, California, USA (2005.04.03-2005.04.06)] Proceedings of the 2005 international symposium on physical design - ISPD '05 - Kraftwerk
- 作者Obermeier, Bernd; Ranke, Hans; Johannes, Frank M.
- 文件大小174.20KB
- 发表时间2005
- DOI10.1145/1055137.1055190
Practical typed lazy contractsChitil, Olaf · ACM SIGPLAN Notices · 2012
Linear, bounded, functional pretty-printingSWIERSTRA, S. DOAITSE; CHITIL, OLAF · Journal of Functional Programming · 2009
Structure and Properties of Traces for Functional ProgramsOlaf Chitil; Yong Luo · 2007
Compositional explanation of types and algorithmic debugging of type errorsChitil, Olaf · ACM SIGPLAN Notices · 2001
Type generic observation of intermediate data structures for debugging lazy functional programsFaddegon, Maarten; Chitil, Olaf · Computer Languages, Systems & Structures · 2017
Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008.CHITIL, OLAF · Journal of Functional Programming · 2009
[Lecture Notes in Computer Science] Implementation and Application of Functional Languages Volume 5083 || A Supercompiler for Core HaskellChitil, Olaf; Horváth, Zoltán; Zsók, Viktória · 2008
The Byzantine Generals ProblemLamport, Leslie; Shostak, Robert; Pease, Marshall · ACM Transactions on Programming Languages and Systems · 1982
The temporal logic of actionsLamport, Leslie · ACM Transactions on Programming Languages and Systems · 1994
Essential AOPDe Fraine, Bruno; Ernst, Erik; Südholt, Mario · ACM Transactions on Programming Languages and Systems · 2012
LOCKSMITHPratikakis, Polyvios; Foster, Jeffrey S.; Hicks, Michael · ACM Transactions on Programming Languages and Systems · 2011
Linear scan register allocationPoletto, Massimiliano; Sarkar, Vivek · ACM Transactions on Programming Languages and Systems · 1999
The undecidability of aliasingRamalingam, G. · ACM Transactions on Programming Languages and Systems · 1994
Parameterized loop tilingRenganarayanan, Lakshminarayanan; Kim, Daegon; Strout, Michelle Mills; Rajopadhye, Sanjay · ACM Transactions on Programming Languages and Systems · 2012
METRICMarathe, Jaydeep; Mueller, Frank; Mohan, Tushar; Mckee, Sally A.; De Supinski, Bronis R.; Yoo, Andy · ACM Transactions on Programming Languages and Systems · 2007