Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
PlusCal
Examples with "PlusCal" and their translation in Frans
Formal modeling: transition systems and the high-level language PlusCal
Modélisation formelle: systèmes de transitions et langage de haut niveau PlusCal
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.
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.
Andere resultaten
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.
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.
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.
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.
If you are thinking of renting a car we do recommend PlusCar.
Si vous envisagez de louer une voiture, nous vous recommandons PlusCar.
Luckily we hired a car for a week with pluscar which was great.
Heureusement, nous avons loué une voiture pour une semaine avec pluscar qui était super.
At Pluscar we do not work with hidden costs or surprises like some of our competitors do.
Chez Pluscar, nous ne travaillons pas avec des coûts cachés ou des surprises comme le font certains de nos concurrents.
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.
Synoniemen voor PlusCal in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 11. Exact: 3. Verstreken tijd: 30 ms.
