咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是331-340 订阅
排序:
PADS/ML: A functional data description language  07
PADS/ML: A functional data description language
收藏 引用
34th acm sigplan-SIGACT Symposium on Principles of programming languages
作者: Mandelbaum, Yitzhak Fisher, Kathleen Walker, David Fernandez, Mary Gleyzer, Artem Princeton Univ Princeton NJ 08544 USA
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily available. In this paper, we explain the des... 详细信息
来源: 评论
Sound Probabilistic Inference via Guide Types  2021
Sound Probabilistic Inference via Guide Types
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Wang, Di Hoffmann, Jan Reps, Thomas Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Wisconsin Madison WI 53706 USA
Probabilistic programming languages aim to describe and automate Bayesian modeling and inference. Modern languages support programmable inference, which allows users to customize inference algorithms by incorporating ... 详细信息
来源: 评论
Executing Code in the Past: Efficient In-Memory Object Graph Versioning  09
Executing Code in the Past: Efficient In-Memory Object Graph...
收藏 引用
24th Annual acm conference on Object-Oriented programming, Systems, languages and Applications
作者: Pluquet, Frederic Langerman, Stefan Wuyts, Roel Univ Libre Bruxelles Dept Comp Sci Fac Sci Brussels Belgium
Object versioning refers to how an application can have access to previous states of its objects Implementing this mechanism is hard because it needs to be efficient in space and time, and well integrated with the pro... 详细信息
来源: 评论
Parcae: A System for Flexible Parallel Execution  12
Parcae: A System for Flexible Parallel Execution
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Raman, Arun Zaks, Ayal Lee, Jae W. August, David I. Intel Res Santa Clara CA USA Intel Corp Haifa Israel Sungkyunkwan Univ Suwon South Korea Princeton Univ Princeton NJ 08544 USA
Workload, platform, and available resources constitute a parallel program's execution environment. Most parallelization efforts statically target an anticipated range of environments, but performance generally deg... 详细信息
来源: 评论
Grammatical abstraction and incremental syntax analysis in a language-based editor  88
Grammatical abstraction and incremental syntax analysis in a...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Baillance, Robert A. Butcher, Jacob Graham, Susan L. Computer Science Division-EECS University of California BerkeleyCA94 720 United States Department of Computer Science University of New Mexico AlbuquerqueNM87131 United States
Processors for programming languages and other formal languages typically use a concrete syntax to describe the user's view of a program and an abstract syntax to represent language structures internally. Grammati... 详细信息
来源: 评论
Commutative Set: A language Extension for Implicit Parallel programming  11
Commutative Set: A Language Extension for Implicit Parallel ...
收藏 引用
32nd acm sigplan conference on programming language design and implementation (PLDI 11)
作者: Prabhu, Prakash Ghosh, Soumyadeep Zhang, Yun Johnson, Nick P. August, David I. Princeton Univ Princeton NJ 08544 USA
Sequential programming models express a total program order, of which a partial order must be respected. This inhibits parallelizing tools from extracting scalable performance. Programmer written semantic commutativit... 详细信息
来源: 评论
SELECTIVE SPECIALIZATION FOR OBJECT-ORIENTED languageS  95
SELECTIVE SPECIALIZATION FOR OBJECT-ORIENTED LANGUAGES
收藏 引用
acm sigplan 95 conference on programming language design and implementation
作者: DEAN, J CHAMBERS, C GROVE, D Department of Computer Science and Engineering University of Washington Seattle WA
Dynamic dispatching is a major source of run-time overhead in object-oriented languages, due both to the direct cost of method lookup and to the indirect effect of preventing other optimizations. To reduce this overhe... 详细信息
来源: 评论
implementation of complete, asynchronous, distributed garbage collection
Implementation of complete, asynchronous, distributed garbag...
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Le Fessant, Fabrice Piumarta, Ion Shapiro, Marc INRIA Roquencourt Le Chesnay France
Most existing reference-based distributed object systems include some kind of acyclic garbage collection, but fail to provide acceptable collection of cyclic garbage. Those that do provide such GC currently suffer fro... 详细信息
来源: 评论
Efficient discovery of regular stride patterns in irregular programs and its use in compiler prefetching
Efficient discovery of regular stride patterns in irregular ...
收藏 引用
conference on programming language design and implementation (PLDI 02)
作者: Wu, YF Intel Labs Programming Syst Res Santa Clara CA 95052 USA
Irregular data references are difficult to prefetch, as the future memory address of a load instruction is hard to anticipate by a compiler. However, recent studies as well as our experience indicate that some importa... 详细信息
来源: 评论
Predictable Accelerator design with Time-Sensitive Affine Types  2020
Predictable Accelerator Design with Time-Sensitive Affine Ty...
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Nigam, Rachit Atapattu, Sachille Thomas, Samuel Li, Zhijing Bauer, Theodore Ye, Yuwei Koti, Apurva Sampson, Adrian Zhang, Zhiru Cornell Univ Ithaca NY 14853 USA
Field-programmable gate arrays (FPGAs) provide an opportunity to co-design applications with hardware accelerators, yet they remain difficult to program. High-level synthesis (HLS) tools promise to raise the level of ... 详细信息
来源: 评论