首页> 外文OA文献 >A shared-variable concurrency analysis of multi-threaded object-oriented programs

【2h】

A shared-variable concurrency analysis of multi-threaded object-oriented programs

机译：多线程面向对象程序的共享变量并发分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
de Boer F.S.;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A shared-variable concurrency analysis of multi-threaded object-oriented programs [J] . F. S. de Boer Theoretical computer science . 2009,第2a3期

机译：多线程面向对象程序的共享变量并发分析
2. Static Conflict Analysis for Multi-Threaded Object-Oriented Programs [J] . Christoph von Praun, Thomas R. Gross ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2003,第5期

机译：多线程面向对象程序的静态冲突分析
3. A Programming Model For Concurrent Object-oriented Programs [J] . BART JACOBS, FRANK PIESSENS, JAN SMANS, ACM Transactions on Programming Languages and Systems . 2009,第1期

机译：并发面向对象程序的编程模型
4. A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs [C] . F.S. de Boer Formal Methods for Open Object-Based Distributed Systems(FMOODS 2007); 20070606-08; Paphos(CY) . 2007

机译：完善的多线程Java程序共享变量并发模型
5. Simple concurrent object-oriented programming: A generator based implementation [D] . Fuks, Oleksandr 2004

机译：简单的并发面向对象编程：基于生成器的实现
6. Human fixed-interval performance with concurrently programmed schedules: A parametric analysis [O] . Roger Poppen 1982

机译：具有固定编程时间表的人为固定间隔绩效：参数分析
7. A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs [O] . Frank S. de Boer 2007

机译：多线程Java程序的声音和完整共享变量并发模型
8. Object-Oriented Concurrent Programming in CST [R] . Dally, W. J., Chien, A. A. 1988

机译：CsT中面向对象的并发编程

A shared-variable concurrency analysis of multi-threaded object-oriented programs

著录项

引文网络

相似文献

相关主题

期刊订阅