Вы здесь

Appel A. W.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Construction of a Semantic Model for a Typed Assembly Language 2004 Tan G., Appel A. W., Swadi K. N., Wu D. Lecture Notes in Computer Science 11.02.2004
СТ A Semantic Model of Types and Machine Instructions for Proof-Carrying Code 2000 Appel A. W., Felty A. P. Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages 05.06.2000
СТ Hierarchical Modularity 1999 Blume M., Appel A. W. ACM Trans. on Programming Languages and Systems 17.03.2000
СТ SSA is Functional Programming 1998 Appel A. W. SIGPLAN Notices 28.09.1998
СТ Lambda-Spliting: A Higher-Order Approach to Cross-Module Optimizations 1997 Blume M., Appel A. W. SIGPLAN Notices 01.10.1997
СТ A Type-Based Compiler for Standard ML 1995 Shao Z., Appel A. W. ACM SIGPLAN Notices 12.09.1995
СТ Unrolling Lists 1994 Shao Z., Reppy J. H., Appel A. W. LISP Pointers 16.01.1995
СТ Space-Efficient Closure Representations 1994 Shao Z., Appel A. W. LISP Pointers 13.01.1995
СТ Separate Compilation for Standard ML 1994 Appel A. W., Macqueen D. B. SIGPLAN Notices 22.08.1994
СТ Debuggable Concurrency Extensions for Standard ML 1991 Tolmach A. P., Appel A. W. SIGPLAN Notices 25.02.1992