Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Reynaud, Alban
34  Ergebnisse:
Personensuche X
?
1

Modular verification of op-based CRDTs in separation logic:

Nieto, Abel ; Gondelman, Léon ; Reynaud, Alban..
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA2 - p. 1788-1816 , 2022
Link: https://doi.org/10.1145/..
 
?
2

A practical mode system for recursive definitions:

Reynaud, Alban ; Scherer, Gabriel ; Yallop, Jeremy
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-29 , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

A practical mode system for recursive definitions:

Reynaud, Alban ; Scherer, Gabriel ; Yallop, Jeremy
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-29 , 2021
Link: https://doi.org/10.1145/..
 
?
4

Verifying a Solver for Linear Mixed Integer Arithmetic in I..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Bottesch, Ralph ; Haslbeck, Max W. ; Reynaud, Alban. - p. 233-250 , 2020
Link: https://doi.org/10.1007/..
 
?
5

Modular Verification of Op-Based CRDTs in Separation Logic ..:

Nieto, Abel ; Gondelman, Léon ; Reynaud, Alban..
doi:10.5281/zenodo.6812015.  , 2022
Link: https://zenodo.org/recor..
 
?
6

Modular Verification of Op-Based CRDTs in Separation Logic ..:

Nieto, Abel ; Gondelman, Léon ; Reynaud, Alban..
doi:10.5281/zenodo.6812015.  , 2022
Link: https://zenodo.org/recor..
 
?
7

Modular verification of op-based CRDTs in separation logic:

Nieto, Abel ; Gondelman, Léon ; Reynaud, Alban..
https://pure.au.dk/portal/en/publications/48868f38-d421-45cb-8f16-64b1023c5a3e.  , 2022
Link: https://pure.au.dk/porta..
 
?
8

A practical mode system for recursive definitions:

Reynaud, Alban ; Scherer, Gabriel ; Yallop, Jeremy
info:eu-repo/semantics/altIdentifier/arxiv/1811.08134.  , 2021
Link: https://inria.hal.scienc..
 
?
9

A practical mode system for recursive definitions:

Reynaud, Alban ; Scherer, Gabriel ; Yallop, Jeremy
https://www.repository.cam.ac.uk/handle/1810/317229.  , 2021
Link: https://www.repository.c..
 
?
10

A practical mode system for recursive definitions:

Reynaud, Alban ; Scherer, Gabriel ; Yallop, Jeremy
info:eu-repo/semantics/altIdentifier/arxiv/1811.08134.  , 2021
Link: https://inria.hal.scienc..
 
?
11

A practical mode system for recursive definitions:

Reynaud, Alban ; Scherer, Gabriel ; Yallop, Jeremy
info:eu-repo/semantics/altIdentifier/arxiv/1811.08134.  , 2021
Link: https://inria.hal.scienc..
 
?
12

A practical mode system for recursive definitions:

Reynaud, Alban ; Scherer, Gabriel ; Yallop, Jeremy
info:eu-repo/semantics/altIdentifier/arxiv/1811.08134.  , 2021
Link: https://hal.inria.fr/hal..
 
?
13

A practical mode system for recursive definitions:

Reynaud, Alban ; Scherer, Gabriel ; Yallop, Jeremy
info:eu-repo/semantics/altIdentifier/arxiv/1811.08134.  , 2021
Link: https://inria.hal.scienc..
 
?
14

Verifying a Solver for Linear Mixed Integer Arithmetic in I..:

Bottesch, Ralph ; Haslbeck, Max W ; Reynaud, Alban.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7705985/.  , 2020
Link: http://www.ncbi.nlm.nih...
 
?
15

A simple mode system for recursive definitions: artifact:

Reynaud, Alban ; Scherer, Gabriel ; Yallop, Jeremy
doi:10.5281/zenodo.4074945.  , 2020
Link: https://zenodo.org/recor..
 
1-15