Type Discovery for Parameterized Race-Free Java.

机译：为参数化的无竞争Java类型发现。

获取原文

页面导航

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

摘要

Concurrent programs are notorious for containing data races that are difficult to reproduce and diagnose at run-time. This inspired the development of type systems that statically ensure the absence of data races. Boyapati and Rinard's Parameterized Race ...

著录项

作者
A. Sasturkar R. Agarwal S. D. Stoller;
展开▼
作者单位

展开▼
年度 2004
页码 1-35
总页数 35
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Compilers; Computer programs; Java programming language; Object oriented programming; Type discovery; Type inference algorithms; Type systems;

机译：编译器;计算机程序; Java编程语言;面向对象编程;类型发现;类型推断算法;类型系统;

相似文献

外文文献
中文文献
专利

1. Parameterization of the autoconversion process. Part II: Generalization of sundqvist-type parameterizations [J] . Liu YG, Daum PH, McGraw R, Journal of the Atmospheric Sciences . 2006,第3期

机译：自动转换过程的参数化。第二部分：sundqvist类型参数化的一般化
2. Parameterization of the autoconversion process. Part I: Analytical formulation of the Kessler-type parameterizations [J] . Liu YG, Daum PH Journal of the Atmospheric Sciences . 2004,第13期

机译：自动转换过程的参数化。第一部分：Kessler型参数化的解析公式
3. Optimization and Knowledge Discovery of a Three-Dimensional Parameterized Vane with Nonaxisymmetric Endwall [J] . Liming Song, Zhendong Guo, Jun Li, Journal of propulsion and power . 2018,第1期

机译：具有非轴对称端壁的三维参数化叶片的优化和知识发现
4. Type Inference for Parameterized Race-Free Java [C] . Rahul Agarwal, Scott D. Stoller Verification, Model Checking, and Abstract Interpretation . 2004

机译：参数化无竞赛Java的类型推断
5. A context-sensitive security type system for Java. [D] . Kaiser, Benjamin. 2015

机译：Java的上下文相关安全类型系统。
6. Fully-Connected Neural Networks with Reduced Parameterization for Predicting Histological Types of Lung Cancer from Somatic Mutations [O] . Kazuma Kobayashi, Amina Bolatkan, Shuichiro Shiina, 2020

机译：具有降低参数化的全连接神经网络用于预测来自体细胞突变的组织学类型的肺癌

Type Discovery for Parameterized Race-Free Java.

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅