( en | de | ru )

 

Disambiguation of "Colby, Christopher"

Author of the publication

copydeleteadd this publication to your clipboard
A certifying compiler for Java.

, , , , , and . PLDI, page 95-107. ACM, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christopher Christopher

Jörg Christopher

Christopher Müller

Christopher Häberlein

Christopher Thiel

 

Other publications of authors with the same name

Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data. SAS, volume 983 of Lecture Notes in Computer Science, page 64-81. Springer, (1995)An Implementation of Parametrized Partial Evaluation., and . JTASPEFT/WSA, volume 74 of Series Bigre, page 82-89. Atelier Irisa, IRISA, Campus de Beaulieu, (1991)Automated techniques for provably safe mobile code., , , , and . Theor. Comput. Sci., 290 (2): 1175-1199 (2003)Trace-Based Program Analysis., and . POPL, page 195-207. ACM Press, (1996)Sisl: Several Interfaces, Single Logic., , , , , , , and . Int. J. Speech Technol., 3 (2): 93-108 (2000)Analyzing the Communication Topology of Concurrent Programs.. PEPM, page 202-213. ACM Press, (1995)Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events., , , , and . ICCL, page 58-67. IEEE Computer Society, (1998)A Proof-Carrying Code Architecture for Java., , and . CAV, volume 1855 of Lecture Notes in Computer Science, page 557-560. Springer, (2000)Demonstrating Principled Uncertainty Modeling for Recommender Ecosystems with RecSim NG., , , , , , , , , and . RecSys, page 591-593. ACM, (2020)Automatically Closing Open Reactive Programs., , and . PLDI, page 345-357. ACM, (1998)