Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Software and its engineering → Correctness"'
Publikováno v:
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, 2022, ⟨10.1145/3498703⟩
Proceedings of the ACM on Programming Languages, ACM, 2022, ⟨10.1145/3498703⟩
Proceedings of the ACM on Programming Languages, 2022, ⟨10.1145/3498703⟩
Proceedings of the ACM on Programming Languages, ACM, 2022, ⟨10.1145/3498703⟩
Large-scale software verification relies critically on the use of compositional languages, semantic models, specifications, and verification techniques. Recent work on certified abstraction layers synthesizes game semantics, the refinement calculus,
Autor:
Garg, Mohit, Sarswat, Suneel
We use formal methods to specify, design, and monitor continuous double auctions, which are widely used to match buyers and sellers at exchanges of foreign currencies, stocks, and commodities. We identify three natural properties of such auctions and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::10263ac0f77193a5fa50ca9876738d6d
http://arxiv.org/abs/2210.05447
http://arxiv.org/abs/2210.05447
Non-terminating (dependencies of) definitions can lead to logical contradictions, for example when defining a boolean constant as its own negation. Some proof assistants thus detect and disallow non-terminating definitions. Termination is generally u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1726c08a47a87c1140fc2915702b143c
Autor:
Martin Elsman, Danil Annenkov
Publikováno v:
PPDP '18-20th International Symposium on Principles and Practice of Declarative Programming
PPDP '18-20th International Symposium on Principles and Practice of Declarative Programming, Sep 2018, Frankfurt am Main, Germany. pp.1-13, ⟨10.1145/3236950.3236955⟩
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming-PPDP '18
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming-PPDP 18
PPDP '18-20th International Symposium on Principles and Practice of Declarative Programming, Sep 2018, Frankfurt am Main, Germany. pp.1-13, ⟨10.1145/3236950.3236955⟩
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming-PPDP '18
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming-PPDP 18
We present an extension to a certified financial contract management system that allows for templated declarative financial contracts and for integration with financial stochastic models through verified compilation into so-called payoff-expressions.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bac4d16c6332ad8a7efd119a4d0063e1
https://hal.inria.fr/hal-01883559
https://hal.inria.fr/hal-01883559