Chemical foundations of distributed aspects

Autor: Nicolas Tabareau, Éric Tanter

Publikováno v: Distributed Computing
Distributed Computing, Springer Verlag, 2018, 〈10.1007/s00446-018-0334-6〉
Distributed Computing, 2019, 32 (3), pp.193-216. ⟨10.1007/s00446-018-0334-6⟩
Distributed Computing, Springer Verlag, 2019, 32 (3), pp.193-216. ⟨10.1007/s00446-018-0334-6⟩

Distributed applications are challenging to program because they have to deal with a plethora of concerns, including synchronization, locality, replication, security and fault tolerance. Aspect-oriented programming (AOP) is a paradigm that promotes b

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::275e7711d78c46ebc51c8eb0d97d3729
https://doi.org/10.1007/s00446-018-0334-6

Gradualizing the Calculus of Inductive Constructions

Autor: Kenji Maillard, Meven Lennon-Bertrand, Éric Tanter, Nicolas Tabareau

Publikováno v: ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2022, ⟨10.1145/3495528⟩
ACM Transactions on Programming Languages and Systems (TOPLAS), 2022, ⟨10.1145/3495528⟩

We investigate gradual variations on the Calculus of Inductive Construction (CIC) for swifter prototyping with imprecise types and terms. We observe, with a no-go theorem, a crucial tradeoff between graduality and the key properties of normalization

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb63199d40af44d2995c6dc35639d6dc
https://hal.archives-ouvertes.fr/hal-02896776v4/document

An Interdisciplinary Model for Graphical Representation

Autor: Alexandre Bergel, Roberto Tonelli, G. Antonio Pierro, Stéphane Ducasse

Publikováno v: CIFMA 2020-2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications
CIFMA 2020-2nd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, Oct 2020, Amsterdam / Virtual, Netherlands
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops ISBN: 9783030672195
SEFM

International audience; The paper questions whether data-driven and problem-driven models are sufficient for a software to automatically represent a meaningful graphi-cal representation of scientific findings. The paper presents descriptive and presc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::70e89e3f33e26dd241994057fa850a23
https://inria.hal.science/hal-02972186/document

A Mechanized Formalization of GraphQL

Autor: Éric Tanter, Tomas Diaz, Federico Olmedo

Publikováno v: CPP 2020-9th ACM SIGPLAN International Conference on Certified Programs and Proofs
CPP 2020-9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, United States. ⟨10.1145/3372885.3373822⟩
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
CPP

International audience; GraphQL is a novel language for specifying and querying web APIs, allowing clients to flexibly and efficiently retrieve data of interest. The GraphQL language specification is unfortunately only available in prose, making it h

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a65f6cfe50459de4882b35e703003c26
https://hal.science/hal-02422532/file/main.pdf

Solving a Special Case of the Intensional vs Extensional Conjecture in Probabilistic Databases

Autor: Mikaël Monet

Publikováno v: SIGMOD/PODS '20: International Conference on Management of Data
SIGMOD/PODS '20: International Conference on Management of Data, Jun 2020, Portland OR USA, France. pp.149-163, ⟨10.1145/3375395.3387642⟩
PODS

We consider the problem of exact probabilistic inference for Union of Conjunctive Queries (UCQs) on tuple-independent databases. For this problem, two approaches currently coexist. In the extensional method, query evaluation is performed by exploitin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13edcf2c6a2fb7d18baff7a329683351