Search results
From MaRDI portal
Showing results for denotational semantic java by the code. No results found for denotational semantics Java byte-code.
- self-modifying code 2016-05-26 Paper Validating dominator trees for a fast, verified dominance test 2015-09-14 Paper Plan B, a buffered memory model for Java 2014-11-27...10 bytes (13 words) - 06:54, 7 October 2023
- Publication Date of Publication Type Compiling standard ML to Java bytecodes 2019-09-26 Paper Proof-relevant logical relations for name generation...10 bytes (13 words) - 09:36, 25 September 2023
- checking for interfaces in Java bytecode verification Unveiling metamorphism by abstract interpretation of code properties Code obfuscation against abstraction...15 bytes (598 words) - 01:56, 9 February 2024
- dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany...12 bytes (463 words) - 18:47, 24 March 2026
- flows Content dependent information flow control Abstract semantic dependency The spirit of ghost code Symbolic abstract heaps for polymorphic information-flow...15 bytes (500 words) - 10:18, 6 February 2024
- Specification and verification of concurrent systems by causality and realizability On the notion of expressiveness and the rule of adaptation Secure mechanical verification...15 bytes (877 words) - 11:22, 6 February 2024
- Specification of the Java Virtual Machine Using Dependent Types Lem: reusable engineering of real-world semantics An overview of the K semantic framework Secure...15 bytes (282 words) - 20:06, 1 February 2024
