Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A.;
机译:em-SPADE:编译器扩展,用于检查从处理器规格中提取的规则
机译:Xoc,用于系统编程的面向扩展的编译器
机译:Xoc,用于系统编程的面向扩展的编译器
机译:使用特定于系统的编程器编写的编译器扩展检查系统规则
机译:用于设计规则检查的可配置硬件/软件系统。
机译:周氏将酶动力学方程推导到涉及平行反应路径的系统的图形规则的扩展。
机译:使用系统特定的,程序员编写的编译器扩展来检查系统规则
机译:使用特定于系统的程序员编写的编译器扩展来检查系统规则