咨询与建议

限定检索结果

文献类型

  • 800 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 823 篇 工学
    • 807 篇 软件工程
    • 547 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
  • 102 篇 理学
    • 88 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 53 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 166 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 74 篇 computer program...
  • 56 篇 algorithms
  • 45 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 36 篇 reliability
  • 34 篇 object oriented ...
  • 27 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 19 篇 concurrency
  • 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 washington ...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 stanford univ st...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

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

语言

  • 852 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 95 Conference on Programming Language Design and Implementation"
931 条 记 录,以下是311-320 订阅
排序:
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations  2021
Scooter & Sidecar: A Domain-Specific Approach to Writing Sec...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Renner, John Sanchez-Stern, Alex Brown, Fraser Lerner, Sorin Stefan, Deian Univ Calif San Diego La Jolla CA 92093 USA
Web applications often handle large amounts of sensitive user data. Modern secure web frameworks protect this data by (1) using declarative languages to specify security policies alongside database schemas and (2) aut... 详细信息
来源: 评论
Formal loop merging for signal transforms
Formal loop merging for signal transforms
收藏 引用
conference on programming language design and implementation
作者: Franchetti, F Voronenko, Y Püschel, M Carnegie Mellon Univ Dept Elect & Comp Engn Pittsburgh PA 15213 USA
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus performance. In particular, this inclu... 详细信息
来源: 评论
A Web Application Is a Domain-Specific language
A Web Application Is a Domain-Specific Language
收藏 引用
acm sigplan International conference on Systems, programming, languages and Applications: Software for Humanity (SPLASH Companion)
作者: Lorenz, David H. Rosenan, Boaz Open Univ IL-43107 Raanana Israel Technion Israel Inst Technol IL-32000 Haifa Israel Univ Haifa IL-31905 Haifa Israel
We introduce a correspondence between the design space of web applications and that of domain-specific languages (DSLs). We note that while most web applications today are implemented in ways that correspond to extern... 详细信息
来源: 评论
Reticle: A Virtual Machine for programming Modern FPGAs  2021
Reticle: A Virtual Machine for Programming Modern FPGAs
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Vega, Luis McMahan, Joseph Sampson, Adrian Grossman, Dan Ceze, Luis Univ Washington Seattle WA 98195 USA Cornell Univ Ithaca NY 14853 USA
Modern field-programmable gate arrays (FPGAs) have recently powered high-profile efficiency gains in systems from datacenters to embedded devices by offering ensembles of heterogeneous, reconfigurable hardware units. ... 详细信息
来源: 评论
Unfold/fold transformations and loop optimization of logic programs  88
Unfold/fold transformations and loop optimization of logic p...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Debray, Saumya K. Department of Computer Science University of Arizona TucsonAZ85721 United States
Programs typically spend much of their execution time in loops. This makes the generation of efficient code for loops essential for good performance. Loop optimization of logic programming languages is complicated by ... 详细信息
来源: 评论
An experimental analysis of self-adjusting computation  06
An experimental analysis of self-adjusting computation
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Acar, Umut A. Blelloch, Guy E. Blume, Matthias Tangwongsan, Kanat Toyota Technological Institute Japan Carnegie Mellon University United States
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining these approaches to effectively dynamize a... 详细信息
来源: 评论
Multi-modal Synthesis of Regular Expressions  2020
Multi-modal Synthesis of Regular Expressions
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Chen, Qiaochu Wang, Xinyu Ye, Xi Durrett, Greg Dillig, Isil Univ Texas Austin Austin TX 78712 USA Univ Michigan Ann Arbor MI 48109 USA
In this paper, we propose a multi-modal synthesis technique for automatically constructing regular expressions (regexes) from a combination of examples and natural language. Using multiple modalities is useful in this... 详细信息
来源: 评论
Kill-safe synchronization abstractions
Kill-safe synchronization abstractions
收藏 引用
Proceedings of the 2004 acm sigplan conference on programming language design and implementation (PLDI'04)
作者: Flatt, Matthew Findler, Robert Bruce University of Utah United States University of Chicago United States
When an individual task can be forcefully terminated at any time, cooperating tasks must communicate carefully. For example, if two tasks share an object, and if one task is terminated while it manipulates the object,... 详细信息
来源: 评论
Efficient Late Binding of Dynamic Function Compositions  12
Efficient Late Binding of Dynamic Function Compositions
收藏 引用
12th acm sigplan International conference on Software language Engineering (SLE)
作者: Schuetze, Lars Castrillon, Jeronimo Tech Univ Dresden Chair Compiler Construct Dresden Germany
Adaptive software becomes more and more important as computing is increasingly context-dependent. Runtime adaptability can be achieved by dynamically selecting and applying context-specific code. Role-oriented program... 详细信息
来源: 评论
Speculative Separation for Privatization and Reductions  12
Speculative Separation for Privatization and Reductions
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Johnson, Nick P. Kim, Hanjun Prabhu, Prakash Zaks, Ayal August, David I. Princeton Univ Princeton NJ 08544 USA Intel Corp Haifa Israel
Automatic parallelization is a promising strategy to improve application performance in the multicore era. However, common programming practices such as the reuse of data structures introduce artificial constraints th... 详细信息
来源: 评论