Search results
From MaRDI portal
Did you mean: java codes
- 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) - 20:41, 10 April 2026
- 2005-01-11 Paper Source code verification of a secure payment applet 2004-10-14 Paper Weakest pre-condition reasoning for Java programs with JML annotations...10 bytes (15 words) - 18:50, 10 April 2026
- and arrays 2017-10-23 Paper Certified assembly programming with embedded code pointers 2017-08-21 Paper Flexible representation analysis 2017-08-21 Paper...10 bytes (15 words) - 23:51, 11 April 2026
- 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) - 18:19, 10 April 2026
- multiparty sessions 2024-02-23 Paper A Java-like calculus with heterogeneous coeffects 2023-08-18 Paper Intersection types in Java: back to the future 2023-08-02...10 bytes (13 words) - 19:32, 10 April 2026
- Paper Efficiently adapting Java binaries in limited memory contexts 2003-05-06 Paper Supporting multidimensional arrays in Java 2003-03-25 Paper https://portal...10 bytes (16 words) - 05:49, 11 April 2026
- 2016-01-08 Paper Principal typings for Java-like languages 2015-11-11 Paper A parametric calculus for mobile open code 2013-12-06 Paper A calculus for reconfiguration...10 bytes (14 words) - 03:14, 11 April 2026
- Publication Date of Publication Type Proving the correctness of mobile Java code 2011-02-22 Paper...10 bytes (13 words) - 02:32, 25 September 2023
- Publication Date of Publication Type Generating Java code pairing with ChatGPT 2024-11-18 Paper...10 bytes (13 words) - 14:36, 3 March 2025
- Publication Date of Publication Type Proving the correctness of mobile Java code 2011-02-22 Paper...10 bytes (15 words) - 02:32, 25 September 2023
- Address standardization 2012-07-12 Paper Proving the correctness of mobile Java code 2011-02-22 Paper Commanding a robot in a safe way 2009-12-29 Paper...10 bytes (13 words) - 12:51, 7 October 2023
- Specialization of Prolog Programs 2009-01-15 Paper Abstraction-carrying code: a model for mobile code safety 2008-10-20 Paper An Overview of the Ciao Multiparadigm...10 bytes (16 words) - 03:54, 13 April 2026
- scheduling 2017-07-12 Paper Partial evaluation of string obfuscations for Java malware detection 2017-02-14 Paper From MinX to MinC: semantics-driven decompilation...10 bytes (13 words) - 20:41, 10 April 2026
- of web applications 2003-02-19 Paper Cjj: A subset of C++ compliant with Java 2002-04-03 Paper Inference of object-oriented design patterns 2002-04-02...10 bytes (13 words) - 17:48, 10 April 2026
- de/entity/Q6099621 2023-06-20 Paper Automatic Generation of Guard-Stable Floating-Point Code 2023-03-21 Paper A formally verified floating-point implementation of the...10 bytes (15 words) - 17:54, 10 April 2026
- 2001-05-07 Paper An efficient heuristic for code partitioning 2000-06-04 Paper Analysis of a heuristic for code partitioning 1999-01-11 Paper Incorporating...10 bytes (17 words) - 18:31, 10 April 2026
- computational fields 2016-01-07 Paper On flexible dynamic trait replacement for Java-like languages 2014-04-02 Paper Compositional type checking of delta-oriented...10 bytes (15 words) - 19:32, 10 April 2026
- de/entity/Q4658275 2005-03-16 Paper Cjj: A subset of C++ compliant with Java 2002-04-03 Paper Design-code traceability recovery: Selecting the basic linkage properties...10 bytes (13 words) - 17:48, 10 April 2026
- Interprocedural and flow-sensitive type analysis for memory and type safety of C code 2009-08-31 Paper A Hybrid Approach for Safe Memory Management in C 2009-01-27...10 bytes (15 words) - 19:50, 10 April 2026
- 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 (13 words) - 12:46, 11 April 2026
