Permission-Based Separation Logic for Multithreaded Java Programs

Logical Methods in Computer Science- Germany

doi 10.2168/lmcs-11(1:2)2015

Full Text

Abstract

Available in

Categories

Computer Science

Theoretical Computer Science

Date

February 27, 2015

Authors

Christian Haack

Marieke Huisman

Clément Hurlin

Publisher

Logical Methods in Computer Science e.V.

Related search

Permission-Based Separation Logic for Message-Passing Concurrency

Logical Methods in Computer Science

Computer Science

Theoretical Computer Science

English

Provably Correct Inline Monitoring for Multithreaded Java-Like Programs

Journal of Computer Security

Computer Networks

English

Logic Programs for Consistency-Based Diagnosis.

English

Cooperative Empirical Failure Avoidance for Multithreaded Programs

ACM SIGPLAN Notices

Computer Science

English

Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

A Visualization System for Permission Check in Java Using Static Analysis

The KIPS Transactions:PartA

English

Performance Modeling of Multithreaded Programs for Mobile Asymmetric Chip Multiprocessors

English

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

Frontiers in Genetics

Molecular Medicine

English

Online Power-Performance Adaptation of Multithreaded Programs Using Hardware Event-Based Prediction

English