Observational and behavioural equivalences for soft concurrent constraint programming

Συγγραφείς: Fabio Gadducci, Luis Fernando Pino, Francesco Santini, Frank D. Valencia

Συνεισφορές: Valencia, Frank D., University of Pisa Italy = Università di Pisa Italia = Université de Pise Italie (UniPi), Dipartimento di Matematica e Informatica Perugia (DMI), Università degli Studi di Perugia = University of Perugia (UNIPG), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS), Concurrency, Mobility and Transactions (COMETE), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Institut Polytechnique de Paris, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Colciencias project 125171250031 CLASSIC

Πηγή: Journal of Logical and Algebraic Methods in Programming. 92:45-63

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: 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

Validation formelle des langages à parallélisme de données ; Formal Validation of Data-Parallel Languages

Συγγραφείς: Cachera, David

Συνεισφορές: Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure de Lyon - ENS Lyon, Luc Bougé

Πηγή: https://theses.hal.science/tel-00425390 ; Génie logiciel [cs.SE]. École normale supérieure de Lyon - ENS Lyon, 1998. Français. ⟨NNT : ⟩.

Θεματικοί όροι: 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]

Διαθεσιμότητα: https://theses.hal.science/tel-00425390
https://theses.hal.science/tel-00425390v1/document
https://theses.hal.science/tel-00425390v1/file/these_finale.pdf

Validation formelle des langages à parallélisme de données

Συγγραφείς: Cachera, David

Συνεισφορές: Cachera, David

Θεματικοί όροι: [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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://theses.hal.science/tel-00425390v1