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

325篇 您的检索式：期刊名="ACM Transactions on Programming Languages Systems"

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

	题名	作者	年代	出处	被引量
1	Grammar_based definition of metaprogramming system 显示文摘	Cameron Robert D Robert Ito M	1984	ACM Transactions on Programming Languages and System1984，6，1：	2
2	A distributed algorithm for minimum weight spanning trees显示文摘	GALLAGER R HUMBLET P A SPIRA P M	1983	ACM Transactions on Programming Languages and Systems1983，5，1：	1
3	The program dependence graph and its use in optimization显示文摘	Ferrante J Ottenstein K J Warren J D	1987	ACM Transactions on Programming Languages and Systems1987，9，3：	1
4	Interprocedural Slicing Using Dependence Graphs 显示文摘	HORWITZ S REPS T	1990	ACM Transaction on Programming Language and System1990，2，1：	1
5	Parametric shape analysis via 3- valued logic 显示文摘	Sagiv M Reps T Wilhelm R	2002	ACM Transactions on Programming Languages and Systems2002，24，3：	1
6	Automatic verication of finite-state concurrent systems using temporal logic specifications 显示文摘	CLARKE E M EMERSON E A SISTLA A P	1986	ACM Transactions on Programming Languages and Systems1986，8，2：	1
7	Supporting dynamic data structures on distributed memory machines 显示文摘	Rogers A Carlisle M C Reppy J H	1995	ACM Transactions on Programming Languages and Systems1995，17，2：	1
8	Automatic Verification of Finite-state Concurrent Systems Using Temporal Logic Specification显示文摘	Clarke E M Emerson E A Sistla A P	1986	ACM Transactions on Programming Languages and Systems1986，8，2：	1
9	Virtual time显示文摘		1985	ACM Transactions on Programming Languages and Systems1985，7，3：	1
10	Model checking and abstraction显示文摘	Clarke E M Grumberg O Long D E	1993	ACM Transaction on Programming Languages and Systems1993，16，5：	1
11	Type Extensions显示文摘	Wirth N	1988	ACM Transactions on Programming Languages and Systems1988，10，2：	1
12	Automatic verification of finite-state concurrent systems using temporal logic specifications显示文摘	Clarke E M Emerson E A Sistla A P	1986	ACM Transactions on Programming Languages and Systems(TOPLAS)1986，8，：	1
13	A fast algorithm for finding dominators in a iqowgraph显示文摘	Lengauer T Tarjian R E	1979	ACM Transactions on Programming Languages and Systems1979，，：	1
14	Virtual time 显示文摘	Jefferson D	1985	ACM Transactions on Programming Languages and System1985，7，3：	1
15	The Temporal Logic of Actions显示文摘	Lamport L	1994	ACM Transactions on Programming Languages and Systems1994，16，3：	1
16	A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-oriented Software显示文摘	Rubira C M F	1998	ACM Transactions on Programming Languages and Systems1998，20，2：	1
17	Storage assignment to decrease code size 显示文摘	Liao S Devadas S Keutzer K	1996	ACM Transactions on Programming Languages and Systems1996，18，3：	1
18	The programming language aspect of ThinkLab显示文摘	Borning A H	1981	ACM Transactions on Programming Language and Systems1981，3，4：	1
19	The Program Dependence Graph and its Use in Optimization显示文摘	Ferrante J Ottenstein K Warren J	1987	ACM Transactions on Programming Languages and Systems1987，9，3：	1
20	Virtual time显示文摘	Jefferson D R	1985	ACM Transactions on Programming Languages and Systems1985，7，3：	1

返回顶部每页显示：

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

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

用户提示