中文开源期刊数据库期刊目录

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

收录 1,094 篇论文，累计被引 106,282 次，出版年份 1980–2016。

收录篇数
1,094
总被引
106,282
篇均被引
97
单篇最高被引
1,832
年份区间
1980–2016
近五年篇数
0

逐年收录分布

近 30 个有收录的年份（最多 40 个）。悬停查看当年篇数。

0521031980 年：25 篇19801981 年：23 篇1982 年：37 篇1988 年：27 篇1989 年：30 篇19891990 年：31 篇1991 年：30 篇1992 年：28 篇1993 年：42 篇19931994 年：39 篇1995 年：34 篇1996 年：34 篇1997 年：37 篇19971998 年：32 篇1999 年：25 篇2000 年：31 篇2001 年：26 篇20012002 年：29 篇2003 年：25 篇2004 年：27 篇2005 年：31 篇20052007 年：31 篇2008 年：37 篇2009 年：38 篇2010 年：40 篇20102011 年：51 篇2012 年：47 篇2013 年：45 篇2014 年：103 篇20142016 年：59 篇2016
纵轴为当年收录篇数；峰值 103 篇（2014 年）。
查看数据表
年份篇数占比
2016595.4%
20141039.4%
2013454.1%
2012474.3%
2011514.7%
2010403.7%
2009383.5%
2008373.4%
2007312.8%
2005312.8%
2004272.5%
2003252.3%
2002292.7%
2001262.4%
2000312.8%
1999252.3%
1998322.9%
1997373.4%
1996343.1%
1995343.1%
1994393.6%
1993423.8%
1992282.6%
1991302.7%
1990312.8%
1989302.7%
1988272.5%
1982373.4%
1981232.1%
1980252.3%

代表作

  1. 0
    Proof-carrying code ↗

    1997 年 · 被引 1,832 次

  2. 1
    On the synthesis of a reactive module ↗

    1989 年 · 被引 1,432 次

  3. 2
    Imperative functional programming ↗

    1993 年 · 被引 1,234 次

  4. 3
    Precise interprocedural dataflow analysis via graph reachability ↗

    1995 年 · 被引 1,170 次

  5. 4
    Lazy abstraction ↗

    2002 年 · 被引 1,155 次

  6. 5
    Principal type-schemes for functional programs ↗

    1982 年 · 被引 1,097 次

想知道这个刊近年在哪些主题上最活跃？把期刊名当作提问对象，让综述引擎挑出带引用的段落。

用这个主题提问