Search results
From MaRDI portal
- multithreaded Java with exceptions 2008-04-14 Paper A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs 2007-11-28 Paper...10 bytes (17 words) - 15:50, 9 December 2023
- of Publication Type A study of potential parallelism among traces in Java programs 2009-05-06 Paper Automatic task generation for the multi-level computing...10 bytes (15 words) - 02:04, 7 October 2023
- implementation 2022-08-19 Paper Deductive verification of floating-point Java programs in KeY 2021-10-18 Paper Axiomatization of typed first-order logic 2019-12-19...10 bytes (13 words) - 18:08, 24 September 2023
- 2017-07-27 Paper Safety-critical Java programs from \textsf{Circus} models 2014-04-08 Paper The safety-critical Java memory model formalised 2013-03-22...10 bytes (15 words) - 19:00, 24 September 2023
- Type Modeling big data processing programs 2021-07-08 Paper Specification and runtime verification of Java card programs 2015-03-19 Paper Verified Compilation...10 bytes (15 words) - 07:51, 6 October 2023
- processing programs 2021-07-08 Paper Search-based evolution of XML schemas 2018-04-05 Paper Specification and runtime verification of Java card programs 2015-03-19...10 bytes (15 words) - 07:51, 6 October 2023
- Aspects of Computing - ICTAC 2004 2005-11-30 Paper Java-MaC: A run-time assurance approach for Java programs 2004-09-09 Paper...10 bytes (13 words) - 20:23, 24 September 2023
- safety for programs with pointer arithmetic 2017-07-10 Paper Lower runtime bounds for integer programs 2016-09-05 Paper Proving termination of programs automatically...10 bytes (13 words) - 17:25, 24 September 2023
- verification of Java card programs 2015-03-19 Paper JCML: A specification language for the runtime verification of Java card programs 2012-07-20 Paper...10 bytes (17 words) - 12:42, 28 January 2024
- separation logic for multithreaded Java programs 2015-03-11 Paper Automatic Parallelization and Optimization of Programs by Proof Rewriting 2009-08-18 Paper...10 bytes (13 words) - 16:07, 6 October 2023
- semantics for Java futures 2009-05-06 Paper Phase-based visualization and analysis of Java programs 2006-10-19 Paper Using JavaNws to compare C and Java TCP-socket...10 bytes (14 words) - 20:01, 21 September 2023
- termination analysis of Java bytecode by term rewriting 2012-04-25 Paper Modular termination proofs of recursive Java bytecode programs by term rewriting 2012-04-24...10 bytes (13 words) - 21:05, 24 September 2023
- termination analysis of Java bytecode by term rewriting 2012-04-25 Paper Modular termination proofs of recursive Java bytecode programs by term rewriting 2012-04-24...10 bytes (13 words) - 03:06, 25 September 2023
- https://portal.mardi4nfdi.de/entity/Q4472546 2004-08-04 Paper Model checking JAVA programs using JAVA PathFinder 2000-01-01 Paper...10 bytes (13 words) - 12:58, 24 September 2023
- verification of Java card programs 2015-03-19 Paper JCML: A specification language for the runtime verification of Java card programs 2012-07-20 Paper...10 bytes (17 words) - 07:51, 6 October 2023
- Compilers 2009-03-12 Paper Preservation of Proof Obligations from Java to the Java Virtual Machine 2008-11-27 Paper Type-Based Termination with Sized...10 bytes (15 words) - 15:57, 24 September 2023
- Test selection for traces refinement 2014-12-12 Paper Safety-critical Java programs from \textsf{Circus} models 2014-04-08 Paper Type checking \textsf{Circus}...10 bytes (13 words) - 10:57, 7 October 2023
- non-suspension conditions for logic programs with dynamic scheduling 2017-07-12 Paper Partial evaluation of string obfuscations for Java malware detection 2017-02-14...10 bytes (13 words) - 02:26, 7 October 2023
- Theoretical Computer Science 2005-08-12 Paper Java-MaC: A run-time assurance approach for Java programs 2004-09-09 Paper https://portal.mardi4nfdi.de/entity/Q4447254...10 bytes (14 words) - 08:45, 24 September 2023
- compositional operational semantics for Java\(_{\text{MT}}\) 2010-03-23 Paper A tool-supported proof system for multithreaded Java. 2010-02-09 Paper Inductive proof...10 bytes (18 words) - 15:36, 9 December 2023
