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) - 16:50, 9 December 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) - 22:05, 24 September 2023
- Publication Type Programming Self-Assembly of DNA Tiles 2017-03-22 Paper DNA tiles, Wang tiles and combinators 2014-12-22 Paper Java SAM typed closures:...10 bytes (13 words) - 10:51, 13 December 2023
- currents 2023-12-11 Paper Estimating radiological consequences using the Java programming language 2001-08-30 Paper...10 bytes (13 words) - 10:40, 5 September 2024
- 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 (15 words) - 13:50, 7 October 2023
- geometric Buchberger algorithm for integer programming 2002-08-20 Paper Developing a distributed scalable Java component server 2002-07-14 Paper Design of...10 bytes (16 words) - 23:35, 11 December 2023
- 2015-06-24 Paper Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java 2015-04-15 Paper Grounding synchronous...10 bytes (15 words) - 12:34, 13 December 2023
- Publication Type Formal semantics of Java expressions and statements 2005-08-17 Paper An ASM-based formal model of a Java program 2005-08-17 Paper https://portal...10 bytes (15 words) - 14:59, 8 December 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 (10 words) - 11:38, 23 May 2025
- of Publication Type Estimating radiological consequences using the Java programming language 2001-08-30 Paper...10 bytes (13 words) - 12:09, 23 May 2025
- high-level programming support of CORBA applications 2004-10-04 Paper Dynamic configuration management in a graph-oriented distributed programming environment...10 bytes (13 words) - 15:33, 13 December 2023
- 2005-11-30 Paper Computational Science – ICCS 2005 2005-11-30 Paper HP Java: Programming Support for High-Performance Grid-Enabled Applications 2004-10-28 Paper...10 bytes (16 words) - 09:39, 13 December 2023
- tears: blending SML with Java 2016-09-01 Paper Counting successes: effects and transformations for non-deterministic programs 2016-08-17 Paper Functional...10 bytes (14 words) - 19:56, 12 December 2023
- Paper Dynamic configuration management in a graph-oriented distributed programming environment. 2003-08-13 Paper https://portal.mardi4nfdi.de/entity/Q4412219...10 bytes (13 words) - 18:40, 9 December 2023
- algorithms 2017-12-04 Paper JCLAL: a Java framework for active learning 2016-08-16 Paper Single and multi-objective ant programming for mining interesting rare...10 bytes (13 words) - 00:17, 13 December 2023
- parallel programs interpreter in the development environment ParJava 2009-09-04 Paper DPJ: Java class library for development of data-parallel programs 2001-05-29...10 bytes (14 words) - 03:13, 13 December 2023
- and union types as logical formulae 2024-09-06 Paper Intersection types in Java: back to the future 2023-08-02 Paper https://portal.mardi4nfdi.de/entity/Q4585064...10 bytes (13 words) - 07:21, 12 December 2023
- for identifying direct superclasses in Java 2009-01-28 Paper On Revival of Algol-Concepts in Modern Programming and Specification Languages 2008-09-25...10 bytes (15 words) - 07:12, 13 December 2023
- communication in Java 2003-03-25 Paper Wide-area parallel programming using the remote method invocation model 2003-01-27 Paper Programming environments for...10 bytes (13 words) - 18:26, 9 December 2023
- domain-theoretic model of nominally-typed object-oriented programming 2016-05-03 Paper Subtyping in Java is a Fractal 2014-11-19 Paper...10 bytes (17 words) - 08:13, 7 October 2023
