Search results
From MaRDI portal
Did you mean: java by the code
- proof-carrying code Building certified libraries for PCC: dynamic storage allocation Abstraction-carrying code: a model for mobile code safety Title not...15 bytes (374 words) - 15:01, 30 January 2024
- specification of Java bytecode verification A certified lightweight non-interference Java bytecode verifier This page was built for publication: Java bytecode...15 bytes (395 words) - 16:13, 31 January 2024
- WeirdX SAXON This page was built for publication: Byte code level cross-compilation for developing web applications Report a bug (only for logged in users...15 bytes (197 words) - 21:34, 30 January 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 (651 words) - 22:36, 4 February 2024
- not available (Why is that?) Byte code level cross-compilation for developing web applications Uses Software Visual Basic JavaScript This page was built for...15 bytes (111 words) - 14:23, 3 February 2024
- 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 (380 words) - 04:27, 30 January 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 (554 words) - 18:18, 30 January 2024
- of C code executing in an unverified context Program logics for certified compilers Lightweight verification of separate compilation Types, bytes, and...15 bytes (303 words) - 10:21, 8 February 2024
- Title of this publication is not available (Why is that?) Recommendations Byte code level cross-compilation for developing web applications Publication:3023092...15 bytes (128 words) - 21:41, 3 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 (357 words) - 10:43, 3 February 2024
- Formalizing the Edmonds-Karp Algorithm Animating the Formalised Semantics of a Java-Like Language Title not available (Why is that?) Efficient verified (UN)SAT...15 bytes (490 words) - 00:57, 5 February 2024
- is not available (Why is that?) zbMATH Keywords Formal MethodsB MethodByte Code Verification Mathematics Subject Classification ID Mathematical aspects...15 bytes (127 words) - 01:01, 8 February 2024
- heavy string constraints VeRoViz: A Vehicle Routing Visualization Toolkit Byte code level cross-compilation for developing web applications A Provably Correct...12 bytes (763 words) - 20:10, 5 March 2024
