Suchergebnisse - "Semantics of Programming Langages"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Journal of Logical and Algebraic Methods in Programming. 92:45-63
Schlagwörter: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Semantics of Programming Langages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 16. Peace & justice, ACM: F.: Theory of Computation, Parallel, 01 natural sciences, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, Soft Constraints, and Cluster Computing [cs.DC], Soft Concurrent Constraint Programming, Bisimulation, 13. Climate action, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Concurrent Constraint Programming, 0101 mathematics
Zugangs-URL: https://inria.hal.science/hal-01675060v1
https://doi.org/10.1016/j.jlamp.2017.06.001
https://www.sciencedirect.com/science/article/pii/S2352220817301165
https://core.ac.uk/display/87081999
https://hal.inria.fr/hal-01675060
https://research.unipg.it/handle/11391/1417231
https://dblp.uni-trier.de/db/journals/jlp/jlp92.html#GadducciSPV17
https://hdl.handle.net/11568/872080
https://doi.org/10.1016/j.jlamp.2017.06.001
http://www.sciencedirect.com/science/journal/23522208
https://doi.org/10.1016/j.jlamp.2017.06.001
https://hdl.handle.net/11391/1417231 -
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://theses.hal.science/tel-00425390 ; Génie logiciel [cs.SE]. École normale supérieure de Lyon - ENS Lyon, 1998. Français. ⟨NNT : ⟩.
Schlagwörter: Recurrence Equations, Formal Methods, Hoare Logic, Weakest Preconditions Calculus, Data-Parallel Languages, Semantics of Programming Langages, Specifying and Verifying and Reasoning about Programs, Parallel Programming, invariants, Programmation parallèl, spécification et validation de programmes, sémantique des langages de programmation, langages data-parallèles, équations récurrentes, méthodes formelles, logique de Hoare, plus faibles préconditions, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
3
Autoren: Cachera, David
Weitere Verfasser: Cachera, David
Schlagwörter: [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Semantics of Programming Langages, Specifying and Verifying and Reasoning about Programs, Hoare Logic, langages data-parallèles, Formal Methods, plus faibles préconditions, Programmation parallèl, Parallel Programming, spécification et validation de programmes, sémantique des langages de programmation, équations récurrentes, Recurrence Equations, Data-Parallel Languages, invariants, méthodes formelles, Weakest Preconditions Calculus, logique de Hoare
Dateibeschreibung: application/pdf
Zugangs-URL: https://theses.hal.science/tel-00425390v1
Full Text Finder 
Nájsť tento článok vo Web of Science