Вы здесь

Jaffar J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Abstract Machine for CLP (R) 1992 Jaffar J., Michaylov S., Stuckey P., Yap R. SIGPLAN Notices 13.07.1992
СТ The CLP(R) Language and System 1992 Jaffar J., Michaylov S., Stuckey J., Yap R.H. C. ACM Trans. Programming Languages and Systems 06.09.1992
СТ Set Constraints and Set-Based Analysis 1994 Heintze N., Jaffar J. Lecture Notes in Computer Science 22.12.1994
СТ Beyond Finite Domains 1994 Jaffar J., Maher M. J., Stuckey P. J., Yap R.H. C. Lecture Notes in Computer Science 22.12.1994
СТ A Framework for Combining Analysis and Verification 2000 Heintze N., Jaffar J., Voicu R. Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages 05.06.2000