Search results
From MaRDI portal
- 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
- 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) - 18:41, 10 April 2026
- 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) - 18:00, 10 April 2026
- Publication Type Estimating radiological consequences using the Java programming language 2001-08-30 Paper...10 bytes (13 words) - 12:09, 23 May 2025
- 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) - 20:41, 10 April 2026
- 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) - 22:05, 10 April 2026
- 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) - 18:19, 10 April 2026
- 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) - 04:11, 11 April 2026
- mardi4nfdi.de/entity/Q4855364 1995-11-09 Paper FORTRAN M: A language for modular parallel programming 1995-07-06 Paper https://portal.mardi4nfdi.de/entity/Q3139347...10 bytes (16 words) - 03:33, 11 April 2026
- certified abstraction layers 2016-09-29 Paper Representing Java classes in a typed intermediate language 2016-09-01 Paper Transparent modules with fully syntatic...10 bytes (15 words) - 23:51, 11 April 2026
- 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) - 18:50, 10 April 2026
- 2011-02-11 Paper On the equality of probabilistic terms 2011-01-07 Paper Programming language techniques for cryptographic proofs 2010-09-14 Paper A functional...10 bytes (15 words) - 18:19, 10 April 2026
- 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) - 20:27, 10 April 2026
- 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) - 17:05, 10 April 2026
- 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) - 03:51, 11 April 2026
- 2021-06-17 Paper Estimating radiological consequences using the Java programming language 2001-08-30 Paper...10 bytes (13 words) - 23:04, 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) - 19:50, 10 April 2026
- The evolution of a goal programming model in the context of the Cuban forest 2010-06-25 Paper Applying constraint logic programming to SQL test case generation...10 bytes (17 words) - 17:59, 10 April 2026
- Higher-Order in LP Systems 2007-05-02 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Program Development in Computational Logic 2005-12-23...10 bytes (16 words) - 03:54, 13 April 2026
- patterns 2016-10-28 Paper Modelling timed reactive systems from natural-language requirements 2016-09-20 Paper Test generation from state based use case...10 bytes (15 words) - 17:56, 10 April 2026
