Вы здесь

Rehof J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Summarizing Procedures in Concurrent Programs 2004 Qadeer S., Rajamani S. K., Rehof J. POPL 2004 09.06.2004
СТ Conformance Checking for Models of Asynchronous Message Passing Software 2002 Rajamani S. K., Rehof J. Lecture Notes in Computer Science 31.08.2002
СТ Estimating the Impact of Scalable Pointer Analysis on Optimization 2001 Das M., Liblit B., Fahndrich M., Rehof J. Lecture Notes in Computer Science 31.07.2001
СТ A Behavioral Module System for the Pi-Calculus 2001 Rajamani S. K., Rehof J. Lecture Notes in Computer Science 31.07.2001
СТ Type Elaboration and Subtype Completion for Java Bytecode 2000 Knoblock T. B., Rehof J. Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages 05.06.2000
СТ Constraint Automata and the Complexity of Recursive Subtype Entailment 1998 Henglien F., Rehof J. Lecture Notes in Computer Science 11.08.1998