Articles de revues sur le sujet « Refinement and proof »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Refinement and proof ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Mulder, Ike, et Robbert Krebbers. « Proof Automation for Linearizability in Separation Logic ». Proceedings of the ACM on Programming Languages 7, OOPSLA1 (6 avril 2023) : 462–91. http://dx.doi.org/10.1145/3586043.
Texte intégralSong, Youngju, et Dongjae Lee. « Refinement Composition Logic ». Proceedings of the ACM on Programming Languages 8, ICFP (15 août 2024) : 573–601. http://dx.doi.org/10.1145/3674645.
Texte intégralDerrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn et Heike Wehrheim. « Verifying correctness of persistent concurrent data structures : a sound and complete method ». Formal Aspects of Computing 33, no 4-5 (17 mai 2021) : 547–73. http://dx.doi.org/10.1007/s00165-021-00541-8.
Texte intégralBohrer, Brandon, et André Platzer. « Structured Proofs for Adversarial Cyber-Physical Systems ». ACM Transactions on Embedded Computing Systems 20, no 5s (31 octobre 2021) : 1–26. http://dx.doi.org/10.1145/3477024.
Texte intégralMylonakis, Nikos. « Proof Assistance for Refinement in Type Theory ». Electronic Notes in Theoretical Computer Science 37 (2000) : 1–21. http://dx.doi.org/10.1016/s1571-0661(05)01134-5.
Texte intégralPeng, Jie, Tangliu Wen, Yiguo Yang et Guoming Huang. « An Event-B Approach to the Development of Fork/Join Parallel Programs ». EAI Endorsed Transactions on AI and Robotics 1 (18 février 2022) : 1–6. http://dx.doi.org/10.4108/airo.v1i.16.
Texte intégralFarissi, Abdallah El. « Simple proof and refinement of Hermite-Hadamard inequality ». Journal of Mathematical Inequalities, no 3 (2010) : 365–69. http://dx.doi.org/10.7153/jmi-04-33.
Texte intégralCansell, Dominique, Dominique Méry et Cyril Proch. « System-on-chip design by proof-based refinement ». International Journal on Software Tools for Technology Transfer 11, no 3 (24 mars 2009) : 217–38. http://dx.doi.org/10.1007/s10009-009-0104-7.
Texte intégralGregersen, Simon Oddershede, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti et Lars Birkedal. « Almost-Sure Termination by Guarded Refinement ». Proceedings of the ACM on Programming Languages 8, ICFP (15 août 2024) : 203–33. http://dx.doi.org/10.1145/3674632.
Texte intégralMimouni, Sanae, et Mohamed Bouhdadi. « A Mechanized Formal Refinement Proof of Modbus Communication Using Event-B Proof System ». International Journal of Intelligent Engineering and Systems 11, no 4 (31 août 2018) : 97–106. http://dx.doi.org/10.22266/ijies2018.0831.10.
Texte intégralMutluergil, Suha Orhun, et Serdar Tasiran. « A mechanized refinement proof of the Chase–Lev deque using a proof system ». Computing 101, no 1 (2 juillet 2018) : 59–74. http://dx.doi.org/10.1007/s00607-018-0635-4.
Texte intégralBuchsbaum, Christian, et Martin U. Schmidt. « Rietveld refinement of a wrong crystal structure ». Acta Crystallographica Section B Structural Science 63, no 6 (9 novembre 2007) : 926–32. http://dx.doi.org/10.1107/s0108768107050823.
Texte intégralel Mimouni, Sanae, et Mohamed Bouhdadi. « Event Based Formalization of Communication Properties for an E-Commerce Protocol : An Event-B Approach ». International Journal of Engineering Research in Africa 37 (août 2018) : 78–90. http://dx.doi.org/10.4028/www.scientific.net/jera.37.78.
Texte intégralLuo, Zhaohui. « Program specification and data refinement in type theory ». Mathematical Structures in Computer Science 3, no 3 (septembre 1993) : 333–63. http://dx.doi.org/10.1017/s0960129500000256.
Texte intégralMéry, Dominique, et Neeraj Kumar Singh. « Formal Specification of Medical Systems by Proof-Based Refinement ». ACM Transactions on Embedded Computing Systems 12, no 1 (janvier 2013) : 1–25. http://dx.doi.org/10.1145/2406336.2406351.
Texte intégralCimatti, Alessandro, et Stefano Tonetta. « Contracts-refinement proof system for component-based embedded systems ». Science of Computer Programming 97 (janvier 2015) : 333–48. http://dx.doi.org/10.1016/j.scico.2014.06.011.
Texte intégralDümbgen, Lutz. « A simple proof and refinement of Wielandt's eigenvalue inequality ». Statistics & ; Probability Letters 25, no 2 (novembre 1995) : 113–15. http://dx.doi.org/10.1016/0167-7152(94)00212-q.
Texte intégralBANACH, RICHARD, et CZESŁAW JESKE. « Retrenchment and refinement interworking : the tower theorems ». Mathematical Structures in Computer Science 25, no 1 (2 décembre 2014) : 135–202. http://dx.doi.org/10.1017/s0960129514000061.
Texte intégralGORRIERI, ROBERTO, et UGO MONTANARI. « TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS : A PROOF SYSTEM FOR STRONG PREFIXING ». International Journal of Foundations of Computer Science 01, no 03 (septembre 1990) : 277–93. http://dx.doi.org/10.1142/s0129054190000205.
Texte intégralQiu, Longfei, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré et Zhong Shao. « LiDO : Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs ». Proceedings of the ACM on Programming Languages 8, PLDI (20 juin 2024) : 1140–64. http://dx.doi.org/10.1145/3656423.
Texte intégralLai, Tri. « Proof of a refinement of Blum’s conjecture on hexagonal dungeons ». Discrete Mathematics 340, no 7 (juillet 2017) : 1617–32. http://dx.doi.org/10.1016/j.disc.2017.03.003.
Texte intégralBejenaru, Ioan. « The multilinear restriction estimate : a short proof and a refinement ». Mathematical Research Letters 24, no 6 (2017) : 1585–603. http://dx.doi.org/10.4310/mrl.2017.v24.n6.a1.
Texte intégralChoppy, Christine, Micaela Mayero et Laure Petrucci. « Coloured Petri net refinement specification and correctness proof with Coq ». Innovations in Systems and Software Engineering 6, no 3 (23 avril 2010) : 195–202. http://dx.doi.org/10.1007/s11334-010-0131-2.
Texte intégralAtiya, D., S. King et J. C. P. Woodcock. « Simpler Reasoning About System Properties : a Proof-by-Refinement Technique ». Electronic Notes in Theoretical Computer Science 137, no 2 (juillet 2005) : 5–22. http://dx.doi.org/10.1016/j.entcs.2005.04.022.
Texte intégralSimić, Danijela. « Using Small -Step Refinement for Algorithm Verification in Computer Science Education ». International Journal for Technology in Mathematics Education 22, no 4 (1 décembre 2015) : 155–62. http://dx.doi.org/10.1564/tme_v22.4.03.
Texte intégralSándor, József. « On certain inequalities for the prime counting function ». Notes on Number Theory and Discrete Mathematics 27, no 4 (décembre 2021) : 149–53. http://dx.doi.org/10.7546/nntdm.2021.27.4.149-153.
Texte intégralCohen, Stephen D., et A. M. W. Glass. « Composites of translations and odd rational powers act freely ». Bulletin of the Australian Mathematical Society 51, no 1 (février 1995) : 73–81. http://dx.doi.org/10.1017/s0004972700013903.
Texte intégralFarzan, Azadeh, Dominik Klumpp et Andreas Podelski. « Stratified Commutativity in Verification Algorithms for Concurrent Programs ». Proceedings of the ACM on Programming Languages 7, POPL (9 janvier 2023) : 1426–53. http://dx.doi.org/10.1145/3571242.
Texte intégralKomlós, János, et Endre Szemerédi. « Topological cliques in graphs II ». Combinatorics, Probability and Computing 5, no 1 (mars 1996) : 79–90. http://dx.doi.org/10.1017/s096354830000184x.
Texte intégralLi, Jie, Kai Hu, Jian Zhu, Jean-Paul Bodeveix et Yafei Ye. « Formal Modelling of PBFT Consensus Algorithm in Event-B ». Wireless Communications and Mobile Computing 2022 (14 octobre 2022) : 1–17. http://dx.doi.org/10.1155/2022/4467917.
Texte intégralBobkov, Sergey G., Gennadiy P. Chistyakov et Friedrich Götze. « Richter’s local limit theorem, its refinement, and related results* ». Lithuanian Mathematical Journal 63, no 2 (avril 2023) : 138–60. http://dx.doi.org/10.1007/s10986-023-09598-9.
Texte intégralSándor, József. « On an Arithmetic Inequality ». Analele Universitatii "Ovidius" Constanta - Seria Matematica 22, no 1 (10 décembre 2014) : 257–61. http://dx.doi.org/10.2478/auom-2014-0021.
Texte intégralGrimmett, Geoffrey R., Tobias J. Osborne et Petra F. Scudo. « Bounded Entanglement Entropy in the Quantum Ising Model ». Journal of Statistical Physics 178, no 1 (2 décembre 2019) : 281–96. http://dx.doi.org/10.1007/s10955-019-02432-y.
Texte intégralKawamata, Fuga, Hiroshi Unno, Taro Sekiyama et Tachio Terauchi. « Answer Refinement Modification : Refinement Type System for Algebraic Effects and Handlers ». Proceedings of the ACM on Programming Languages 8, POPL (5 janvier 2024) : 115–47. http://dx.doi.org/10.1145/3633280.
Texte intégralSumners, Rob. « Proof Reduction of Fair Stuttering Refinement of Asynchronous Systems and Applications ». Electronic Proceedings in Theoretical Computer Science 249 (2 mai 2017) : 78–94. http://dx.doi.org/10.4204/eptcs.249.6.
Texte intégralDousse, Jehanne. « A combinatorial proof and refinement of a partition identity of Siladić ». European Journal of Combinatorics 39 (juillet 2014) : 223–32. http://dx.doi.org/10.1016/j.ejc.2014.01.008.
Texte intégralAndriamiarina, Bruno, Dominique Méry et Kumar Singh. « Revisiting snapshot algorithms by refinement-based techniques ». Computer Science and Information Systems 11, no 1 (2014) : 251–70. http://dx.doi.org/10.2298/csis130122007a.
Texte intégralPulte, Christopher, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell et Neel Krishnaswami. « CN : Verifying Systems C Code with Separation-Logic Refinement Types ». Proceedings of the ACM on Programming Languages 7, POPL (9 janvier 2023) : 1–32. http://dx.doi.org/10.1145/3571194.
Texte intégralKashio, Tomokazu. « Fermat curves and a refinement of the reciprocity law on cyclotomic units ». Journal für die reine und angewandte Mathematik (Crelles Journal) 2018, no 741 (1 août 2018) : 255–73. http://dx.doi.org/10.1515/crelle-2015-0081.
Texte intégralGäher, Lennard, Michael Sammler, Ralf Jung, Robbert Krebbers et Derek Dreyer. « RefinedRust : A Type System for High-Assurance Verification of Rust Programs ». Proceedings of the ACM on Programming Languages 8, PLDI (20 juin 2024) : 1115–39. http://dx.doi.org/10.1145/3656422.
Texte intégralJacobs, Philipp, Andreas Houben, Werner Schweika, Andrei L. Tchougréeff et Richard Dronskowski. « A Rietveld refinement method for angular- and wavelength-dispersive neutron time-of-flight powder diffraction data ». Journal of Applied Crystallography 48, no 6 (13 octobre 2015) : 1627–36. http://dx.doi.org/10.1107/s1600576715016520.
Texte intégralBessenrodt, Christine. « A Combinatorial Proof of a Refinement of the Andrews—Olsson Partition Identity ». European Journal of Combinatorics 12, no 4 (juillet 1991) : 271–76. http://dx.doi.org/10.1016/s0195-6698(13)80109-6.
Texte intégralHan, Guo-Niu. « The Nekrasov-Okounkov hook length formula : refinement, elementary proof, extension and applications ». Annales de l’institut Fourier 60, no 1 (2010) : 1–29. http://dx.doi.org/10.5802/aif.2515.
Texte intégralMELLIÈS, PAUL-ANDRÉ, et NOAM ZEILBERGER. « An Isbell duality theorem for type refinement systems ». Mathematical Structures in Computer Science 28, no 6 (20 mars 2017) : 736–74. http://dx.doi.org/10.1017/s0960129517000068.
Texte intégralBoyle, Mike, et Scott Schmieding. « Strong shift equivalence and algebraic K-theory ». Journal für die reine und angewandte Mathematik (Crelles Journal) 2019, no 752 (1 juillet 2019) : 63–104. http://dx.doi.org/10.1515/crelle-2016-0056.
Texte intégralSababheh, Mohammad, Hamid Moradi, Ibrahim Gümüş et Shigeru Furuichi. « A note on Kantorovich and Ando inequalities ». Filomat 37, no 13 (2023) : 4171–83. http://dx.doi.org/10.2298/fil2313171s.
Texte intégralZafar, Nazir Ahmad, Ajmal Hussain et Amir Ali. « Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata ». Journal of Software Engineering and Applications 02, no 02 (2009) : 77–85. http://dx.doi.org/10.4236/jsea.2009.22012.
Texte intégralSun, Chia-Hung, et Fu-Chuan Lai. « Hotelling was right with decreasing returns to scale and a coalition-proof refinement ». Annals of Regional Science 50, no 3 (25 août 2012) : 953–71. http://dx.doi.org/10.1007/s00168-012-0528-y.
Texte intégralGe, Hua-feng. « New Sharp Bounds for the Bernoulli Numbers and Refinement of Becker-Stark Inequalities ». Journal of Applied Mathematics 2012 (2012) : 1–7. http://dx.doi.org/10.1155/2012/137507.
Texte intégralFISCHLER, STÉPHANE. « SHIDLOVSKY’S MULTIPLICITY ESTIMATE AND IRRATIONALITY OF ZETA VALUES ». Journal of the Australian Mathematical Society 105, no 2 (18 juin 2018) : 145–72. http://dx.doi.org/10.1017/s1446788717000386.
Texte intégral