Search results
From MaRDI portal
- 2021-06-17 Paper Estimating radiological consequences using the Java programming language 2001-08-30 Paper...10 bytes (13 words) - 22:04, 24 September 2023
- 2023-12-11 Paper Estimating radiological consequences using the Java programming language 2001-08-30 Paper...10 bytes (13 words) - 09:40, 5 September 2024
- Publication Type Estimating radiological consequences using the Java programming language 2001-08-30 Paper...10 bytes (13 words) - 11:09, 23 May 2025
- 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
- Paper A language-independent proof system for full program equivalence 2017-02-14 Paper Language definitions as rewrite theories 2016-12-28 Paper K-Java: a...10 bytes (14 words) - 00:42, 9 December 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
- mathematical expressions in a statistical language 2009-06-02 Paper Programming statistical data visualization in the Java language 2008-06-11 Paper Adding visualization...10 bytes (13 words) - 06:04, 7 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
- mathematical expressions in a statistical language 2009-06-02 Paper Programming statistical data visualization in the Java language 2008-06-11 Paper Adding visualization...10 bytes (13 words) - 20:59, 21 September 2023
- imperative programming language 2005-06-30 Paper An abstract compiler model as a result of the algebraic semantics of a programming language 2005-04-29...10 bytes (15 words) - 13:59, 8 December 2023
- 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) - 12:50, 7 October 2023
- formal semantics for a Java-like language 2008-01-14 Paper Theorem Proving in Higher Order Logics 2006-07-06 Paper Programming Languages and Systems 2005-09-13...10 bytes (15 words) - 09:17, 6 October 2023
- Certified Data Race Analysis for a Java-like Language 2009-10-20 Paper A Certified Lightweight Non-interference Java Bytecode Verifier 2007-09-04 Paper...10 bytes (13 words) - 05:54, 7 October 2023
- untyped code in a scripting language 2015-06-11 Paper Plan B, a buffered memory model for Java 2014-11-27 Paper Programming Languages and Systems 2007-09-28...10 bytes (14 words) - 16:39, 6 October 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
- 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
- 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
- categories 2010-07-02 Paper Automatic verification of Java programs with dynamic frames 2010-05-28 Paper Java's integral types in PVS. 2010-01-12 Paper Categorical...10 bytes (15 words) - 14:28, 9 December 2023
- for processes 2018-07-04 Paper Programming autonomic systems with multiple constraint stores 2015-06-22 Paper Programming and verifying component ensembles...10 bytes (15 words) - 17:04, 9 December 2023
- abstract) 2014-01-10 Paper A design for type-directed programming in Java 2013-09-26 Paper Generic programming with dependent types 2012-11-21 Paper Parametricity...10 bytes (15 words) - 04:45, 7 October 2023
