维普期刊资源整合服务平台（V6.5）

98篇 您的检索式：期刊名="ACM Trans on Programming Language System"

选中清除导出查看参考文献查看引证文献引用追踪共5页首页上一页第1页下一页末页 /5 跳转

	题名	作者	年代	出处	被引量
1	Efficiently Computing Static Single Assignment Form and the Control Dependence Graph显示文摘	Cytron R	1991	ACM Trans on Programming Languages and Systems1991，13，4：	1
2	Model checking and modular verification显示文摘	GRUMBERG O LONG D	1994	ACM Trans on Programming Languages and Systems1994，16，3：	1
3	Synthesis of communicating processes from temporal logic specifications显示文摘	Z Manna P Worlper	1984	ACM Trans on Programming Language System1984，6，1：	1
4	Verification of array, record, and pointer operations in Pascal 显示文摘	Luckham D C Suzuki N	1979	ACM Trans on Programming Languages and Systems1979，1，19：	1
5	Continuous program optimization:a case study显示文摘	Kistler T Franz M	2003	ACM Trans on Programming Languages and Systems2003，25，4：	1
6	A calculus for access control in distributed systems 显示文摘	Abadi M Burrows M Lampson B	1993	ACM Trans on Programming Languages and Systems1993，15，4：	1
7	The program dependence and its use in optimization 显示文摘	OTTENSTEIN K WARREN J	1987	ACM Trans on Programming Languages and Systems1987，9，3：	1
8	The Temporal Logic of Actions 显示文摘	Lamport L	1994	ACM Trans on Programming Language and Systems1994，16，3：	1
9	Java Byteeode Compression Low-End for Embedded Systems显示文摘	Clausen L R Schultz U P Consel C	2000	ACM Trans on Programming Languages and Systems2000，22，3：	1
10	The undecidability of aliasing显示文摘	RAMALINGAM G	1994	ACM Trans on Programming Languages and Systems1994，16，5：	1
11	WYSINWYX: What you see is not what you execute 显示文摘	BALAKRISHNAN G REPS T	2010	ACM Trans on Programming Languages and Systems2010，32，6：	1
12	Improving Data Locality with Loop Transformations显示文摘	K S McKinley S Carr C Tseng	1996	ACM Trans on Programming Languages and Systems1996，18，4：	1
13	Improving Data Locality with Loop Transformations显示文摘	Mckinley K S Carr S Tseng C-W	1996	ACM Trans on Programming Languages and Systems1996，18，4：	1
14	Interprocedural slicing using dependence graphs显示文摘	S Horwitz T Reps and D Binkley	1990	ACM Trans on Programming Languages and System1990，12，1：	1
15	CCured: Type-safe retrofitting of legacy software 显示文摘	Necula G C Condit J Harren M	2005	ACM Trans on Programming Languages and Systems2005，27，3：	1
16	Web Watcher:Machine Learning and Hypertext显示文摘	T Joachims T Mitchell D Freitag	1998	ACM Trans on Programming Language and Systems1998，12，4：	1
17	A fast algorithm for finding dominators in a flow graph显示文摘	LENGAUER T TARJAN R E	1979	ACM Trans on Programming Languages and Systems1979，1，1：	1
18	Saturn= A scalable framework for error detection using boolean satisfiability 显示文摘	Xie Y Aiken A	2007	ACM Trans on Programming Languages and Systems2007，29，3：	1
19	Efficiently computing static single assignment form and the control dependence graph显示文摘	Ron Cytron Jeanne ferrante	1991	ACM Trans on Programming Language and Systems1991，13，4：	1
20	The temporal logic of action显示文摘	LAMPORT L	1994	ACM Trans on Programming Languages and Systems1994，16，3：	1

返回顶部每页显示：

共5页首页上一页第1页下一页末页 /5 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示