Littérature scientifique sur le sujet « Certified programming »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Certified programming ».
À 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.
Articles de revues sur le sujet "Certified programming"
Tanter, Éric, et Nicolas Tabareau. « Gradual certified programming in coq ». ACM SIGPLAN Notices 51, no 2 (11 mai 2016) : 26–40. http://dx.doi.org/10.1145/2936313.2816710.
Texte intégralMagron, Victor, George Constantinides et Alastair Donaldson. « Certified Roundoff Error Bounds Using Semidefinite Programming ». ACM Transactions on Mathematical Software 43, no 4 (23 mars 2017) : 1–31. http://dx.doi.org/10.1145/3015465.
Texte intégralNi, Zhaozhong, et Zhong Shao. « Certified assembly programming with embedded code pointers ». ACM SIGPLAN Notices 41, no 1 (12 janvier 2006) : 320–33. http://dx.doi.org/10.1145/1111320.1111066.
Texte intégralSyafrizal, Mutiara, et Agus Siswanto. « MAGANG STUDI INDEPENDEN BERSERTIFIKAT WEBSITE APLIKASI ONLINE PMB DI PT ARKATAMA MULTI SOLUSINDO ». Jurnal SINTA : Sistem Informasi dan Teknologi Komputasi 1, no 1 (6 janvier 2024) : 31–39. http://dx.doi.org/10.61124/sinta.v1i1.12.
Texte intégralBARTHE, GILLES, DAVID PICHARDIE et TAMARA REZK. « A certified lightweight non-interference Java bytecode verifier ». Mathematical Structures in Computer Science 23, no 5 (17 mai 2013) : 1032–81. http://dx.doi.org/10.1017/s0960129512000850.
Texte intégralJacobs, Jules, Stephanie Balzer et Robbert Krebbers. « Multiparty GV : functional multiparty session types with certified deadlock freedom ». Proceedings of the ACM on Programming Languages 6, ICFP (29 août 2022) : 466–95. http://dx.doi.org/10.1145/3547638.
Texte intégralClaflin, Kellie, Josh Stewart et Haley Q. Traini. « Here are the keys, go teach : How alternatively certified agriculture teachers learn to be agriculture teachers ». Journal of Agricultural Education 64, no 2 (30 juin 2023) : 98–115. http://dx.doi.org/10.5032/jae.v64i2.110.
Texte intégralBogaerts, Bart, Stephan Gocht, Ciaran McCreesh et Jakob Nordström. « Certified Symmetry and Dominance Breaking for Combinatorial Optimisation ». Proceedings of the AAAI Conference on Artificial Intelligence 36, no 4 (28 juin 2022) : 3698–707. http://dx.doi.org/10.1609/aaai.v36i4.20283.
Texte intégralHe, Guo Tian, Jie Sheng Chen, Li Song, Yan Ma, Ming Li, Ze Yu Xu, De Sheng Zhang et Ying Chun Ran. « Test Unit Design of Magnetorheological Greases Conductivity Research Based on Labview ». Applied Mechanics and Materials 246-247 (décembre 2012) : 1130–34. http://dx.doi.org/10.4028/www.scientific.net/amm.246-247.1130.
Texte intégralCHLIPALA, ADAM. « Modular development of certified program verifiers with a proof assistant »,. Journal of Functional Programming 18, no 5-6 (15 août 2008) : 599–647. http://dx.doi.org/10.1017/s0956796808006904.
Texte intégralThèses sur le sujet "Certified programming"
Popescu, Valentina. « Towards fast and certified multiple-precision librairies ». Thesis, Lyon, 2017. http://www.theses.fr/2017LYSEN036/document.
Texte intégralMany numerical problems require some very accurate computations. Examples can be found in the field ofdynamical systems, like the long-term stability of the solar system or the long-term iteration of the Lorenz attractor thatis one of the first models used for meteorological predictions. We are also interested in ill-posed semi-definite positiveoptimization problems that appear in quantum chemistry or quantum information.In order to tackle these problems using computers, every basic arithmetic operation (addition, multiplication,division, square root) requires more precision than the ones offered by common processors (binary32 and binary64).There exist multiple-precision libraries that allow the manipulation of very high precision numbers, but their generality(they are able to handle numbers with millions of digits) is quite a heavy alternative when high performance is needed.The major objective of this thesis was to design and develop a new arithmetic library that offers sufficient precision, isfast and also certified. We offer accuracy up to a few tens of digits (a few hundred bits) on both common CPU processorsand on highly parallel architectures, such as graphical cards (GPUs). We ensure the results obtained by providing thealgorithms with correctness and error bound proofs
Sall, Boubacar Demba. « Programmation impérative par raffinements avec l'assistant de preuve Coq ». Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS181.
Texte intégralThis thesis investigates certified programming by stepwise refinement in the framework of the Coq proof assistant. This allows the construction of programs that are correct by construction. The programming language that is considered is a simple imperative language with assignment, selection, sequence, and iteration. The semantics of this language is formalized in a relational and predicative setting, and is shown to be equivalent to an axiomatic semantics in the style of a Hoare logic. The stepwise refinement approach to programming requires that refinement steps from the specification to the program be proved correct. For so doing, we use a calculus of weakest pre-specifications which is a generalisation of the calculus of weakest pre-conditions. Finally, to capture the whole refinement history of a program development, we formalize a design language and a logic for reasoning about program designs in order to establish that all refinement steps are indeed correct. The approach developed during this thesis is entirely mecanised using the Coq proof assistant
Tejiščák, Matúš. « On the semantics of exceptions for high level and low level languages ». Master's thesis, 2012. http://www.nusl.cz/ntk/nusl-305104.
Texte intégralLivres sur le sujet "Certified programming"
Anderson, Bill. Java 2 Platform Sun Certified Programmer. Upper Saddle River, NJ : Prentice Hall PTR, 2000.
Trouver le texte intégralOrwant, Jon. Perl 5 interactive course : Certified edition. Corte Madera, CA : Waite Group Press, 1998.
Trouver le texte intégralLinkletter, Terry. Certified computing professional examination review outlines. Des Plaines, Ill : Institute for Certification of Computing Professionals, 2000.
Trouver le texte intégralInc, Syngress Media, dir. Sun certified programmer for Java 2 study guide. Berkeley, Calif : Osborne/McGraw Hill, 2000.
Trouver le texte intégralSun Microsystems. Sun certified JAVA programmer : Data structures and algorithms lab manual. Santa Clara, Calif : Sun Microsystems, Inc., 2010.
Trouver le texte intégralSAP certified development associate--ABAP with SAP NetWeaver 7.4. 3e éd. Bonn : Rheinwerk Pub., 2015.
Trouver le texte intégralInc, Syngress Media, dir. Sun certified programmer for Java 2 study guide / Syngress Media, Inc. 2e éd. New York : Osborne McGraw Hill, 2001.
Trouver le texte intégralRaposa, Richard F. SCJP : Sun Certified Programmer for Java Platform Study Guide. New York : John Wiley & Sons, Ltd., 2009.
Trouver le texte intégralSCJP Sun certified programmer for Java platform, standard edition 6, study guide. Indianapolis, Ind : Wiley Pub., 2009.
Trouver le texte intégralBlokdijk, Gerard. SCJP 100 success secrets : Success with the Sun Certified Java Programmer (SCJP)exam, before and after passing. [S.l : s.n.], 2007.
Trouver le texte intégralChapitres de livres sur le sujet "Certified programming"
Rozplokhas, Dmitry, Andrey Vyatkin et Dmitry Boulytchev. « Certified Semantics for Relational Programming ». Dans Programming Languages and Systems, 167–85. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-64437-6_9.
Texte intégralLopes, Raul, Rodrigo Ribeiro et Carlos Camarão. « Certified Derivative-Based Parsing of Regular Expressions ». Dans Programming Languages, 95–109. Cham : Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45279-1_7.
Texte intégralBarthe, Gilles, César Kunz et Jorge Luis Sacchini. « Certified Reasoning in Memory Hierarchies ». Dans Programming Languages and Systems, 75–90. Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-89330-1_6.
Texte intégralVandesande, Dieter, Wolf De Wulf et Bart Bogaerts. « QMaxSATpb : A Certified MaxSAT Solver ». Dans Logic Programming and Nonmonotonic Reasoning, 429–42. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-15707-3_33.
Texte intégralFronc, Lukasz, et Franck Pommereau. « Towards a Certified Petri Net Model-Checker ». Dans Programming Languages and Systems, 322–36. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-25318-8_24.
Texte intégralSavary-Belanger, Olivier, Stefan Monnier et Brigitte Pientka. « Programming Type-Safe Transformations Using Higher-Order Abstract Syntax ». Dans Certified Programs and Proofs, 243–58. Cham : Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-03545-1_16.
Texte intégralCosmina, Iuliana. « Aspect Oriented Programming with Spring ». Dans Pivotal Certified Professional Spring Developer Exam, 153–84. Berkeley, CA : Apress, 2017. http://dx.doi.org/10.1007/978-1-4842-0811-3_4.
Texte intégralYu, Dachuan, Nadeem A. Hamid et Zhong Shao. « Building Certified Libraries for PCC : Dynamic Storage Allocation ». Dans Programming Languages and Systems, 363–79. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-36575-3_25.
Texte intégralGarrigue, Jacques. « A Certified Implementation of ML with Structural Polymorphism ». Dans Programming Languages and Systems, 360–75. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-17164-2_25.
Texte intégralBarthe, Gilles, David Pichardie et Tamara Rezk. « A Certified Lightweight Non-interference Java Bytecode Verifier ». Dans Programming Languages and Systems, 125–40. Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-71316-6_10.
Texte intégralActes de conférences sur le sujet "Certified programming"
Tanter, Éric, et Nicolas Tabareau. « Gradual certified programming in coq ». Dans SPLASH '15 : Conference on Systems, Programming, Languages, and Applications : Software for Humanity. New York, NY, USA : ACM, 2015. http://dx.doi.org/10.1145/2816707.2816710.
Texte intégralGu, Ronghui, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo et Tahina Ramananandro. « Certified concurrent abstraction layers ». Dans PLDI '18 : ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA : ACM, 2018. http://dx.doi.org/10.1145/3192366.3192381.
Texte intégralCarbonneaux, Quentin, Jan Hoffmann et Zhong Shao. « Compositional certified resource bounds ». Dans PLDI '15 : ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA : ACM, 2015. http://dx.doi.org/10.1145/2737924.2737955.
Texte intégralRibeiro, Rodrigo, et André Du Bois. « Certified Bit-Coded Regular Expression Parsing ». Dans SBLP 2017 : 21st Brazilian Symposium on Programming Languages. New York, NY, USA : ACM, 2017. http://dx.doi.org/10.1145/3125374.3125381.
Texte intégralNi, Zhaozhong, et Zhong Shao. « Certified assembly programming with embedded code pointers ». Dans Conference record of the 33rd ACM SIGPLAN-SIGACT symposium. New York, New York, USA : ACM Press, 2006. http://dx.doi.org/10.1145/1111037.1111066.
Texte intégralAnnenkov, Danil, et Martin Elsman. « Certified Compilation of Financial Contracts ». Dans PPDP '18 : The 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY, USA : ACM, 2018. http://dx.doi.org/10.1145/3236950.3236955.
Texte intégralSoundarapandian, Vimala, Adharsh Kamath, Kartik Nagar et KC Sivaramakrishnan. « Certified mergeable replicated data types ». Dans PLDI '22 : 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. New York, NY, USA : ACM, 2022. http://dx.doi.org/10.1145/3519939.3523735.
Texte intégralCastro-Perez, David, Francisco Ferreira, Lorenzo Gheri et Nobuko Yoshida. « Zooid : a DSL for certified multiparty computation : from mechanised metatheory to certified multiparty processes ». Dans PLDI '21 : 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. New York, NY, USA : ACM, 2021. http://dx.doi.org/10.1145/3453483.3454041.
Texte intégralKoenig, Jérémie, et Zhong Shao. « CompCertO : compiling certified open C components ». Dans PLDI '21 : 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. New York, NY, USA : ACM, 2021. http://dx.doi.org/10.1145/3453483.3454097.
Texte intégralDoenges, Ryan, Tobias Kappé, John Sarracino, Nate Foster et Greg Morrisett. « Leapfrog : certified equivalence for protocol parsers ». Dans PLDI '22 : 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. New York, NY, USA : ACM, 2022. http://dx.doi.org/10.1145/3519939.3523715.
Texte intégralRapports d'organisations sur le sujet "Certified programming"
Johnny, Teneisha, et Mark D. Wenner. Tourism and Ecotourism Development in Guyana : Issues and Challenges and the Critical Path Forward. Inter-American Development Bank, décembre 2015. http://dx.doi.org/10.18235/0009267.
Texte intégralHlushak, Oksana M., Volodymyr V. Proshkin et Oksana S. Lytvyn. Using the e-learning course “Analytic Geometry” in the process of training students majoring in Computer Science and Information Technology. [б. в.], septembre 2019. http://dx.doi.org/10.31812/123456789/3268.
Texte intégral