Search results
From MaRDI portal
- portable virtual machine target for proof-carrying code Abstraction-carrying code: a model for mobile code safety scientific article; zbMATH DE number 1956565...15 bytes (424 words) - 00:58, 12 April 2026
- abstraction-carrying code Abstraction-carrying code: a model for mobile code safety Using abstract interpretation to add type checking for interfaces in Java bytecode...15 bytes (466 words) - 03:03, 13 April 2026
- title available?) Byte code level cross-compilation for developing web applications Describes a project that uses Uses Software JavaScript This page was...15 bytes (166 words) - 02:21, 15 April 2026
- Publication:2771739 Source code verification of a secure payment applet A B model for ensuring soundness of a large subset of the Java card virtual machine Publication:4553258...15 bytes (168 words) - 02:43, 15 April 2026
- available?) Byte code level cross-compilation for developing web applications Describes a project that uses Uses Software Visual Basic JavaScript This page...15 bytes (121 words) - 15:23, 3 February 2024
- toolbox Integer codes correcting sparse byte errors Integer codes correcting single errors and random asymmetric errors within a byte Data Structures and...15 bytes (647 words) - 23:36, 4 February 2024
- Execution of Java Bytecode A type system for the Java bytecode language and verifier Verified bytecode subroutines Publication:2722060 Java bytecode verification:...15 bytes (149 words) - 22:57, 7 February 2024
- Network design and communication in computer systems (68M10) Recommendations Byte code level cross-compilation for developing web applications Publication:3023092...15 bytes (118 words) - 22:41, 3 February 2024
- of separation-logic-verified code Shape-Value Abstraction for Verifying Linearizability Sound modular verification of C code executing in an unverified context...15 bytes (317 words) - 11:21, 8 February 2024
- Efficient verified (UN)SAT certificate checking Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL HOL-Boogie — An Interactive Prover...15 bytes (581 words) - 01:57, 5 February 2024
- Reconstruction of Z3's bit-vector proofs in HOL4 and Isabelle/HOL Verification and code generation for invariant diagrams in Isabelle Extending Sledgehammer with...15 bytes (353 words) - 11:43, 3 February 2024
- Recommendations Formal memory models for the verification of low-level operating-system code Effective Program Verification for Relaxed Memory Models Software verification...15 bytes (550 words) - 05:16, 12 April 2026
- Software, source code, etc. for problems pertaining to fluid mechanics (76-04) Cites Work Theory and Applications of Satisfiability Testing Java-MaC: A run-time...15 bytes (376 words) - 05:27, 30 January 2024
