咨询与建议

限定检索结果

文献类型

  • 783 篇 会议
  • 136 篇 期刊文献

馆藏范围

  • 919 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 807 篇 工学
    • 792 篇 软件工程
    • 530 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 12 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物医学工程(可授...
  • 99 篇 理学
    • 84 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 3 篇 物理学
    • 3 篇 生物学
    • 1 篇 地质学
  • 52 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 20 篇 图书情报与档案管...
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 164 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 70 篇 computer program...
  • 56 篇 algorithms
  • 43 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 34 篇 reliability
  • 32 篇 object oriented ...
  • 27 篇 probabilistic pr...
  • 26 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 22 篇 java
  • 19 篇 theory
  • 19 篇 concurrency
  • 18 篇 domain-specific ...
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 stanford univ st...
  • 9 篇 univ washington ...
  • 8 篇 mit cambridge ma...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 chlipala adam
  • 10 篇 dillig isil
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 gulwani sumit
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 mansinghka vikas...
  • 6 篇 bodik rastislav

语言

  • 868 篇 英文
  • 50 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988"
919 条 记 录,以下是271-280 订阅
排序:
Fast Algorithms for Dyck-CFL-Reachability with Applications to Alias Analysis
Fast Algorithms for Dyck-CFL-Reachability with Applications ...
收藏 引用
34th acm sigplan conference on programming language design and implementation (pldi)
作者: Zhang, Qirun Lyu, Michael R. Yuan, Hao Su, Zhendong Chinese Univ Hong Kong Hong Kong Hong Kong Peoples R China Univ Calif Davis Davis CA 95616 USA City Univ Hong Kong Hong Kong Hong Kong Peoples R China
The context-free language (CFL) reachability problem is a well-known fundamental formulation in program analysis. In practice, many program analyses, especially pointer analyses, adopt a restricted version of CFL-reac... 详细信息
来源: 评论
Harmonizing Classes, Functions, Tuples, and Type Parameters in Virgil III  13
Harmonizing Classes, Functions, Tuples, and Type Parameters ...
收藏 引用
34th acm sigplan conference on programming language design and implementation (pldi)
作者: Titzer, Ben L. Google Mountain View CA USA
languages are becoming increasingly multi-paradigm. Subtype polymorphism in statically-typed object-oriented languages is being supplemented with parametric polymorphism in the form of generics. Features like first-cl... 详细信息
来源: 评论
Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths
Static Analysis for Probabilistic Programs: Inferring Whole ...
收藏 引用
34th acm sigplan conference on programming language design and implementation (pldi)
作者: Sankaranarayanan, Sriram Chakarov, Aleksandar Gulwani, Sumit Univ Colorado Boulder CO 80309 USA Microsoft Res Redmond WA USA
We propose an approach for the static analysis of probabilistic programs that sense, manipulate, and control based on uncertain data. Examples include programs used in risk analysis, medical decision making and cyber-... 详细信息
来源: 评论
A new perspective on processing-in-memory architecture design  13
A new perspective on processing-in-memory architecture desig...
收藏 引用
acm sigplan Workshop on Memory Systems Performance and Correctness, MSPC 2013, co-located with the 34th annual acm sigplan conference on programming language design and implementation, pldi
作者: Zhang, Dong Ping Jayasena, Nuwan Lyashevsky, Alexander Greathouse, Joseph Meswani, Mitesh Nutter, Mark Ignatowski, Mike Research Group AMD CA United States
As computation becomes increasingly limited by data movement and energy consumption, exploiting locality throughout the memory hierarchy becomes critical for maintaining the performance scaling that many have come to ... 详细信息
来源: 评论
It's alive! Continuous feedback in UI programming
It's alive! Continuous feedback in UI programming
收藏 引用
34th acm sigplan conference on programming language design and implementation, pldi 2013
作者: Burckhardt, Sebastian De Halleux, Peli Moskal, Michal Fähndrich, Manuel McDirmid, Sean Tillmann, Nikolai Kato, Jun Microsoft Research United States University of Tokyo Japan
Live programming allows programmers to edit the code of a running program and immediately see the effect of the code changes. This tightening of the traditional edit-compile-run cycle reduces the cognitive gap between... 详细信息
来源: 评论
TRANSIT: Specifying Protocols with Concolic Snippets
TRANSIT: Specifying Protocols with Concolic Snippets
收藏 引用
34th acm sigplan conference on programming language design and implementation (pldi)
作者: Udupa, Abhishek Raghavan, Arun Deshmukh, Jyotirmoy V. Mador-Haim, Sela Martin, Milo M. K. Alur, Rajeev Univ Penn Philadelphia PA 19104 USA
With the maturing of technology for model checking and constraint solving, there is an emerging opportunity to develop programming tools that can transform the way systems are specified. In this paper, we propose a ne... 详细信息
来源: 评论
Halide: A language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines
Halide: A Language and Compiler for Optimizing Parallelism, ...
收藏 引用
34th acm sigplan conference on programming language design and implementation (pldi)
作者: Ragan-Kelley, Jonathan Barnes, Connelly Adams, Andrew Paris, Sylvain Durand, Fredo Amarasinghe, Saman MIT CSAIL United States Adobe United States
Image processing pipelines combine the challenges of stencil computations and stream programs. They are composed of large graphs of different stencil stages, as well as complex reductions, and stages with global or da... 详细信息
来源: 评论
Proceedings of the acm sigplan Workshop on Memory Systems Performance and Correctness, MSPC 2013
Proceedings of the ACM SIGPLAN Workshop on Memory Systems Pe...
收藏 引用
acm sigplan Workshop on Memory Systems Performance and Correctness, MSPC 2013, co-located with the 34th annual acm sigplan conference on programming language design and implementation, pldi
The proceedings contain 12 papers. The topics discussed include: APE: accelerator processor extensions to optimize data-compute co-location;a study of data structures with a deep heap shape;introducing kernel-level pa... 详细信息
来源: 评论
CLAP: Recording Local Executions to Reproduce Concurrency Failures
CLAP: Recording Local Executions to Reproduce Concurrency Fa...
收藏 引用
34th acm sigplan conference on programming language design and implementation (pldi)
作者: Huang, Jeff Zhang, Charles Dolby, Julian Hong Kong Univ Sci & Technol Hong Kong Hong Kong Peoples R China
We present CLAP, a new technique to reproduce concurrency bugs. CLAP has two key steps. First, it logs thread local execution paths at runtime. Second, offline, it computes memory dependencies that accord with the log... 详细信息
来源: 评论
SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years  13
SPL<SUP>LIFT</SUP> - Statically Analyzing Software Product L...
收藏 引用
34th acm sigplan conference on programming language design and implementation (pldi)
作者: Bodden, Eric Toledo, Tarsis Ribeiro, Marcio Brabrand, Claus Borba, Paulo Mezini, Mira Tech Univ Darmstadt EC SPRIDE Darmstadt Germany IT Univ Copenhagen Copenhagen Denmark Univ Fed Pernambuco Recife PE Brazil Univ Fed Alagoas Maceio Brazil
A software product line (SPL) encodes a potentially large variety of software products as variants of some common code base. Up until now, re-using traditional static analyses for SPLs was virtually intractable, as it... 详细信息
来源: 评论