Provably Correct Inline Monitoring for Multithreaded Java-Like Programs

Journal of Computer Security - Netherlands
doi 10.3233/jcs-2010-0365
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Permission-Based Separation Logic for Multithreaded Java Programs

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Provably Correct Compiler Generation

DAIMI Report Series
1992English

Formal Techniques for Java-Like Programs

English

A Concept of Portable Monitoring of Multithreaded Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Cooperative Empirical Failure Avoidance for Multithreaded Programs

ACM SIGPLAN Notices
Computer Science
2013English

Provably Correct Systems: Community, Connections, and Citations

Provably Correct Systems
2017English

Optimization Among Provably Equivalent Programs

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
1977English

Performance Modeling of Multithreaded Programs for Mobile Asymmetric Chip Multiprocessors

2015English

NSeq: A Multithreaded Java Application for Finding Positioned Nucleosomes From Sequencing Data

Frontiers in Genetics
GeneticsMolecular Medicine
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy