Вы здесь

Le Guyadec Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language (Short Version) 1994 Bouge L., Le Guyadec Y., Utard G., Virot B. Lecture Notes in Computer Science 17.11.1994
СТ Formal Validation of Data Parallel Programs: Introducing the Assertional Approach 1996 Bouge L., Cachera D., Le Guyadec Y., Utard G., Virot B. Lecture Notes in Computer Science The Data Parallel Programming Model 12.10.1996
СТ Sequential-Like Proofs of Data-parallel Programs 1996 Le Guyadec Y., Virot B. Parallel Processing Letters 31.08.2002