咨询与建议

限定检索结果

文献类型

  • 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

语言

  • 840 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988"
918 条 记 录,以下是51-60 订阅
排序:
Effective synchronization removal for Java  00
Effective synchronization removal for Java
收藏 引用
acm sigplan' 00 conference on programming language design and implementation (pldi)
作者: Ruf, E Miscosoft Res Redmond WA 98025 USA
We present a new technique for removing unnecessary synchronization operations from statically compiled Java programs. Our approach improves upon current efforts based on escape analysis, as it can eliminate synchroni... 详细信息
来源: 评论
design and implementation of the uw illustrated compiler  88
Design and implementation of the uw illustrated compiler
收藏 引用
acm sigplan conference on programming language design and implementation, pldi 1988
作者: Andrew, Kristy Henry, Robert R. Yamamoto, Wayne K. Computer Science Department FR-35 University of Washington SeattleWA98195 United States Computers MS ICO 05 CupminoCA95014 United States AT and T Bell Laboratories IHP2FS.40 ZLM Park Plaza NapervilleIL60566-7050 United States
We have implemented an illustrated compiIer for a simple block structured language. The compiler graphically displays its control and data structures, and so gives its viewers an intuitive understanding of compiler or... 详细信息
来源: 评论
***: (A)Synchronous Reactive Web programming  2020
***: (A)Synchronous Reactive Web Programming
收藏 引用
41st acm sigplan conference on programming language design and implementation (pldi)
作者: Berry, Gerard Serrano, Manuel Coll France Paris France UCA INRIA Sophia Antipolis France
We present ***, a synchronous reactive language that adds synchronous concurrency and preemption to JavaScript. Inspired from Esterel, *** simplifies the programming of non-trivial temporal behaviors as found in compl... 详细信息
来源: 评论
Futhark: Purely Functional GPU-programming with Nested Parallelism and In-Place Array Updates  2017
Futhark: Purely Functional GPU-Programming with Nested Paral...
收藏 引用
38th acm sigplan conference on programming language design and implementation (pldi)
作者: Henriksen, Troels Serup, Niels G. W. Elsman, Martin Henglein, Fritz Oancea, Cosmin E. Univ Copenhagen DIKU Dept Comp Sci Copenhagen Denmark
Futhark is a purely functional data-parallel array language that offers a machine-neutral programming model and an optimising compiler that generates OpenCL code for GPUs. This paper presents the design and implementa... 详细信息
来源: 评论
Inferring Type Rules for Syntactic Sugar  2018
Inferring Type Rules for Syntactic Sugar
收藏 引用
39th acm sigplan conference on programming language design and implementation (pldi)
作者: Pombrio, Justin Krishnamurthi, Shriram Brown Univ Providence RI 02912 USA
Type systems and syntactic sugar are both valuable to programmers, but sometimes at odds. While sugar is a valuable mechanism for implementing realistic languages, the expansion process obscures program source structu... 详细信息
来源: 评论
CML: A higher-order concurrent language
CML: A higher-order concurrent language
收藏 引用
1991 acm sigplan 1991 conference on programming language design and implementation, pldi 1991
作者: Reppy, John H. Cornell University United States
来源: 评论
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 ... 详细信息
来源: 评论
MaJIC:: Compiling MATLAB for speed and responsiveness  02
MaJIC:: Compiling MATLAB for speed and responsiveness
收藏 引用
conference on programming language design and implementation (pldi 02)
作者: Almási, G Padua, D Univ Illinois Dept Comp Sci Champaign IL 60680 USA
This paper presents and evaluates techniques to improve the execution performance of MATLAB. Previous efforts concentrated on source to source translation and batch compilation;MaJIC provides an interactive frontend t... 详细信息
来源: 评论
Network Configuration Synthesis with Abstract Topologies  2017
Network Configuration Synthesis with Abstract Topologies
收藏 引用
38th acm sigplan conference on programming language design and implementation (pldi)
作者: Beckett, Ryan Mahajan, Ratul Millstein, Todd Padhye, Jitendra Walker, David Princeton Univ Princeton NJ 08544 USA Intentionet Redmond WA USA Microsoft Redmond WA USA Univ Calif Los Angeles Los Angeles CA 90024 USA
We develop Propane/AT, a system to synthesize provablycorrect BGP (border gateway protocol) configurations for large, evolving networks from high-level specifications of topology, routing policy, and fault-tolerance r... 详细信息
来源: 评论
Bringing the Web up to Speed with WebAssembly  2017
Bringing the Web up to Speed with WebAssembly
收藏 引用
38th acm sigplan conference on programming language design and implementation (pldi)
作者: Haas, Andreas Rossberg, Andreas Schuff, Derek L. Titzer, Ben L. Holman, Michael Gohman, Dan Wagner, Luke Zakai, Alon Bastien, J. F. Google GmbH Hamburg Germany Google Inc Mountain View CA USA Microsoft Inc Redmond WA USA Mozilla Inc Mountain View CA USA Apple Inc Cupertino CA USA
The maturation of the Web platform has given rise to sophisticated and demanding Web applications such as interactive 3D visualization, audio and video software, and games. With that, efficiency and security of code o... 详细信息
来源: 评论