Search results
From MaRDI portal
- 2002-07-03 Paper Estimating radiological consequences using the Java programming language 2001-08-30 Paper https://portal.mardi4nfdi.de/entity/Q4264560 2000-04-04...10 bytes (15 words) - 19:22, 24 September 2023
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- scripting language 2015-06-11 Paper Plan B 2014-11-27 Paper Programming Languages and Systems 2007-09-28 Paper Scoped types and aspects for real-time Java memory...10 bytes (14 words) - 16:39, 6 October 2023
- data types in an object-oriented language 2018-07-26 Paper Interlanguage working without tears: blending SML with Java 2016-09-01 Paper Counting Successes:...10 bytes (14 words) - 18:56, 12 December 2023
- dagger kernel categories 2010-07-02 Paper Automatic verification of Java programs with dynamic frames 2010-05-28 Paper Formal Methods for Open Object-Based...10 bytes (15 words) - 14:28, 9 December 2023
- verification of Java programs with dynamic frames 2010-05-28 Paper A Machine Checked Soundness Proof for an Intermediate Verification Language 2009-02-03 Paper...10 bytes (13 words) - 02:16, 7 October 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
- Paper Locally abstract, globally concrete semantics of concurrent programming languages 2018-02-02 Paper Virtually timed ambients: a calculus of nested virtualization...10 bytes (16 words) - 01:00, 7 October 2023
- complexity of Java programs 2022-03-31 Paper Polynomial time over the reals with parsimony 2021-07-06 Paper A tier-based typed programming language characterizing...10 bytes (13 words) - 18:57, 24 September 2023
- mardi4nfdi.de/entity/Q4808734 2004-08-12 Paper A type system for the Java bytecode language and verifier 2003-09-09 Paper https://portal.mardi4nfdi.de/entity/Q4418589...10 bytes (14 words) - 00:56, 10 December 2023
