首页> 外文OA文献 >Checking system rules using system-specific, programmer-written compiler extensions

【2h】

Checking system rules using system-specific, programmer-written compiler extensions

机译：使用系统特定的，程序员编写的编译器扩展来检查系统规则

页面导航

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

著录项

作者
Dawson Engler; Benjamin Chelf; Andy Chou;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. em-SPADE: A Compiler Extension for Checking Rules Extracted from Processor Specifications [J] . Sandeep Chaudhary, Sebastian Fischmeister, Lin Tan ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2014,第5期

机译：em-SPADE：编译器扩展，用于检查从处理器规格中提取的规则
2. Xoc, an Extension-Oriented Compiler for Systems Programming [J] . Russ Cox, Tom Bergan, Austin T. Clements, Computer architecture news . 2008,第1期

机译：Xoc，用于系统编程的面向扩展的编译器
3. Xoc, an extension-oriented compiler for systems programming [J] . Russ Cox, Tom Bergan, Austin T. Clements, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2008,第3期

机译：Xoc，用于系统编程的面向扩展的编译器
4. Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions [C] . Dawson Engler, Benjamin Chelf, Andy Chou, Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), Oct 23-25, 2000, San Diego, California, USA . 2000

机译：使用系统特定的，程序员编写的编译器扩展来检查系统规则
5. A configurable hardware/software system for design rule checking. [D] . Luo, Zhen. 2001

机译：用于设计规则检查的可配置硬件/软件系统。
6. An extension of Chous graphic rules for deriving enzyme kinetic equations to systems involving parallel reaction pathways. [O] . G P Zhou, M H Deng 1984

机译：周氏将酶动力学方程推导到涉及平行反应路径的系统的图形规则的扩展。
7. Using Programmer-Written Compiler Extensions to Catch Security Holes [O] . Ken Ashcraft et al. 2008

机译：使用程序员编写的编译器扩展来捕获安全漏洞
8. Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions [R] . Engler, D. , Chelf, B. , Chou, A. , 2000

机译：使用特定于系统的程序员编写的编译器扩展来检查系统规则

Checking system rules using system-specific, programmer-written compiler extensions

著录项

引文网络

相似文献

相关主题

期刊订阅