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

107篇 您的检索式：期刊名="ACM Trans Programming Languages Systems"

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

	题名	作者	年代	出处	被引量
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	Interprocedural Slicing Using Dependency Graphs显示文摘	Horwitz S	1990	ACM Trans Programming Languages and Systems1990，12，1：	1
6	Semiring-based constraint logic programming-syntax and semantics显示文摘	Bistarelli S Montanari U Rossi F	2001	ACM Trans Programming Languages Systems2001，23，1：	1
7	Continuous program optimization:a case study显示文摘	Kistler T Franz M	2003	ACM Trans on Programming Languages and Systems2003，25，4：	1
8	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
9	The program dependence and its use in optimization 显示文摘	OTTENSTEIN K WARREN J	1987	ACM Trans on Programming Languages and Systems1987，9，3：	1
10	The Temporal Logic of Actions 显示文摘	Lamport L	1994	ACM Trans on Programming Language and Systems1994，16，3：	1
11	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
12	The undecidability of aliasing显示文摘	RAMALINGAM G	1994	ACM Trans on Programming Languages and Systems1994，16，5：	1
13	WYSINWYX: What you see is not what you execute 显示文摘	BALAKRISHNAN G REPS T	2010	ACM Trans on Programming Languages and Systems2010，32，6：	1
14	Improving Data Locality with Loop Transformations显示文摘	K S McKinley S Carr C Tseng	1996	ACM Trans on Programming Languages and Systems1996，18，4：	1
15	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
16	Interprocedural slicing using dependence graphs显示文摘	S Horwitz T Reps and D Binkley	1990	ACM Trans on Programming Languages and System1990，12，1：	1
17	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
18	Web Watcher:Machine Learning and Hypertext显示文摘	T Joachims T Mitchell D Freitag	1998	ACM Trans on Programming Language and Systems1998，12，4：	1
19	The Program Dependence Graph and Its Use in Optimization显示文摘	J Ferrante K J Ottenstein J D Warren	1987	ACM Trans Programming Language Systems1987，9，3：	1
20	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

返回顶部每页显示：

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

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

用户提示