咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 806 篇 工学
    • 792 篇 软件工程
    • 529 篇 计算机科学与技术...
    • 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

语言

  • 841 篇 英文
  • 76 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988"
918 条 记 录,以下是651-660 订阅
排序:
Efficient and precise datarace detection for multithreaded object-oriented programs  02
Efficient and precise datarace detection for multithreaded o...
收藏 引用
Proceedings of the acm sigplan 2002 conference on programming language design and implementation
作者: Jong-Deok Choi Keunwoo Lee Alexey Loginov Robert O'Callahan Vivek Sarkar Manu Sridharan IBM T. J. Watson Research Center Univ. of Washington Univ. of Wisconsin - Madison MIT
We present a novel approach to dynamic datarace detection for multithreaded object-oriented programs. Past techniques for on-the-fly datarace detection either sacrificed precision for performance, leading to many fals... 详细信息
来源: 评论
A compiler approach to fast hardware design space exploration in FPGA-based systems  02
A compiler approach to fast hardware design space exploratio...
收藏 引用
Proceedings of the acm sigplan 2002 conference on programming language design and implementation
作者: Byoungro So Mary W. Hall Pedro C. Diniz University of Southern California Marina del Rey California
The current practice of mapping computations to custom hardware implementations requires programmers to assume the role of hardware designers. In tuning the performance of their hardware implementation, designers manu... 详细信息
来源: 评论
design and implementation of generics for the .NET common language runtime  01
Design and implementation of generics for the .NET common la...
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Kennedy, A Syme, D Microsoft Res Cambridge England
The Microsoft .NET Common language Runtime provides a shared type system, intermediate language and dynamic execution environment for the implementation and inter-operation of multiple source languages. In this paper ... 详细信息
来源: 评论
SPL: A language and compiler for DSP algorithms  01
SPL: A language and compiler for DSP algorithms
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Xiong, JX Johnson, J Johnson, R Padua, D Univ Illinois Dept Comp Sci Urbana IL 61801 USA Drexel Univ Dept Math & Comp Sci Philadelphia PA 19104 USA MathStar Inc Minneapolis MN 55402 USA
We discuss the design and implementation of a compiler that translates formulas representing signal processing transforms into efficient C or Fortran programs. The formulas are represented in a language that we call S... 详细信息
来源: 评论
Related field analysis  01
Related field analysis
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Aggarwal, A Randall, KH Univ Maryland College Pk MD 20742 USA
We present an extension of field analysis (see [4]) called related field analysis which is a general technique for proving relationships between two or more fields of an object. We demonstrate the feasibility and appl... 详细信息
来源: 评论
Dynamic variables  01
Dynamic variables
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Hanson, DR Proebsting, TA Microsoft Corp Res Redmond WA 98052 USA
Most:programming languages use static scope rules for associating uses of identifiers with their declarations. Static scope helps catch errors at compile time, and it can be implemented efficiently. Some popular langu... 详细信息
来源: 评论
language support for regions  01
Language support for regions
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Gay, D Aiken, A Univ Calif Berkeley Dept EECS Berkeley CA 94720 USA
Region-based memory management systems structure memory by grouping objects in regions under program control. Memory is reclaimed by deleting regions, freeing all objects stored therein. Our compiler for C with region... 详细信息
来源: 评论
ESP: A language for programmable devices  01
ESP: A language for programmable devices
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Kumar, S Mandelbaum, Y Yu, X Li, K Princeton Univ Princeton NJ 08544 USA
This paper presents the design and implementation of Event-driven State-machines programming (ESP) - a language for programmable devices. In traditional languages, like C, using event-driven state-machines forces a tr... 详细信息
来源: 评论
Asynchronous exceptions in Haskell  01
Asynchronous exceptions in Haskell
收藏 引用
acm sigplan'01 conference on programming language design and implementation (pldi)
作者: Marlow, S. Peyton Jones, S. Moran, A. Reppy, J. Microsoft Research Cambridge MA United States
Asynchronous exceptions, such as timeouts, are important for robust, modular programs, but are extremely difficult to program with - so much so that most programming languages either heavily restrict them or ban them ... 详细信息
来源: 评论
Incrementalized pointer and escape analysis  01
Incrementalized pointer and escape analysis
收藏 引用
acm sigplan conference on programming language design and implementation (pldi)
作者: Vivien, F Rinard, M Univ Strasbourg 1 ICPS LSIIT Strasbourg France MIT Comp Sci Lab Cambridge MA 02139 USA
We present a new pointer and escape analysis. Instead of analyzing the whole program, the algorithm incrementally analyzes only those parts of the program that may deliver useful results. An analysis policy monitors t... 详细信息
来源: 评论