Literatura científica selecionada sobre o tema "Certified programming"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Índice
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Certified programming".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Certified programming"
Tanter, Éric, e Nicolas Tabareau. "Gradual certified programming in coq". ACM SIGPLAN Notices 51, n.º 2 (11 de maio de 2016): 26–40. http://dx.doi.org/10.1145/2936313.2816710.
Texto completo da fonteMagron, Victor, George Constantinides e Alastair Donaldson. "Certified Roundoff Error Bounds Using Semidefinite Programming". ACM Transactions on Mathematical Software 43, n.º 4 (23 de março de 2017): 1–31. http://dx.doi.org/10.1145/3015465.
Texto completo da fonteNi, Zhaozhong, e Zhong Shao. "Certified assembly programming with embedded code pointers". ACM SIGPLAN Notices 41, n.º 1 (12 de janeiro de 2006): 320–33. http://dx.doi.org/10.1145/1111320.1111066.
Texto completo da fonteSyafrizal, Mutiara, e Agus Siswanto. "MAGANG STUDI INDEPENDEN BERSERTIFIKAT WEBSITE APLIKASI ONLINE PMB DI PT ARKATAMA MULTI SOLUSINDO". Jurnal SINTA: Sistem Informasi dan Teknologi Komputasi 1, n.º 1 (6 de janeiro de 2024): 31–39. http://dx.doi.org/10.61124/sinta.v1i1.12.
Texto completo da fonteBARTHE, GILLES, DAVID PICHARDIE e TAMARA REZK. "A certified lightweight non-interference Java bytecode verifier". Mathematical Structures in Computer Science 23, n.º 5 (17 de maio de 2013): 1032–81. http://dx.doi.org/10.1017/s0960129512000850.
Texto completo da fonteJacobs, Jules, Stephanie Balzer e Robbert Krebbers. "Multiparty GV: functional multiparty session types with certified deadlock freedom". Proceedings of the ACM on Programming Languages 6, ICFP (29 de agosto de 2022): 466–95. http://dx.doi.org/10.1145/3547638.
Texto completo da fonteClaflin, Kellie, Josh Stewart e Haley Q. Traini. "Here are the keys, go teach: How alternatively certified agriculture teachers learn to be agriculture teachers". Journal of Agricultural Education 64, n.º 2 (30 de junho de 2023): 98–115. http://dx.doi.org/10.5032/jae.v64i2.110.
Texto completo da fonteBogaerts, Bart, Stephan Gocht, Ciaran McCreesh e Jakob Nordström. "Certified Symmetry and Dominance Breaking for Combinatorial Optimisation". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 4 (28 de junho de 2022): 3698–707. http://dx.doi.org/10.1609/aaai.v36i4.20283.
Texto completo da fonteHe, Guo Tian, Jie Sheng Chen, Li Song, Yan Ma, Ming Li, Ze Yu Xu, De Sheng Zhang e Ying Chun Ran. "Test Unit Design of Magnetorheological Greases Conductivity Research Based on Labview". Applied Mechanics and Materials 246-247 (dezembro de 2012): 1130–34. http://dx.doi.org/10.4028/www.scientific.net/amm.246-247.1130.
Texto completo da fonteCHLIPALA, ADAM. "Modular development of certified program verifiers with a proof assistant",. Journal of Functional Programming 18, n.º 5-6 (15 de agosto de 2008): 599–647. http://dx.doi.org/10.1017/s0956796808006904.
Texto completo da fonteTeses / dissertações sobre o assunto "Certified programming"
Popescu, Valentina. "Towards fast and certified multiple-precision librairies". Thesis, Lyon, 2017. http://www.theses.fr/2017LYSEN036/document.
Texto completo da fonteMany 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.
Texto completo da fonteThis 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.
Texto completo da fonteLivros sobre o assunto "Certified programming"
Anderson, Bill. Java 2 Platform Sun Certified Programmer. Upper Saddle River, NJ: Prentice Hall PTR, 2000.
Encontre o texto completo da fonteOrwant, Jon. Perl 5 interactive course: Certified edition. Corte Madera, CA: Waite Group Press, 1998.
Encontre o texto completo da fonteLinkletter, Terry. Certified computing professional examination review outlines. Des Plaines, Ill: Institute for Certification of Computing Professionals, 2000.
Encontre o texto completo da fonteInc, Syngress Media, ed. Sun certified programmer for Java 2 study guide. Berkeley, Calif: Osborne/McGraw Hill, 2000.
Encontre o texto completo da fonteSun Microsystems. Sun certified JAVA programmer: Data structures and algorithms lab manual. Santa Clara, Calif: Sun Microsystems, Inc., 2010.
Encontre o texto completo da fonteSAP certified development associate--ABAP with SAP NetWeaver 7.4. 3a ed. Bonn: Rheinwerk Pub., 2015.
Encontre o texto completo da fonteInc, Syngress Media, ed. Sun certified programmer for Java 2 study guide / Syngress Media, Inc. 2a ed. New York: Osborne McGraw Hill, 2001.
Encontre o texto completo da fonteRaposa, Richard F. SCJP: Sun Certified Programmer for Java Platform Study Guide. New York: John Wiley & Sons, Ltd., 2009.
Encontre o texto completo da fonteSCJP Sun certified programmer for Java platform, standard edition 6, study guide. Indianapolis, Ind: Wiley Pub., 2009.
Encontre o texto completo da fonteBlokdijk, Gerard. SCJP 100 success secrets: Success with the Sun Certified Java Programmer (SCJP)exam, before and after passing. [S.l: s.n.], 2007.
Encontre o texto completo da fonteCapítulos de livros sobre o assunto "Certified programming"
Rozplokhas, Dmitry, Andrey Vyatkin e Dmitry Boulytchev. "Certified Semantics for Relational Programming". In Programming Languages and Systems, 167–85. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-64437-6_9.
Texto completo da fonteLopes, Raul, Rodrigo Ribeiro e Carlos Camarão. "Certified Derivative-Based Parsing of Regular Expressions". In Programming Languages, 95–109. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45279-1_7.
Texto completo da fonteBarthe, Gilles, César Kunz e Jorge Luis Sacchini. "Certified Reasoning in Memory Hierarchies". In Programming Languages and Systems, 75–90. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-89330-1_6.
Texto completo da fonteVandesande, Dieter, Wolf De Wulf e Bart Bogaerts. "QMaxSATpb: A Certified MaxSAT Solver". In Logic Programming and Nonmonotonic Reasoning, 429–42. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-15707-3_33.
Texto completo da fonteFronc, Lukasz, e Franck Pommereau. "Towards a Certified Petri Net Model-Checker". In Programming Languages and Systems, 322–36. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-25318-8_24.
Texto completo da fonteSavary-Belanger, Olivier, Stefan Monnier e Brigitte Pientka. "Programming Type-Safe Transformations Using Higher-Order Abstract Syntax". In Certified Programs and Proofs, 243–58. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-03545-1_16.
Texto completo da fonteCosmina, Iuliana. "Aspect Oriented Programming with Spring". In Pivotal Certified Professional Spring Developer Exam, 153–84. Berkeley, CA: Apress, 2017. http://dx.doi.org/10.1007/978-1-4842-0811-3_4.
Texto completo da fonteYu, Dachuan, Nadeem A. Hamid e Zhong Shao. "Building Certified Libraries for PCC: Dynamic Storage Allocation". In Programming Languages and Systems, 363–79. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-36575-3_25.
Texto completo da fonteGarrigue, Jacques. "A Certified Implementation of ML with Structural Polymorphism". In Programming Languages and Systems, 360–75. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-17164-2_25.
Texto completo da fonteBarthe, Gilles, David Pichardie e Tamara Rezk. "A Certified Lightweight Non-interference Java Bytecode Verifier". In Programming Languages and Systems, 125–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-71316-6_10.
Texto completo da fonteTrabalhos de conferências sobre o assunto "Certified programming"
Tanter, Éric, e Nicolas Tabareau. "Gradual certified programming in coq". In 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.
Texto completo da fonteGu, Ronghui, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo e Tahina Ramananandro. "Certified concurrent abstraction layers". In 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.
Texto completo da fonteCarbonneaux, Quentin, Jan Hoffmann e Zhong Shao. "Compositional certified resource bounds". In 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.
Texto completo da fonteRibeiro, Rodrigo, e André Du Bois. "Certified Bit-Coded Regular Expression Parsing". In SBLP 2017: 21st Brazilian Symposium on Programming Languages. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3125374.3125381.
Texto completo da fonteNi, Zhaozhong, e Zhong Shao. "Certified assembly programming with embedded code pointers". In 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.
Texto completo da fonteAnnenkov, Danil, e Martin Elsman. "Certified Compilation of Financial Contracts". In 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.
Texto completo da fonteSoundarapandian, Vimala, Adharsh Kamath, Kartik Nagar e KC Sivaramakrishnan. "Certified mergeable replicated data types". In 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.
Texto completo da fonteCastro-Perez, David, Francisco Ferreira, Lorenzo Gheri e Nobuko Yoshida. "Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes". In 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.
Texto completo da fonteKoenig, Jérémie, e Zhong Shao. "CompCertO: compiling certified open C components". In 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.
Texto completo da fonteDoenges, Ryan, Tobias Kappé, John Sarracino, Nate Foster e Greg Morrisett. "Leapfrog: certified equivalence for protocol parsers". In 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.
Texto completo da fonteRelatórios de organizações sobre o assunto "Certified programming"
Johnny, Teneisha, e Mark D. Wenner. Tourism and Ecotourism Development in Guyana: Issues and Challenges and the Critical Path Forward. Inter-American Development Bank, dezembro de 2015. http://dx.doi.org/10.18235/0009267.
Texto completo da fonteHlushak, Oksana M., Volodymyr V. Proshkin e Oksana S. Lytvyn. Using the e-learning course “Analytic Geometry” in the process of training students majoring in Computer Science and Information Technology. [б. в.], setembro de 2019. http://dx.doi.org/10.31812/123456789/3268.
Texto completo da fonte