Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Suggesties: plus al
Publiciteit
PlusCal-2

Vertaling van "PlusCal-2" in Frans

We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
PlusCal-2
To compute conditional dependency for PlusCal-2 algorithms, we exploit their locality information and present them in the form of independence predicates.
Pour calculer la dépendance conditionnelle pour les algorithmes en PlusCal-2 nous exploitons des informations sur la localité des actions et nous générons des prédicats d'indépendance.
Finite instances of algorithms described in PlusCal-2 can be verified through the TLC model checker.
Des instances finies d'algorithmes écrits en PlusCal-2 peuvent être vérifiées à l'aide du model checker tlc.
PlusCal-2 improves upon Lamport's PlusCal algorithm language by lifting some of its restrictions and adding new constructs.
PlusCal-2 améliore le langage algorithmique PlusCal conçu par Lamport en levant certaines restrictions de ce langage et en y ajoutant de nouvelles constructions.
In this thesis, we present PlusCal-2 that aims at be- ing similar to pseudo-code while being formally verifiable.
Dans ce mémoire nous présentons le langage PlusCal-2 qui vise à allier la simplicité de pseudo-code à la capacité d'être vérifié formellement.
To compute conditional dependency for PlusCal-2 algorithms, we exploit their locality information and present them in the form of independence predicates.
Pour calculer la dépendance conditionnelle pour les algorithmes en PlusCal-2 nous exploitons des informations sur la localité des actions et nous générons des prédicats d'indépendance.
PlusCal-2 improves upon Lamport's PlusCal algorithm language by lifting some of its restrictions and adding new constructs.
PlusCal-2 améliore le langage algorithmique PlusCal conçu par Lamport en levant certaines restrictions de ce langage et en y ajoutant de nouvelles constructions.
Finite instances of algorithms described in PlusCal-2 can be verified through the TLC model checker.
Des instances finies d'algorithmes écrits en PlusCal-2 peuvent être vérifiées à l'aide du model checker tlc.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor PlusCal-2 in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
nest: structure built by birds for laying eggs
Ontdek het woord
nest
Publiciteit

Resultaten: 7. Exact: 7. Verstreken tijd: 82 ms.