Search results
From MaRDI portal
- Languages and Compilers for Parallel Computing 2005-12-27 Paper HP Java: Programming Support for High-Performance Grid-Enabled Applications 2004-10-28 Paper...10 bytes (13 words) - 02:32, 7 October 2023
- Languages and Compilers for Parallel Computing 2005-12-27 Paper HP Java: Programming Support for High-Performance Grid-Enabled Applications 2004-10-28 Paper...10 bytes (14 words) - 02:32, 7 October 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
- in Java 2013-09-26 Paper Towards a formal foundation to orchestration languages 2013-09-11 Paper simpA: an agent-oriented approach for programming concurrent...10 bytes (13 words) - 11:21, 7 October 2023
- Records in the Unifying Theories of Programming 2007-09-14 Paper Angelic nondeterminism in the unifying theories of programming 2006-11-17 Paper FM 2005: Formal...10 bytes (13 words) - 10:57, 7 October 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
- 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) - 09:51, 13 December 2023
- for full program equivalence 2017-02-14 Paper Language definitions as rewrite theories 2016-12-28 Paper K-Java: a complete semantics of Java 2016-09-29...10 bytes (14 words) - 00:42, 9 December 2023
- ownership types in a Java-like setting 2013-06-06 Paper Delegation by object composition 2011-07-28 Paper Global Computing. Programming Environments, Languages...10 bytes (13 words) - 09:20, 7 October 2023
- Multi-threaded Java Programs 2007-11-28 Paper A Complete Guide to the Future 2007-09-04 Paper A verification framework for agent programming with declarative...10 bytes (17 words) - 15:50, 9 December 2023
- Checked corecursive streams: expressivity and completeness 2023-09-18 Paper A Java-like calculus with heterogeneous coeffects 2023-08-18 Paper https://portal...10 bytes (14 words) - 02:32, 7 October 2023
- Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala 2023-03-22 Paper On logical and extensional characterizations...10 bytes (15 words) - 10:03, 6 October 2023
- of Publication Type Programming by example and proving by example using higher-order unification 2023-04-28 Paper From programming-by-example to proving-by-example...10 bytes (13 words) - 10:30, 7 October 2023
- 2006-06-19 Paper Program Development in Computational Logic 2005-12-23 Paper Program Development in Computational Logic 2005-12-23 Paper Programming Languages...10 bytes (13 words) - 02:26, 7 October 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) - 08:39, 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) - 13:59, 8 December 2023
- Safety-critical Java programs from \textsf{Circus} models 2014-04-08 Paper Angelic nondeterminism and unifying theories of programming 2013-12-04 Paper...10 bytes (16 words) - 21:27, 11 December 2023
- tears: blending SML with Java 2016-09-01 Paper Counting Successes: Effects and Transformations for Non-deterministic Programs 2016-08-17 Paper Simple relational...10 bytes (13 words) - 08:36, 25 September 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) - 06:21, 12 December 2023
- 2008-05-15 Paper Programming Languages and Systems 2007-09-28 Paper Programming Languages and Systems 2007-05-02 Paper Types for Proofs and Programs 2006-11-13...10 bytes (13 words) - 02:32, 25 September 2023
