咨询与建议

限定检索结果

文献类型

  • 2,280 篇 会议
  • 299 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 2,581 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,283 篇 工学
    • 2,149 篇 软件工程
    • 1,705 篇 计算机科学与技术...
    • 85 篇 控制科学与工程
    • 57 篇 信息与通信工程
    • 55 篇 电气工程
    • 23 篇 电子科学与技术(可...
    • 17 篇 机械工程
    • 14 篇 建筑学
    • 14 篇 土木工程
    • 13 篇 材料科学与工程(可...
    • 13 篇 生物工程
    • 10 篇 光学工程
    • 9 篇 安全科学与工程
    • 8 篇 化学工程与技术
    • 5 篇 动力工程及工程热...
    • 5 篇 生物医学工程(可授...
    • 4 篇 力学(可授工学、理...
  • 278 篇 理学
    • 217 篇 数学
    • 30 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 16 篇 物理学
    • 16 篇 生物学
    • 8 篇 化学
    • 6 篇 地质学
  • 207 篇 管理学
    • 112 篇 图书情报与档案管...
    • 107 篇 管理科学与工程(可...
    • 48 篇 工商管理
  • 22 篇 教育学
    • 22 篇 教育学
  • 17 篇 法学
    • 15 篇 社会学
  • 9 篇 经济学
    • 9 篇 应用经济学
  • 2 篇 农学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 390 篇 design
  • 369 篇 languages
  • 187 篇 computer program...
  • 182 篇 performance
  • 162 篇 object oriented ...
  • 89 篇 algorithms
  • 88 篇 java programming...
  • 81 篇 experimentation
  • 79 篇 functional progr...
  • 71 篇 theory
  • 70 篇 computer program...
  • 65 篇 java
  • 63 篇 verification
  • 61 篇 reliability
  • 49 篇 semantics
  • 47 篇 software design
  • 45 篇 domain-specific ...
  • 38 篇 parallel program...
  • 37 篇 concurrency
  • 35 篇 measurement

机构

  • 25 篇 carnegie mellon ...
  • 22 篇 univ washington ...
  • 18 篇 univ penn philad...
  • 17 篇 princeton univ p...
  • 17 篇 stanford univ st...
  • 16 篇 univ texas austi...
  • 15 篇 harvard univ cam...
  • 14 篇 purdue univ w la...
  • 13 篇 microsoft res re...
  • 13 篇 microsoft resear...
  • 13 篇 rice univ housto...
  • 12 篇 univ wisconsin m...
  • 12 篇 mit cambridge ma...
  • 12 篇 cornell univ ith...
  • 12 篇 microsoft res ca...
  • 11 篇 univ michigan an...
  • 11 篇 swiss fed inst t...
  • 11 篇 univ calif berke...
  • 10 篇 microsoft res re...
  • 10 篇 yale univ new ha...

作者

  • 19 篇 hirschfeld rober...
  • 16 篇 walker david
  • 15 篇 visser eelco
  • 15 篇 felleisen matthi...
  • 14 篇 findler robert b...
  • 13 篇 grossman dan
  • 13 篇 bacon david f.
  • 12 篇 chlipala adam
  • 11 篇 flatt matthew
  • 11 篇 sarkar vivek
  • 11 篇 myers andrew c.
  • 11 篇 mezini mira
  • 11 篇 morrisett greg
  • 10 篇 mckinley kathryn...
  • 10 篇 bockisch christo...
  • 10 篇 adl-tabatabai al...
  • 10 篇 van der storm ti...
  • 10 篇 de moor oege
  • 10 篇 dillig isil
  • 9 篇 lumsdaine a

语言

  • 2,350 篇 英文
  • 226 篇 其他
  • 4 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"
2581 条 记 录,以下是591-600 订阅
Maximal Sound Predictive Race Detection with Control Flow Abstraction  14
Maximal Sound Predictive Race Detection with Control Flow Ab...
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Huang, Jeff Meredith, Patrick O'Neil Rosu, Grigore Univ Illinois Dept Comp Sci Urbana IL 61801 USA
Despite the numerous static and dynamic program analysis techniques in the literature, data races remain one of the most common bugs in modern concurrent software. Further, the techniques that do exist either have lim... 详细信息
来源: 评论
Typed Lua: An optional type system for Lua
Typed Lua: An optional type system for Lua
收藏 引用
8th Workshop on Dynamic languages and Applications, Dyla 2014, with PLDI 2014
作者: Maidl, André Murbach Mascarenhas, Fabio Ierusalimschy, Roberto PUC-Rio Rio de Janeiro Brazil UFRJ Rio de Janeiro Brazil
Dynamically typed languages trade flexibility and ease of use for safety, while statically typed languages prioritize the early detection of bugs, and provide a better framework for structure large programs. The idea ... 详细信息
来源: 评论
Compiling a subset of apl into a typed intermediate language∗  1
Compiling a subset of apl into a typed intermediate language...
收藏 引用
1st acm sigplan International Workshop on Libraries, languages and Compilers for Array programming, ARRAY 2014 - Part of PLDI 2014
作者: Elsman, Martin Dybdal, Martin Department of Computer Science University of Copenhagen Denmark
We present a compiler and a typed intermediate language for a subset of APL. The intermediate language treats all numeric data as multi-dimensional arrays and the type system makes explicit the ranks of arrays. Primit... 详细信息
来源: 评论
Surgical Precision JIT Compilers  14
Surgical Precision JIT Compilers
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Rompf, Tiark Sujeeth, Arvind K. Brown, Kevin J. Lee, HyoukJoong Chafi, Hassan Olukotun, Kunle EPFL Zurich Switzerland Stanford Univ Stanford CA 94305 USA
Just-in-time (JIT) compilation of running programs provides more optimization opportunities than offline compilation. Modern JIT compilers, such as those in virtual machines like Oracle's HotSpot for Java or Googl... 详细信息
来源: 评论
Babelsberg/JS A Browser-Based implementation of an Object Constraint language
Babelsberg/JS A Browser-Based Implementation of an Object Co...
收藏 引用
28th European conference on Object-Oriented programming (ECOOP)
作者: Felgentreff, Tim Borning, Alan Hirschfeld, Robert Lincke, Jens Ohshima, Yoshiki Freudenberg, Bert Krahn, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany Univ Washington Seattle WA 98195 USA Viewpoints Res Inst Los Angeles CA USA SAP Labs Commun Design Grp San Francisco CA USA
Constraints provide a useful technique for ensuring that desired properties hold in an application. As a result, they have been used in a wide range of applications, including graphical layout, simulation, scheduling,... 详细信息
来源: 评论
DSLDI 2014: Second Workshop on Domain Specific languages design and implementation
DSLDI 2014: Second Workshop on Domain Specific Languages Des...
收藏 引用
2014 acm sigplan conference on Systems, programming, and Applications: Software for Humanity, SPLASH 2014
作者: Erdweg, Sebastian Welc, Adam TU Darmstadt Germany Oracle Labs Germany
The Second Workshop on Domain Specific languages design and implementation (DSLDI 2014) is collocated with SPLASH 2014 conference and held in Portland, Oregon, USA on October 20th 2014. The goal of the DSLDI workshop ... 详细信息
来源: 评论
Array operators using multiple dispatch a design methodology for array implementations in dynamic languages  1
Array operators using multiple dispatch a design methodology...
收藏 引用
1st acm sigplan International Workshop on Libraries, languages and Compilers for Array programming, ARRAY 2014 - Part of PLDI 2014
作者: Bezanson, Jeff Chen, Jiahao Karpinski, Stefan Shah, Viral Edelman, Alan MIT Computer Science and Artificial Intelligence Laboratory United States
Arrays are such a rich and fundamental data type that they tend to be built into a language, either in the compiler or in a large lowlevel library. Defining this functionality at the user level instead provides greate... 详细信息
来源: 评论
Improved Type Specialization for Dynamic Scripting languages
收藏 引用
acm sigplan NOTICES 2014年 第2期49卷 37-48页
作者: Kedlaya, Madhukar N. Roesch, Jared Robatmili, Behnam Reshadi, Mehrdad Hardekopf, Ben Univ Calif Santa Barbara Santa Barbara CA 93106 USA Qualcomm Res Silicon Valley Santa Barbara CA USA
Type feedback and type inference are two common methods used to optimize dynamic languages such as JavaScript. Each of these methods has its own strengths and weaknesses, and we propose that each can benefit from the ... 详细信息
来源: 评论
Introducing 1st acm sigplan TRUST Workshop on Reproducible Research Methodologies and New Publication Models in Computer Engineering, TRUST 2014 - Co-located with PLDI 2014
Introducing 1st ACM SIGPLAN TRUST Workshop on Reproducible R...
收藏 引用
1st acm sigplan TRUST Workshop on Reproducible Research Methodologies and New Publication Models in Computer Engineering, TRUST 2014 - Co-located with PLDI 2014
The proceedings contain 5 papers. The topics discussed include: CARE, the comprehensive archiver for reproducible execution;software in reproducible research: advice and best practice collected from experiences at the...
来源: 评论
StreamJIT: A Commensal Compiler for High-Performance Stream programming  14
StreamJIT: A Commensal Compiler for High-Performance Stream ...
收藏 引用
2014 acm International conference on Object-Oriented-programming-Systems-languages-and-Applications (OOPSLA 14)
作者: Bosboom, Jeffrey Rajadurai, Sumanaruban Wong, Weng-Fai Amarasinghe, Saman MIT CSAIL Cambridge MA 02139 USA Natl Univ Singapore Singapore 117548 Singapore
There are many domain libraries, but despite the performance benefits of compilation, domain-specific languages are comparatively rare due to the high cost of implementing an optimizing compiler. We propose commensal ... 详细信息
来源: 评论