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

59篇 您的检索式：期刊名="ACM TOPLAS"

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

	题名	作者	年代	出处	被引量
1	Closure analysis in constraint form 显示文摘	Palsberg J	1995	ACM TOPLAS1995，17，1：	1
2	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
3	Ten years of Hoare' s logic, A survey-Part I显示文摘	Art K R	1981	ACM TOPLAS1981，3，4：	1
4	The Byzantine generals problem显示文摘	LAMPORT L SHOSTAK R PEASE M	1982	ACM TOPLAS1982，4，3：	1
5	Analysis of recursive state machines显示文摘	Rajeev Alur Michael Benedikt Kousha Etessami Patrice Godefroid Thomas Reps Mihalis Yannakakis	2005	ACM Transactions on Programming Languages and Systems (TOPLAS)2005，，：	1
6	Optimally Profiling and Tracing Praograms 显示文摘	Ball T Larus J	1994	ACM TOPLAS1994，16，4：	1
7	A behavioral notion of subtyping显示文摘	LISKOV BH WING JM	1994	ACM Transactions on Programming Languages and Systems(TOPLAS)1994，16，6：	1
8	Synchronization in distributed programs 显示文摘	Schneider F B	1982	ACM Transactions on Programming Languages and Systems ( TOPLAS)1982，4，2：	1
9	A generalized theory of bit vector data flow analysis显示文摘	Khedker U P Dhamdhere D M	1994	ACM TOPLAS1994，，：	1
10	The Byzantine gen- erals problem显示文摘	Lamport L Shostak R Pease M	1982	ACM Transactions on Programming Languages and Systems ( TOPLAS)1982，4，3：	1
11	Register tiling in nonrectangular iteration spaces 显示文摘	Jimanez M Llaberia J M Ferndndez A	2002	ACM Trans on Programming Languages and Systems(TOPLAS)2002，24，4：	1
12	The priority-based coloring approach to register allocation 显示文摘	Chow F Hennessy J L	1990	ACM Trans on Programming Languages and Systems (TOPLAS)1990，12，4：	1
13	A generalized theory of bit vector data flow analysis显示文摘	Khedler U P Dhamdhere D M	1994	ACM TOPLAS1994，16，5：	1
14	Interprocedural slicing using dependence graphs显示文摘	Susan Horwitz Thomas Reps David Binkley	1990	ACM Transactions on Programming Languages and Systems (TOPLAS)1990，，1：	1
15	An alternative solution to a problem on self-stabilization 显示文摘	Ghosh S	1993	ACM TOPLAS1993，15，4：	1
16	The program dependence graph and its use in optimization显示文摘	Jeanne Ferrante Karl J. Ottenstein Joe D. Warren	1987	ACM Transactions on Programming Languages and Systems (TOPLAS)1987，，3：	1
17	A termination analyzer for Java bytecode based on path-length显示文摘	Spoto F Mesnard F	2010	ACM Transactions on Programming Languages and Systems(TOPLAS)2010，32，3：	1
18	The Byzantine Generals Problem显示文摘	Leslie Lamport Robert Shostak Marshall Pease	1982	ACM Transactions on Programming Languages and Systems (TOPLAS)1982，，3：	1
19	Interprocedttral slicing using dependence graphs 显示文摘	Horwitz S Reps T Binkley D	1990	ACM Transactions on Program- ming Languages and Systems ( TOPLAS)1990，12，1：	1
20	Model checking and abstraction 显示文摘	Clarke Grumberg	1994	ACM Transactions on Programming Languages and System( TOPLAS)1994，16，5：	1

返回顶部每页显示：

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

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

用户提示