咨询与建议

限定检索结果

文献类型

  • 2,278 篇 会议
  • 296 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,280 篇 工学
    • 2,147 篇 软件工程
    • 1,702 篇 计算机科学与技术...
    • 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
  • 186 篇 computer program...
  • 182 篇 performance
  • 162 篇 object oriented ...
  • 89 篇 algorithms
  • 88 篇 java programming...
  • 81 篇 experimentation
  • 78 篇 functional progr...
  • 71 篇 theory
  • 69 篇 computer program...
  • 65 篇 java
  • 63 篇 verification
  • 61 篇 reliability
  • 48 篇 semantics
  • 47 篇 software design
  • 45 篇 domain-specific ...
  • 38 篇 parallel program...
  • 37 篇 concurrency
  • 35 篇 measurement

机构

  • 24 篇 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 篇 de moor oege
  • 10 篇 dillig isil
  • 9 篇 lumsdaine a
  • 9 篇 van der storm ti...

语言

  • 2,349 篇 英文
  • 222 篇 其他
  • 4 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"
2576 条 记 录,以下是141-150 订阅
排序:
An Embedding of B in Clojure  22
An Embedding of B in Clojure
收藏 引用
acm/IEEE 25th International conference on Model Driven Engineering languages and Systems (MODELS)
作者: Koerner, Philipp Mager, Florian Heinrich Heine Univ Dusseldorf Inst Informat Dusseldorf NRW Germany
Considering programs as data enables powerful meta-programming. One example is Lisp's macro system, which gives rise to powerful transformations of programs and allows easy implementation of domain-specific langua... 详细信息
来源: 评论
Kotlin Coroutines: design and implementation
Kotlin Coroutines: Design and Implementation
收藏 引用
International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward!)
作者: Elizarov, Roman Belyaev, Mikhail Akhin, Marat Usmanov, Ilmir JetBrains St Petersburg Russia Peter Great St Petersburg Polytech Univ JetBrains Res St Petersburg Russia JetBrains GmbH Munich Germany
Asynchronous programming is having its "renaissance" moment in recent years. Created in the 1980s, it was in use for quite some time, but with the advent of multi-core processors, it has been sidestepped by ... 详细信息
来源: 评论
DOTA: Detect and Omit Weak Attentions for Scalable Transformer Acceleration  27
DOTA: Detect and Omit Weak Attentions for Scalable Transform...
收藏 引用
27th acm International conference on Architectural Support for programming languages and Operating Systems (ASPLOS)
作者: Qu, Zheng Liu, Liu Tu, Fengbin Chen, Zhaodong Ding, Yufei Xie, Yuan UC Santa Barbara Santa Barbara CA 93106 USA
Transformer Neural Networks have demonstrated leading performance in many applications spanning over language understanding, image processing, and generative modeling. Despite the impressive performance, long-sequence... 详细信息
来源: 评论
Synthesizing Data Structure Refinements from Integrity Constraints  2021
Synthesizing Data Structure Refinements from Integrity Const...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Pailoor, Shankara Wang, Yuepeng Wang, Xinyu Dillig, Isil Univ Texas Austin Austin TX 78712 USA Univ Penn Philadelphia PA 19104 USA Univ Michigan Ann Arbor MI 48109 USA
implementations of many data structures use several correlated fields to improve their performance;however, inconsistencies between these fields can be a source of serious program errors. To address this problem, we p... 详细信息
来源: 评论
Improving on the Experience of Hand-Assembling Programs for Application-Specific Architectures  21
Improving on the Experience of Hand-Assembling Programs for ...
收藏 引用
5th International conference on the Art, Science, and Engineering of programming (programming)
作者: Piumarta, Ian Kyoto Univ Adv Sci Kyoto Japan
Creating an application-specific processor is an effective and popular way to solve many problems in embedded hardware design using FPGAs, ASICs, or custom silicon. programming these processors is complicated by the l... 详细信息
来源: 评论
Need Help? designing Proactive AI Assistants for programming  25
Need Help? Designing Proactive AI Assistants for Programming
收藏 引用
2025 CHI conference on Human Factors in Computing Systems, CHI 2025
作者: Chen, Valerie Zhu, Alan Zhao, Sebastian Mozannar, Hussein Sontag, David Talwalkar, Ameet Carnegie Mellon University PittsburghPA United States University of California Berkeley BerkeleyCA United States Microsoft Research RedmondWA United States Massachusetts Institute of Technology BostonMA United States
While current chat-based AI assistants primarily operate reactively, responding only when prompted by users, there is significant potential for these systems to proactively assist in tasks without explicit invocation,... 详细信息
来源: 评论
You Don't Know Search: Helping Users Find Code by Automatically Evaluating Alternative Queries  23
You Don't Know Search: Helping Users Find Code by Automatica...
收藏 引用
IEEE/acm 45th International conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP)
作者: van Tonder, Rijnard Sourcegraph Inc San Francisco CA 94103 USA
Tens of thousands of engineers use Sourcegraph day-to-day to search for code and rely on it to make progress on software development tasks. We face a key challenge in designing a query language that accommodates the n... 详细信息
来源: 评论
Restaging Domain-Specific languages: A Flexible design Pattern for Rapid Development of Optimizing Compilers  2024
Restaging Domain-Specific Languages: A Flexible Design Patte...
收藏 引用
Proceedings of the 23rd acm sigplan International conference on Generative programming: Concepts and Experiences
作者: Amir Shaikhha University of Edinburgh Edinburgh United Kingdom
This paper addresses the complexity of developing optimizing compilers by proposing a novel design pattern named Restage. The Restage interface reduces boilerplate code in transformation passes by simplifying the extr... 详细信息
来源: 评论
Onward! 2021 - Proceedings of the 2021 acm sigplan International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software, co-located with SPLASH 2021
Onward! 2021 - Proceedings of the 2021 ACM SIGPLAN Internati...
收藏 引用
2021 acm sigplan International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software, Onward! 2021, co-located with SPLASH 2021
The proceedings contain 11 papers. The topics discussed include: Dala: a simple capability-based dynamic language design for data race-freedom;programming with neural surrogates of programs;natural language-guided pro...
来源: 评论
PM4VR: A Scriptable Parametric Modeling Interface for Conceptual Architecture design in VR  18
PM4VR: A Scriptable Parametric Modeling Interface for Concep...
收藏 引用
18th acm SIGGRAPH International conference on Virtual-Reality Continuum and its Applications in Industry, VRCAI 2022
作者: Li, Wanwan University of South Florida TampaFL United States
In this paper, we propose PM4VR, a novel scriptable parametric modeling interface for the Unity3D game engine which can be applied to VR-driven parametric modeling designs. By simplifying prevailing advanced programmi... 详细信息
来源: 评论