Search results
From MaRDI portal
- 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
- Detected, Temporary, and Permanent 2022-07-19 Paper Program algebra for Turing-machine programs 2022-07-19 Paper Most General Algebraic Specifications for an Abstract...10 bytes (17 words) - 01:23, 11 April 2026
- 2020-01-22 Paper Pluripolar hulls and convergence sets 2020-01-22 Paper Single machine with serial batching in a two-stage supply chain to minimize the makespan...10 bytes (13 words) - 21:46, 10 April 2026
- 2009-10-26 Paper Reduction of a parallel kinematics machine tool inverse kinematics model with regard to machining behaviour 2009-10-26 Paper Audio quality assessment...10 bytes (12 words) - 21:03, 22 September 2023
- https://portal.mardi4nfdi.de/entity/Q4520499 2001-02-26 Paper Initialization problems for Java 2000-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4268493...10 bytes (15 words) - 16:34, 24 September 2023
- experiments with dropout 2018-11-02 Paper Asymmetric least squares support vector machine classifiers 2018-11-02 Paper On an equivalent norm on the space BMO 2018-11-02...10 bytes (12 words) - 23:39, 13 April 2026
- empirical data to estimate potential functions in commodity markets: some initial results 2018-02-05 Paper Adaptive neural control of switched nonstrict-feedback...10 bytes (13 words) - 08:10, 7 October 2023
- SQL/XML in DB2-databases Publication:4406062 zbMATH Keywords XMLOracleJava initial machine Mathematics Subject Classification ID Data structures (68P05) Database...15 bytes (159 words) - 11:45, 7 February 2024
- KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML Weakest pre-condition reasoning for Java programs with JML annotations Modular...15 bytes (599 words) - 11:43, 3 February 2024
- back-end A machine-checked proof of the odd order theorem The Isabelle collections framework Title not available (Why is that?) Java and the Java memory model...15 bytes (459 words) - 21:11, 4 February 2024
- premise selection ATP Cross-Verification of the Mizar MPTP Challenge Problems Machine learning guidance for connection tableaux TacticToe: learning to prove with...12 bytes (288 words) - 18:47, 24 March 2026
- Guiding high-performance SAT solvers with unsat-core predictions Comparing machine learning models to choose the variable ordering for cylindrical algebraic...12 bytes (515 words) - 07:43, 13 March 2026
- applications and extraction for Coq and Mizar miz3 SRASS Logic2CNF Jinja not Java Automated reasoning service for HOL Light Regular_Algebras Lemmatization...12 bytes (300 words) - 07:31, 13 March 2026
- modules Mechanizing the metatheory of Sledgehammer Java and the Java memory model -- a unified, machine-checked formalisation Foundational extensible corecursion:...15 bytes (834 words) - 17:51, 1 February 2024
- rewriting based tool for semantics of programming languages K-Java: a complete semantics of Java An overview of the K semantic framework Order-sorted algebra...15 bytes (276 words) - 23:28, 1 February 2024
- semantics for relaxed memory models Java Memory Model-Aware Model Checking Java and the Java memory model -- a unified, machine-checked formalisation An operational...15 bytes (486 words) - 21:49, 8 February 2024
- Functions as processes Initial Algebra Semantics and Continuous Algebras Title not available (Why is that?) The chemical abstract machine Conditional rewriting...15 bytes (773 words) - 16:39, 30 January 2024
- Publication:2753707 The Java memory model Publication:4222945 Publication:2722074 zbMATH Keywords compilerJava Virtual Machine Mathematics Subject Classification...15 bytes (141 words) - 01:41, 8 February 2024
- in Java A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs Model checking of concurrent algorithms: from Java to C...15 bytes (236 words) - 15:24, 3 February 2024
- equation (35L05) Numerical solution of discretized equations for initial value and initial-boundary value problems involving PDEs (65M22) Cites Work Certification...15 bytes (890 words) - 00:00, 11 April 2026
