Amanote Research
Register
Sign In
Extended Sequential Reasoning for Data-Race-Free Programs
doi 10.1145/1988915.1988922
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2011
Authors
Laura Effinger-Dean
Hans-J. Boehm
Dhruva Chakrabarti
Pramod Joisha
Publisher
ACM Press
Related search
Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection
Transactions on Architecture and Code Optimization
Hardware
Information Systems
Architecture
Software
Nonmonotonic Ontological and Rule-Based Reasoning With Extended Conceptual Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reasoning About Multi-Stage Programs
Journal of Functional Programming
Software
Reasoning Over Extended ER Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SIMPAL: A Compositional Reasoning Framework for Imperative Programs
Sequential Extended Thoracoscopic Sympathicotomy for Palmo-Axillo-Plantar Hyperhidrosis
Annals of Thoracic Surgery
Respiratory Medicine
Pulmonary
Cardiovascular Medicine
Surgery
Cardiology
Tutorial Notes: Reasoning About Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Race Directed Scheduling of Concurrent Programs
ACM SIGPLAN Notices
Computer Science
Temporally Annotated Extended Logic Programs
International Journal of Advanced Research in Artificial Intelligence
