Log in

Relevant bibliographies by topics / Certified programming

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Certified programming'

Author: Grafiati

Published: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Certified programming.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Certified programming"

1

Tanter, Éric, and Nicolas Tabareau. "Gradual certified programming in coq." ACM SIGPLAN Notices 51, no. 2 (2016): 26–40. http://dx.doi.org/10.1145/2936313.2816710.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Magron, Victor, George Constantinides, and Alastair Donaldson. "Certified Roundoff Error Bounds Using Semidefinite Programming." ACM Transactions on Mathematical Software 43, no. 4 (2017): 1–31. http://dx.doi.org/10.1145/3015465.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ni, Zhaozhong, and Zhong Shao. "Certified assembly programming with embedded code pointers." ACM SIGPLAN Notices 41, no. 1 (2006): 320–33. http://dx.doi.org/10.1145/1111320.1111066.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Syafrizal, Mutiara, and 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 (2024): 31–39. http://dx.doi.org/10.61124/sinta.v1i1.12.

Full text

Abstract:

PT Arkatama Multi Solusindo is an experienced company in IT consulting services and application development. Certified Independent Study Database Programming is one of the independent study programs at PT Arkatama Multi Solusindo. The series of activities in the separate database programming study program includes individual learning; participants will take part in a synchronous learning process (delivery of material by the trainer via Zoom meeting) and asynchronous (study of the material provided in the form of teaching modules/teaching videos/practical materials). At each learning meeting, p

APA, Harvard, Vancouver, ISO, and other styles

5

BARTHE, GILLES, DAVID PICHARDIE, and TAMARA REZK. "A certified lightweight non-interference Java bytecode verifier." Mathematical Structures in Computer Science 23, no. 5 (2013): 1032–81. http://dx.doi.org/10.1017/s0960129512000850.

Full text

Abstract:

Non-interference guarantees the absence of illicit information flow throughout program execution. It can be enforced by appropriate information flow type systems. Much of the previous work on type systems for non-interference has focused on calculi or high-level programming languages, and existing type systems for low-level languages typically omit objects, exceptions and method calls. We define an information flow type system for a sequential JVM-like language that includes all these programming features, and we prove, in the Coq proof assistant, that it guarantees non-interference. An additi

APA, Harvard, Vancouver, ISO, and other styles

6

Jacobs, Jules, Stephanie Balzer, and Robbert Krebbers. "Multiparty GV: functional multiparty session types with certified deadlock freedom." Proceedings of the ACM on Programming Languages 6, ICFP (2022): 466–95. http://dx.doi.org/10.1145/3547638.

Full text

Abstract:

Session types have recently been integrated with functional languages, bringing message-passing concurrency to functional programming. Channel endpoints then become first-class and can be stored in data structures, captured in closures, and sent along channels. Representatives of the GV (Wadler's "Good Variation") session type family are of particular appeal because they not only assert session fidelity but also deadlock freedom, inspired by a Curry-Howard correspondence to linear logic. A restriction of current versions of GV, however, is the focus on binary sessions, limiting concurrent inte

APA, Harvard, Vancouver, ISO, and other styles

7

Claflin, Kellie, Josh Stewart, and 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 (2023): 98–115. http://dx.doi.org/10.5032/jae.v64i2.110.

Full text

Abstract:

Teacher shortages in agricultural education are one reason for an increase in alternatively certified teachers, with 22.8% of new hires in school-based agricultural education (SBAE) being alternative licensure route completers in 2018. While prior research in SBAE has provided insight into the needs of alternatively certified teachers, we do not know how alternatively certified agriculture teachers are acquiring the practices of the profession. The purpose of this study was to explore how alternatively certified agriculture teachers acquire the practices of agriculture teachers using Wenger’s

APA, Harvard, Vancouver, ISO, and other styles

8

Bogaerts, Bart, Stephan Gocht, Ciaran McCreesh, and Jakob Nordström. "Certified Symmetry and Dominance Breaking for Combinatorial Optimisation." Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 4 (2022): 3698–707. http://dx.doi.org/10.1609/aaai.v36i4.20283.

Full text

Abstract:

Symmetry and dominance breaking can be crucial for solving hard combinatorial search and optimisation problems, but the correctness of these techniques sometimes relies on subtle arguments. For this reason, it is desirable to produce efficient, machine-verifiable certificates that solutions have been computed correctly. Building on the cutting planes proof system, we develop a certification method for optimisation problems in which symmetry and dominance breaking are easily expressible. Our experimental evaluation demonstrates that we can efficiently verify fully general symmetry breaking in B

APA, Harvard, Vancouver, ISO, and other styles

9

He, Guo Tian, Jie Sheng Chen, Li Song, et al. "Test Unit Design of Magnetorheological Greases Conductivity Research Based on Labview." Applied Mechanics and Materials 246-247 (December 2012): 1130–34. http://dx.doi.org/10.4028/www.scientific.net/amm.246-247.1130.

Full text

Abstract:

This paper described the characteristics of open virtual equipment platform LabVIEW, and introduced the method to construct data collecting system using this platform. And developed computer controlled monitoring unit of magneto-rheological grease conductivity, tested the relation between magneto-rheological grease conductivity and external magnetic field, particle concentration, and thickness of magneto-rheological grease. In windows system, the virtual instrument constructed by using LabVIEW programming implemented the real time measurement, display, record of conductivity output, analysis i

APA, Harvard, Vancouver, ISO, and other styles

10

CHLIPALA, ADAM. "Modular development of certified program verifiers with a proof assistant,." Journal of Functional Programming 18, no. 5-6 (2008): 599–647. http://dx.doi.org/10.1017/s0956796808006904.

Full text

Abstract:

AbstractWe report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checked proof of full correctness. The verifier is able to prove memory safety of x86 machine code programs compiled from code that uses algebraic datatypes. The tool's soundness theorem is expressed in terms of the bit-level semantics of x86 programs, so its correctness depends on very few assumptions. We take advantage of Coq's support for programming with dependent types and modules in the structure of the development. The approach is based on developing a library of reusab

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Certified programming"

1

Popescu, Valentina. "Towards fast and certified multiple-precision librairies." Thesis, Lyon, 2017. http://www.theses.fr/2017LYSEN036/document.

Full text

Abstract:

De nombreux problèmes de calcul numérique demandent parfois à effectuer des calculs très précis. L'étude desystèmes dynamiques chaotiques fournit des exemples très connus: la stabilité du système solaire ou l’itération à longterme de l'attracteur de Lorenz qui constitue un des premiers modèles de prédiction de l'évolution météorologique. Ons'intéresse aussi aux problèmes d'optimisation semi-définie positive mal-posés qui apparaissent dans la chimie oul'informatique quantique.Pour tenter de résoudre ces problèmes avec des ordinateurs, chaque opération arithmétique de base (addition,multiplicati

APA, Harvard, Vancouver, ISO, and other styles

2

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.

Full text

Abstract:

Cette thèse s’intéresse à la programmation certifiée correcte dans le cadre formel fourni par l’assistant de preuve Coq, et conduite par étapes de raffinements, avec l'objectif d’aboutir à un résultat correct par construction. Le langage de programmation considéré est un langage impératif simple, avec affectations, alternatives, séquences, et boucles. La sémantique associée à ce langage est une sémantique relationnelle exprimée dans un cadre prédicatif plus adapté à un plongement dans la théorie des types, plutôt que dans le calcul des relations. Nous étudions la relation entre d’une part la s

APA, Harvard, Vancouver, ISO, and other styles

3

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.

Full text

Abstract:

The thesis deals with correctness of a compiler of a simple language featuring exceptions. We present formal semantics, both denotational semantics of a~high-level language and operational semantics of a low-level language for a~simple stack machine. We study the method of stack unwinding and then iteratively, improving upon a naive solution, we present a different method that is structurally recursive and thus suitable for implementation in total dependently typed languages. Finally, we provide an implementation of the compiler in the dependently typed functional programming language Agda, al

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Certified programming"

1

Anderson, Bill. Java 2 Platform Sun Certified Programmer. Prentice Hall PTR, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Orwant, Jon. Perl 5 interactive course: Certified edition. Waite Group Press, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Linkletter, Terry. Certified computing professional examination review outlines. Institute for Certification of Computing Professionals, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Inc, Syngress Media, ed. Sun certified programmer for Java 2 study guide. Osborne/McGraw Hill, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Sun Microsystems. Sun certified JAVA programmer: Data structures and algorithms lab manual. Sun Microsystems, Inc., 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

SAP certified development associate--ABAP with SAP NetWeaver 7.4. 3rd ed. Rheinwerk Pub., 2015.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Inc, Syngress Media, ed. Sun certified programmer for Java 2 study guide / Syngress Media, Inc. 2nd ed. Osborne McGraw Hill, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Raposa, Richard F. SCJP: Sun Certified Programmer for Java Platform Study Guide. John Wiley & Sons, Ltd., 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

SCJP Sun certified programmer for Java platform, standard edition 6, study guide. Wiley Pub., 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Blokdijk, Gerard. SCJP 100 success secrets: Success with the Sun Certified Java Programmer (SCJP)exam, before and after passing. s.n.], 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Certified programming"

1

Rozplokhas, Dmitry, Andrey Vyatkin, and Dmitry Boulytchev. "Certified Semantics for Relational Programming." In Programming Languages and Systems. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-64437-6_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Lopes, Raul, Rodrigo Ribeiro, and Carlos Camarão. "Certified Derivative-Based Parsing of Regular Expressions." In Programming Languages. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45279-1_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Barthe, Gilles, César Kunz, and Jorge Luis Sacchini. "Certified Reasoning in Memory Hierarchies." In Programming Languages and Systems. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-89330-1_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Vandesande, Dieter, Wolf De Wulf, and Bart Bogaerts. "QMaxSATpb: A Certified MaxSAT Solver." In Logic Programming and Nonmonotonic Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-15707-3_33.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Fronc, Lukasz, and Franck Pommereau. "Towards a Certified Petri Net Model-Checker." In Programming Languages and Systems. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-25318-8_24.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Savary-Belanger, Olivier, Stefan Monnier, and Brigitte Pientka. "Programming Type-Safe Transformations Using Higher-Order Abstract Syntax." In Certified Programs and Proofs. Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-03545-1_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Cosmina, Iuliana. "Aspect Oriented Programming with Spring." In Pivotal Certified Professional Spring Developer Exam. Apress, 2017. http://dx.doi.org/10.1007/978-1-4842-0811-3_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Yu, Dachuan, Nadeem A. Hamid, and Zhong Shao. "Building Certified Libraries for PCC: Dynamic Storage Allocation." In Programming Languages and Systems. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-36575-3_25.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Garrigue, Jacques. "A Certified Implementation of ML with Structural Polymorphism." In Programming Languages and Systems. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-17164-2_25.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Barthe, Gilles, David Pichardie, and Tamara Rezk. "A Certified Lightweight Non-interference Java Bytecode Verifier." In Programming Languages and Systems. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-71316-6_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Certified programming"

1

Tanter, Éric, and Nicolas Tabareau. "Gradual certified programming in coq." In SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity. ACM, 2015. http://dx.doi.org/10.1145/2816707.2816710.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Gu, Ronghui, Zhong Shao, Jieung Kim, et al. "Certified concurrent abstraction layers." In PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, 2018. http://dx.doi.org/10.1145/3192366.3192381.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Carbonneaux, Quentin, Jan Hoffmann, and Zhong Shao. "Compositional certified resource bounds." In PLDI '15: ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, 2015. http://dx.doi.org/10.1145/2737924.2737955.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Ribeiro, Rodrigo, and André Du Bois. "Certified Bit-Coded Regular Expression Parsing." In SBLP 2017: 21st Brazilian Symposium on Programming Languages. ACM, 2017. http://dx.doi.org/10.1145/3125374.3125381.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Ni, Zhaozhong, and Zhong Shao. "Certified assembly programming with embedded code pointers." In Conference record of the 33rd ACM SIGPLAN-SIGACT symposium. ACM Press, 2006. http://dx.doi.org/10.1145/1111037.1111066.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Annenkov, Danil, and Martin Elsman. "Certified Compilation of Financial Contracts." In PPDP '18: The 20th International Symposium on Principles and Practice of Declarative Programming. ACM, 2018. http://dx.doi.org/10.1145/3236950.3236955.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Soundarapandian, Vimala, Adharsh Kamath, Kartik Nagar, and KC Sivaramakrishnan. "Certified mergeable replicated data types." In PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. ACM, 2022. http://dx.doi.org/10.1145/3519939.3523735.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Castro-Perez, David, Francisco Ferreira, Lorenzo Gheri, and 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. ACM, 2021. http://dx.doi.org/10.1145/3453483.3454041.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Koenig, Jérémie, and Zhong Shao. "CompCertO: compiling certified open C components." In PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. ACM, 2021. http://dx.doi.org/10.1145/3453483.3454097.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Doenges, Ryan, Tobias Kappé, John Sarracino, Nate Foster, and Greg Morrisett. "Leapfrog: certified equivalence for protocol parsers." In PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. ACM, 2022. http://dx.doi.org/10.1145/3519939.3523715.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Certified programming"

1

Johnny, Teneisha, and Mark D. Wenner. Tourism and Ecotourism Development in Guyana: Issues and Challenges and the Critical Path Forward. Inter-American Development Bank, 2015. http://dx.doi.org/10.18235/0009267.

Full text

Abstract:

Guyana has high potential to develop a nature-based tourist niche market and help diversify its economic base, which now depends on the export of primary commodities. Despite many natural attractions, Guyana is still at a nascent stage of nature-based development relying on primary factors for tourism development as opposed to thorough planning, focused investments, and aggressive marketing efforts. Other segments of traditional tourism development such as business and leisure also are undeveloped and little studied. The tourism sector in general faces many constraints, such as high air travel

APA, Harvard, Vancouver, ISO, and other styles

2

Hlushak, Oksana M., Volodymyr V. Proshkin, and Oksana S. Lytvyn. Using the e-learning course “Analytic Geometry” in the process of training students majoring in Computer Science and Information Technology. [б. в.], 2019. http://dx.doi.org/10.31812/123456789/3268.

Full text

Abstract:

As a result of literature analysis the expediency of free access of bachelors majoring in Computer Sciences and Information Technologies to modern information educational resources, in particular, e-learning courses in the process of studying mathematical disciplines is substantiated. It was established that the e-learning course is a complex of teaching materials and educational services created for the organization of individual and group training using information and communication technologies. Based on the outlined possibilities of applying the e-learning course, as well as its didactic f

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!