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 full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Permission-Based Separation Logic for Message-Passing Concurrency

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Provably Correct Inline Monitoring for Multithreaded Java-Like Programs

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2010English

Logic Programs for Consistency-Based Diagnosis.

English

Cooperative Empirical Failure Avoidance for Multithreaded Programs

ACM SIGPLAN Notices
Computer Science
2013English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

A Visualization System for Permission Check in Java Using Static Analysis

The KIPS Transactions:PartA
2006English

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

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

2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy