Search results
From MaRDI portal
- \(\text{sl}_ n\) Toda field theories. 1999-12-13 Paper Multi-field representations of the KP hierarchy and multi-matrix models 1999-12-13 Paper Uniformly scaled...10 bytes (13 words) - 09:49, 12 April 2026
- 1999-10-19 Paper Multi-component convection-diffusion with internal heating or cooling 1999-10-18 Paper A multi-level composite heuristic for the multi-depot vehicle...10 bytes (12 words) - 13:18, 13 April 2026
- Keywords noninterferenceconcurrent programs Mathematics Subject Classification ID Other programming paradigms (object-oriented, sequential, concurrent, automatic...15 bytes (391 words) - 20:30, 14 April 2026
- shared-variable concurrency analysis of multi-threaded object-oriented programs Inductive proof outlines for monitors in Java. Mechanising a type-safe model of multithreaded...15 bytes (478 words) - 07:21, 14 April 2026
- structured complexity of object-oriented programs Analyzing the implicit computational complexity of object-oriented programs Publication:3811682 A Flexible...15 bytes (558 words) - 01:30, 14 April 2026
- (Why is that?) Counter-example guided program verification Lost in abstraction: monotonicity in multi-threaded programs Automated compositional abstraction...15 bytes (314 words) - 17:48, 14 April 2026
- Locking Framework for testing multi‐threaded Java programs On interference abstractions Monitoring Atomicity in Concurrent Programs Abstraction and mining of...15 bytes (180 words) - 04:42, 5 February 2024
- time consumed by multi-threaded imperative programs with a shared global memory, which delineates a class of safe multi-threaded programs. We demonstrate...15 bytes (321 words) - 03:05, 9 February 2024
- the Analysis of Object-Oriented Programs A rule-based verification strategy for array manipulating programs Horn clause solvers for program verification Equivalence...15 bytes (700 words) - 16:58, 7 February 2024
- run-time errors in parallel and multi-threaded C programs. Following our work on Astr'ee, we focus on embedded critical programs without recursion nor dynamic...15 bytes (589 words) - 22:10, 3 February 2024
- compositionality using optimized multi-version object based transactional systems Verifying robustness of event-driven asynchronous programs against concurrency A...15 bytes (769 words) - 18:23, 5 February 2024
- information and its application to information flow Information flow in object-oriented software Instruction-level security analysis for information flow in...15 bytes (476 words) - 06:59, 6 February 2024
- logiclogics of programs Mathematics Subject Classification ID Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential,...15 bytes (960 words) - 02:09, 12 April 2026
- compilers for object-oriented languages Tool-assisted specification and verification of typed low-level languages Formalizing non-interference for a simple...15 bytes (534 words) - 15:23, 3 February 2024
