The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Cpp with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1991-2002 (19) 2003-2005 (18) 2006-2008 (21) 2009-2011 (37) 2012 (24) 2013 (24) 2014-2015 (24) 2016 (22) 2017 (25) 2018 (29) 2019 (26) 2020 (37) 2021 (32) 2022 (36) 2023 (34) 2024 (25)
Publication types (Num. hits)
article(46) incollection(2) inproceedings(372) proceedings(13)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 100 occurrences of 81 keywords

Results
Found 433 publication records. Showing 433 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
130Danny Z. Chen, Shuang Luan, Chao Wang 0002 Coupled Path Planning, Region Optimization, and Applications in Intensity-Modulated Radiation Therapy. Search on Bibsonomy ESA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
125Michael D. Ernst, Greg J. Badros, David Notkin An Empirical Analysis of C Preprocessor Use. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF C preprocessor, macro substitution, file inclusion, C++, empirical study, C, program understanding, macro, conditional compilation, Cpp
98Jonathan T. Trostle, Hosei Matsuoka, Muhammad Mukarram Bin Tariq, James Kempf, Toshiro Kawahara, Ravi Jain Cryptographically Protected Prefixes for Location Privacy in IPv6. Search on Bibsonomy Privacy Enhancing Technologies The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
81Yu-Hao Chang, Shang-Ho Tsai, Xiaoli Yu, C.-C. Jay Kuo Ultrawideband Transceiver Design Using Channel Phase Precoding. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
81Yongdong Wu, Feng Bao 0001, Robert H. Deng Forgery Attack to an Asymptotically Optimal Traitor Tracing Scheme. Search on Bibsonomy ACISP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
81Kumiko Ishida, Tomoyuki Uchida, Kayo Kawamoto Extracting Structural Features Among Words from Document Data Streams. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
73Jean-Marie Favre CPP Denotational Semantics. Search on Bibsonomy SCAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
60Tal Cohen, Joseph Gil Self-Calibration of Metrics of Java Methods. Search on Bibsonomy TOOLS (37) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF metrics self-calibration, Java methods, internal product metrics, common programming practice, external qualities, absolute values, local values, global database, method profiles, traditional programming languages, Java, software quality, software metrics, decision-making, calibration, observations, object oriented languages, data gathering, software complexity, CPP
57Hong K. Kim, Jack S. N. Jean Concurrency Preserving Rartitioning (CPP) for Parallel Logic Simulation. Search on Bibsonomy Workshop on Parallel and Distributed Simulation The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Load Balancing, Concurrency, Partitioning, Time Warp, Parallel Logic Simulation
49Jörg Liebig, Sven Apel, Christian Lengauer, Christian Kästner, Michael Schulze An analysis of the variability in forty preprocessor-based software product lines. Search on Bibsonomy ICSE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF C preprocessor, empirical study, software product lines
49Yoann Padioleau Parsing C/C++ Code without Pre-processing. Search on Bibsonomy CC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Sang-Hong Lee, Hyoung J. Jang, Joon S. Lim Forecasting Short-Term KOSPI Time Series Based on NEWFM. Search on Bibsonomy New Directions in Intelligent Interactive Multimedia The full citation details ... 2008 DBLP  DOI  BibTeX  RDF weighted average defuzzification, KOSPI, wavelet transform, fuzzy neural networks, nonlinear time series
49Sang-Hong Lee, Hyoung J. Jang, Joon S. Lim Extracting Input Features and Fuzzy Rules for Forecasting Exchange Rate Using NEWFM. Search on Bibsonomy New Directions in Intelligent Interactive Multimedia The full citation details ... 2008 DBLP  DOI  BibTeX  RDF wavelet transform, forecasting, fuzzy neural networks, exchange rate
49Sang-Hong Lee, Joon S. Lim KOSPI Time Series Analysis Using Neural Network with Weighted Fuzzy Membership Functions. Search on Bibsonomy KES-AMSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF weighted average defuzzification, KOSPI, wavelet transform, fuzzy neural networks, nonlinear time series
49Eric G. Ackermann Bibliometrics of a controversial scientific literature: Polywater research, 1962-1974. Search on Bibsonomy Scientometrics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Tevfik Bultan, Cevdet Aykanat Circuit partitioning using parallel mean field annealing algorithms. Search on Bibsonomy SPDP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
44Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy (eds.) Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024 Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Azalea Raad Under-Approximation for Scalable Bug Detection (Keynote). Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang Compositional Verification of Concurrent C Programs with Search Structure Templates. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44David Monniaux Memory Simulations, Security and Optimization in a Verified Compiler. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Ike Mulder, Robbert Krebbers Unification for Subformula Linking under Quantifiers. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Nao Hirokawa, Dohan Kim 0001, Kiraku Shintani, René Thiemann Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio A Formalization of Complete Discrete Valuation Rings and Local Fields. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Chelsea Edmonds, Lawrence C. Paulson Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Théo Winterhalter, Catalin Hritcu, Bas Spitters The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur 0001, Ilya Sergey Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Joseph Eremondi Strictly Monotone Brouwer Trees for Well Founded Recursion over Multiple Arguments. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North Univalent Double Categories. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Nikolai Kudasov, Emily Riehl, Jonathan Weinberger Formalizing the ∞-Categorical Yoneda Lemma. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Andrew W. Appel, Ariel Kellison VCFloat2: Floating-Point Error Analysis in Coq. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet Martin-Löf à la Coq. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten UTC Time, Formally Verified. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Ian Shillito, Dominik Kirst A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Siddhartha Gadgil, Anand Rao Tadipatri Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Lauren White, Laura Titolo, J. Tanner Slagel, César A. Muñoz A Temporal Differential Dynamic Logic Formal Embedding. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert Displayed Monoidal Categories for the Semantics of Linear Logic. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner Lean Formalization of Extended Regular Expression Matching with Lookarounds. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Clément Chavanon, Frédéric Besson, Tristan Ninet PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams. Search on Bibsonomy CPP The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
44Robbert Krebbers, Dmitriy Traytel, Brigitte Pientka, Steve Zdancewic (eds.) Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023 Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster P4Cub: A Little Language for Big Routers. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Reynald Affeldt, Cyril Cohen, Ayumu Saito Semantics of Probabilistic Programs using s-Finite Kernels in Coq. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Hugo Férée, Sam van Gool Formalizing and Computing Propositional Quantifiers. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Anthony Bordg, Adrián Doña Mateo Encoding Dependently-Typed Constructions into Simple Type Theory. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Kexing Ying, Rémy Degenne A Formalization of Doob's Martingale Convergence Theorems in mathlib. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi 0001 Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Jannis Limperg, Asta Halkjær From Aesop: White-Box Best-First Proof Search for Lean. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Yannick Forster 0002, Felix Jahn, Gert Smolka A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl). Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Cezary Kaliszyk Improved Assistance for Interactive Proof (Keynote). Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Katherine Kosaian, Yong Kiam Tan, André Platzer A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Sandrine Blazy CompCert: A Journey through the Landscape of Mechanized Semantics for Verified Compilation (Keynote). Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Thomas Lamiaux, Axel Ljungström, Anders Mörtberg Computing Cohomology Rings in Cubical Agda. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Bhavik Mehta Formalising Sharkovsky's Theorem (Proof Pearl). Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Christina Kohl, Aart Middeldorp A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Floris van Doorn, Patrick Massot, Oliver Nash Formalising the h-Principle and Sphere Eversion. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Valentin Blot, Denis Cousineau 0002, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial Compositional Pre-processing for Automated Reasoning in Dependent Type Theory. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Michael Färber 0002 Terms for Efficient Proof Checking and Parsing. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Brae J. Webb, Ian J. Hayes, Mark Utting Verifying Term Graph Optimizations using Isabelle/HOL. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Joshua Clune A Formalized Reduction of Keller's Conjecture. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Benjamin Grégoire, Jean-Christophe Léchenet, Enrico Tassi Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Xavier Allamigeon, Quentin Canu, Pierre-Yves Strub A Formal Disproof of Hirsch Conjecture. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Yann Herklotz, Delphine Demange, Sandrine Blazy Mechanised Semantics for Gated Static Single Assignment. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Eske Hoy Nielsen, Danil Annenkov, Bas Spitters Formalising Decentralised Exchanges in Coq. Search on Bibsonomy CPP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44Andrei Popescu 0001, Steve Zdancewic (eds.) CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022 Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Louis Cheung, Liam O'Connor, Christine Rizkallah Overcoming restraint: composing verification of foreign functions with cogent. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman A verified algebraic representation of cairo program execution. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44César Muñoz Structural embeddings revisited (invited talk). Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44William Schultz, Ian Dardik, Stavros Tripakis Formal verification of a distributed dynamic reconfiguration protocol. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle A compositional proof framework for FRETish requirements. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Patricia Johann, Enrico Ghiorzi (Deep) induction rules for GADTs. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Dan Frumin Semantic cut elimination for the logic of bunched implications, formalized in Coq. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Mark Koch, Dominik Kirst Undecidability, incompleteness, and completeness of second-order logic in Coq. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Pablo Donato, Pierre-Yves Strub, Benjamin Werner A drag-and-drop proof tactic. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Cyril Six, Léo Gourdin, Sylvain Boulmé, David Monniaux, Justus Fasse, Nicolas Nardino Formally verified superblock scheduling. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Jonathan Prieto-Cubides On homotopy of walks and spherical maps in homotopy type theory. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt Forward build systems, formally. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Oliver Nash Formalising lie algebras. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Denis Firsov, Dominique Unruh Reflection, rewinding, and coin-toss in EasyCrypt. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44June Andronick The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk). Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Benedikt Ahrens, Ralph Matthes, Anders Mörtberg Implementing a category-theoretic framework for typed abstract syntax. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Guillaume Ambal, Sergueï Lenglet, Alan Schmitt Certified abstract machines for skeletal semantics. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Mihails Milehins An extension of the framework types-to-sets for Isabelle/HOL. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Derek Egolf, Sam Lasser, Kathleen Fisher Verbatim++: verified, optimized, and semantically rich lexing with derivatives. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Andrew W. Appel Coq's vibrant ecosystem for verification engineering (invited talk). Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Hing-Lun Chan Windmills of the minds: an algorithm for fermat's two squares theorem. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli Applying formal verification to microkernel IPC at meta. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Michael Färber 0002 Safe, fast, concurrent proof checking for the lambda-pi calculus modulo rewriting. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Simon Friis Vindum, Dan Frumin, Lars Birkedal Mechanized verification of a fine-grained concurrent queue from meta's folly library. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Ariel Kellison A machine-checked direct proof of the Steiner-lehmus theorem. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Micha Schrader CertiStr: a certified string solver. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Alexandre Moine 0001, Arthur Charguéraud, François Pottier Specification and verification of a transient stack. Search on Bibsonomy CPP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
44Catalin Hritcu, Andrei Popescu 0001 (eds.) CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021 Search on Bibsonomy CPP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
44Elliot Catt, Michael Norrish On the formalisation of Kolmogorov complexity. Search on Bibsonomy CPP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
44C. H. R. Chhak, Andrew Tolmach, Sean Noble Anderson Towards formally verified compilation of tag-based policy enforcement. Search on Bibsonomy CPP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
44Véronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini A Coq formalization of data provenance. Search on Bibsonomy CPP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
44Tobias Nipkow Teaching algorithms and data structures with a proof assistant (invited talk). Search on Bibsonomy CPP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
44Martin Desharnais, Stefan Brunthaler 0001 Towards efficient and verified virtual machines for dynamic languages. Search on Bibsonomy CPP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 433 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license