Search results
From MaRDI portal
- de/entity/Q3105096 2012-01-05 Paper Proving the correctness of mobile Java code 2011-02-22 Paper Static rules of variable scoping in Erlang 2010-01-25...10 bytes (13 words) - 07:21, 7 October 2023
- topological representation theory from quivers 2024-12-23 Paper Generating Java code pairing with ChatGPT 2024-11-18 Paper Electro-mechanical buckling of shallow...10 bytes (14 words) - 09:46, 5 September 2024
- 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) - 11:51, 7 October 2023
- Publication Date of Publication Type Generating Java code pairing with ChatGPT 2024-11-18 Paper...10 bytes (13 words) - 13:36, 3 March 2025
- Publication Date of Publication Type Proving the correctness of mobile Java code 2011-02-22 Paper...10 bytes (15 words) - 01:32, 25 September 2023
- Publication Date of Publication Type Proving the correctness of mobile Java code 2011-02-22 Paper...10 bytes (13 words) - 01:32, 25 September 2023
- 2013-08-07 Paper Java and the Java memory model -- a unified, machine-checked formalisation 2012-06-22 Paper Animating the formalised semantics of a Java-like language...10 bytes (13 words) - 04:59, 13 December 2023
- 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) - 05:54, 7 October 2023
- 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) - 02:32, 7 October 2023
- 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) - 10:03, 6 October 2023
- Paper Integrating typed and untyped code in a scripting language 2015-06-11 Paper Plan B, a buffered memory model for Java 2014-11-27 Paper Programming Languages...10 bytes (14 words) - 16:39, 6 October 2023
- categorization of Java Maven libraries along Python PyPI Topics (dataset) 2024-01-10 Dataset [DEPRECATED] A manually-curated categorisation of Java Maven libraries...10 bytes (15 words) - 02:01, 13 December 2023
- 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) - 14:28, 9 December 2023
- 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) - 10:03, 6 October 2023
- verification of C code executing in an unverified context 2016-09-29 Paper Security monitor inlining and certification for multithreaded Java 2016-07-27 Paper...10 bytes (13 words) - 02:16, 7 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
- 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) - 11:42, 24 September 2023
- 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) - 00:51, 12 December 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
- New interaction mechanisms between Java distributed objects 2007-10-09 Paper An efficiency comparison of different Java technologies 2007-10-09 Paper Continuations...10 bytes (15 words) - 12:17, 7 October 2023
