From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.

P. Cousot, и R. Cousot. POPL, стр. 238-252. ACM, (1977)

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.

Patrick Pfeffer

Optimiertes Design kombinatorischer Verbindungsbibliotheken durch genetische Algorithmen und deren Bewertung anhand wissensbasierter Protein-Ligand-BindungsprofileP. Pfeffer. Uni Marburg, (2009)

Patrick Hansen

Entwicklung eines energetischen Sanierungsmodells für den europäischen Wohngebäudesektor unter dem Aspekt der Erstellung von Szenarien für Energie- und Co_1tn2-Einsparpotenziale bis 2030P. Hansen. Uni Siegen, (2009)

Patrick Khattar

Patrick Hemberger

Patrick Nagel

Другие публикации лиц с тем же именем

Abstract Interpretation.P. Cousot. ACM Comput. Surv., 28 (2): 324-328 (1996)Verification by abstract interpretation, soundness and abstract induction.P. Cousot. PPDP, стр. 1-4. ACM, (2015)Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation.P. Cousot, и R. Cousot. FPCA, стр. 170-181. ACM, (1995)Syntax and semantics of the weak consistency model specification language cat.J. Alglave, P. Cousot, и L. Maranget. CoRR, (2016)Abstract Interpretation Based Static Analysis Parameterized by Semantics.P. Cousot. SAS, том 1302 из Lecture Notes in Computer Science, стр. 388-394. Springer, (1997)Abstract interpretation of resolution-based semantics.P. Cousot, R. Cousot, и R. Giacobazzi. Theor. Comput. Sci., 410 (46): 4724-4746 (2009)Abstract Interpretation and Application to Logic Programs.P. Cousot, и R. Cousot. J. Log. Program., 13 (2&3): 103-179 (1992)Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs.P. Cousot, и R. Cousot. Acta Inf., 24 (1): 1-31 (1987)Abstract Interpretation Frameworks.P. Cousot, и R. Cousot. J. Log. Comput., 2 (4): 511-547 (1992)Bi-inductive structural semantics.P. Cousot, и R. Cousot. Inf. Comput., 207 (2): 258-283 (2009)

Что такое BibSonomy?: С чего начать; Кнопки для браузера; Помощь
Разработчикам: Обзор; API-документация

Контакт и защита личных данных: о нас; Cookies; Сообщить о проблеме; BibSonomy Вики

Интеграция: PUMA; Расширение для TYPO3; Плагин для; Клиент Java REST; Поддерживаемые источники; далее

О BibSonomy: Команда; Блог; Список рассылки
Социальные сети: Наш Twitter