Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
PlusCal
Bedoelde u: plus al
Examples with "PlusCal" and their translation in Engels
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.
Lire plusCAL LLOP, a été sélectionné par TRIVAGO dans la liste des 10 meilleurs Hotels pour l'oenoturisme en Espagne
Leer másCal Llop, selected by Trivago as one of the top 10 hotels in Spain to enjoy enotourism
Andere resultaten
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.
In this thesis, we present PlusCal-2 that aims at be- ing similar to pseudo-code while being formally verifiable.
Des instances finies d'algorithmes écrits en PlusCal-2 peuvent être vérifiées à l'aide du model checker tlc.
Finite instances of algorithms described in PlusCal-2 can be verified through the TLC model checker.
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.
Si vous envisagez de louer une voiture, nous vous recommandons PlusCar.
If you are thinking of renting a car we do recommend PlusCar.
Heureusement, nous avons loué une voiture pour une semaine avec pluscar qui était super.
Luckily we hired a car for a week with pluscar which was great.
Chez Pluscar, nous ne travaillons pas avec des coûts cachés ou des surprises comme le font certains de nos concurrents.
At Pluscar we do not work with hidden costs or surprises like some of our competitors do.
Des instances finies d'algorithmes écrits en PlusCal-2 peuvent être vérifiées à l'aide du model checker tlc.
Finite instances of algorithms described in PlusCal-2 can be verified through the TLC model checker.
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.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor PlusCal in het Frans
Resultaten: 11. Exact: 3. Verstreken tijd: 22 ms.
