Search results
From MaRDI portal
Showing results for denotational semantic java by the code. No results found for denotational semantics Java byte-code.
- Certified Data Race Analysis for a Java-like Language 2009-10-20 Paper A Certified Lightweight Non-interference Java Bytecode Verifier 2007-09-04 Paper...10 bytes (13 words) - 05: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) - 08:36, 25 September 2023
- abstract domain completeness Generalizing the Paige-Tarjan algorithm by abstract interpretation A semantic framework for the abstract model checking of tccp programs...15 bytes (575 words) - 00:56, 9 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 (240 words) - 19:06, 1 February 2024
- flows Content dependent information flow control Abstract semantic dependency The spirit of ghost code Symbolic abstract heaps for polymorphic information-flow...15 bytes (499 words) - 09: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 (873 words) - 10:22, 6 February 2024
- environment Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java TCC, with History Sound reasoning in...12 bytes (783 words) - 20:33, 5 March 2024
- Synchronous structures A denotational theory of synchronous reactive systems Operational semantics of a kernel of the language ELECTRE The semantics and execution...12 bytes (788 words) - 20:10, 5 March 2024
