Search results
From MaRDI portal
- mardi4nfdi.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
- 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 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
- 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
- Typed Mobile Processes 2008-08-19 Paper Timed, Distributed, Probabilistic, Typed Processes 2008-05-15 Paper Formalising Java RMI with explicit code mobility...10 bytes (13 words) - 08:06, 25 September 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
- 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
- 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) - 07:28, 9 December 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) - 02:58, 12 December 2023
- typings for Java-like languages 2015-11-11 Paper A coalgebraic foundation for coinductive union types 2014-07-01 Paper A parametric calculus for mobile open code...10 bytes (13 words) - 16:00, 6 October 2023
- Paper Using abstract interpretation to add type checking for interfaces in Java bytecode verification 2010-05-27 Paper Instruction-level security analysis...10 bytes (15 words) - 23:46, 12 December 2023
- DQN algorithms for reinforcement learning 2025-01-08 Paper Generating Java code pairing with ChatGPT 2024-11-18 Paper A dynamic parameter adaptive path...10 bytes (13 words) - 15:37, 6 October 2023
- Paper A calculus of mobile agents 2023-06-28 Paper Implicit typing à la ML for the join-calculus 2023-05-17 Paper State separation for code-based game-playing...10 bytes (13 words) - 17:04, 9 December 2023
- for three-dimensional inhomogeneous elliptic problems: theory and MATLAB code 2020-01-03 Paper Improved differential evolutionary algorithm for nonlinear...10 bytes (14 words) - 00:28, 25 September 2023
- Publication Date of Publication Type Integrating native code into a Java application for controlling a mobile robot via a PC's serial port 2003-02-20 Paper...10 bytes (13 words) - 19:50, 24 September 2023
- Publication Date of Publication Type Integrating native code into a Java application for controlling a mobile robot via a PC's serial port 2003-02-20 Paper...10 bytes (13 words) - 19:50, 24 September 2023
- Publication Date of Publication Type Integrating native code into a Java application for controlling a mobile robot via a PC's serial port 2003-02-20 Paper...10 bytes (13 words) - 19:50, 24 September 2023
- frame properties in JML 2003-02-20 Paper How Java's language design reflects the requirements of mobile code 2002-04-28 Paper https://portal.mardi4nfdi.de/entity/Q2729071...10 bytes (15 words) - 14:50, 24 September 2023
