Search results
From MaRDI portal
- Prototyping 3APL in the Maude Term Rewriting Language 2009-01-20 Paper A deductive proof system for multithreaded Java with exceptions 2008-04-14 Paper A Sound...10 bytes (17 words) - 18:41, 10 April 2026
- Date of Publication Type Modeling big data processing programs 2021-07-08 Paper Specification and runtime verification of Java card programs 2015-03-19...10 bytes (15 words) - 03:51, 11 April 2026
- 2012-08-14 Paper Safe locking for multi-threaded Java with exceptions 2012-08-14 Paper Formal modeling and validation of a power-efficient grouping protocol...10 bytes (16 words) - 04:11, 11 April 2026
- applications 2003-01-21 Paper Author-\(\chi\): A Java-based system for XML data protection 2002-11-14 Paper Modeling spatio-temporal constraints for multimedia...10 bytes (15 words) - 20:22, 10 April 2026
- Publication Type Faster and more complete extended static checking for the Java modeling language 2010-01-25 Paper Testing algebraic data types and processes: A unifying...10 bytes (15 words) - 10:36, 24 September 2023
- 2012-08-14 Paper Safe locking for multi-threaded Java with exceptions 2012-08-14 Paper Formal modeling and validation of a power-efficient grouping protocol...10 bytes (13 words) - 04:11, 11 April 2026
- semantics for use case and task models 2011-05-30 Paper Faster and more complete extended static checking for the Java modeling language 2010-01-25 Paper Are the...10 bytes (13 words) - 05:45, 7 October 2023
- runtime verification of Java card programs 2015-03-19 Paper JCML: A specification language for the runtime verification of Java card programs 2012-07-20...10 bytes (15 words) - 03:51, 11 April 2026
- Paper What Is a Multi-modeling Language? 2009-10-22 Paper A Heterogeneous Approach to UML Semantics 2008-06-19 Paper The Java Memory Model: Operationally, Denotationally...10 bytes (13 words) - 20:41, 11 April 2026
- Reversibility in massive concurrent systems 2019-02-08 Paper Deadlock detection of Java bytecode 2018-09-06 Paper On the dynamics of sharing graphs 2018-07-04 Paper...10 bytes (13 words) - 18:19, 10 April 2026
- programming algorithms in Java 2009-01-15 Paper Soft memberships for spectral clustering, with application to permeable language distinction 2008-11-20 Paper...10 bytes (14 words) - 17:44, 10 April 2026
- Contention---free complexity of shared memory algorithms 2017-09-29 Paper Compositional Modeling and Analysis of Multi-Hop Control Networks 2017-08-25 Paper A fixpoint...10 bytes (15 words) - 17:49, 10 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
- 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
- Abstraction-carrying code: a model for mobile code safety 2008-10-20 Paper An Overview of the Ciao Multiparadigm Language and Program Development Environment...10 bytes (16 words) - 03:54, 13 April 2026
- multiparty sessions 2024-02-23 Paper A Java-like calculus with heterogeneous coeffects 2023-08-18 Paper Intersection types in Java: back to the future 2023-08-02...10 bytes (13 words) - 19:32, 10 April 2026
- Compilers 2009-03-12 Paper Preservation of Proof Obligations from Java to the Java Virtual Machine 2008-11-27 Paper Type-Based Termination with Sized...10 bytes (15 words) - 18:19, 10 April 2026
- objects 2014-04-16 Paper On flexible dynamic trait replacement for Java-like languages 2014-04-02 Paper Translating double dispatch into single dispatch...10 bytes (13 words) - 10:18, 11 April 2026
- Compositional modeling and refinement for hierarchical hybrid systems 2006-04-28 Paper https://portal.mardi4nfdi.de/entity/Q5692739 2005-09-28 Paper Java-MaC: A...10 bytes (13 words) - 18:40, 10 April 2026
- Publication Date of Publication Type Dynamic Security Analysis of JavaScript: Are We There Yet?: Dataset 2025-01-30 Dataset Secure key management...10 bytes (15 words) - 20:42, 10 April 2026
