咨询与建议

限定检索结果

文献类型

  • 1,078 篇 会议
  • 132 篇 期刊文献

馆藏范围

  • 1,210 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,046 篇 工学
    • 982 篇 软件工程
    • 752 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 42 篇 电气工程
    • 32 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 冶金工程
    • 2 篇 农业工程
  • 126 篇 理学
    • 106 篇 数学
    • 12 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 5 篇 生物学
    • 4 篇 化学
  • 81 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 36 篇 图书情报与档案管...
    • 26 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 100 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 39 篇 verification
  • 35 篇 java programming...
  • 34 篇 reliability
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ washington ...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 univ penn philad...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 stanford univ st...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 8 篇 microsoft res re...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...

作者

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

语言

  • 1,132 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation"
1210 条 记 录,以下是31-40 订阅
排序:
PDL A High-Level Hardware design language for Pipelined Processors  2022
PDL A High-Level Hardware Design Language for Pipelined Proc...
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Zagieboylo, Drew Sherk, Charles Suh, Gookwon Edward Myers, Andrew C. Cornell Univ Dept Comp Sci Ithaca NY 14853 USA Cornell Univ Sch Elect & Comp Engn Ithaca NY 14853 USA
Processors are typically designed in Register Transfer Level (RTL) languages, which give designers low-level control over circuit structure and timing. To achieve good performance, processors are pipelined, with multi... 详细信息
来源: 评论
Higher-order Hardware: implementation and Evaluation of the Cephalopode Graph Reduction Processor  22
Higher-order Hardware: Implementation and Evaluation of the ...
收藏 引用
22nd International conference on Formal Methods and Models for System design
作者: Pope, Jeremy Seger, Carl-Johan H. Valter, Henrik Chalmers Univ Technol Dept CSE Gothenburg Sweden
A major challenge with the practical deployment of Internet-of-Things (IoTs) is how to develop the high-quality code needed in order to produce robust and secure IoT devices. In other domains, high-level programming l... 详细信息
来源: 评论
Exocompilation for Productive programming of Hardware Accelerators  2022
Exocompilation for Productive Programming of Hardware Accele...
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Ikarashi, Yuka Bernstein, Gilbert Louis Reinking, Alex Genc, Hasan Ragan-Kelley, Jonathan MIT CSAIL Cambridge MA 02139 USA Univ Calif Berkeley Berkeley CA USA
High-performance kernel libraries are critical to exploiting accelerators and specialized instructions in many applications. Because compilers are difficult to extend to support diverse and rapidly-evolving hardware t... 详细信息
来源: 评论
Semantic Soundness for language Interoperability  2022
Semantic Soundness for Language Interoperability
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Patterson, Daniel Mushtak, Noble Wagner, Andrew Ahmed, Amal Northeastern Univ Boston MA 02115 USA
Programs are rarely implemented in a single language, and thus questions of type soundness should address not only the semantics of a single language, but how it interacts with others. Even between type-safe languages... 详细信息
来源: 评论
WebRobot: Web Robotic Process Automation using Interactive programming-by-Demonstration  2022
WebRobot: Web Robotic Process Automation using Interactive P...
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Dong, Rui Huang, Zhicheng Lam, Ian Iong Chen, Yan Wang, Xinyu Univ Michigan Ann Arbor MI 48109 USA Univ Toronto Toronto ON Canada
It is imperative to democratize robotic process automation (RPA), as RPA has become a main driver of the digital transformation but is still technically very demanding to construct, especially for non-experts. In this... 详细信息
来源: 评论
iCoLa: A Compositional Meta-language with Support for Incremental language Development  15
iCoLa: A Compositional Meta-language with Support for Increm...
收藏 引用
15th International conference on Software language Engineering (SLE)
作者: Frolich, Damian van Binsbergen, L. Thomas Univ Amsterdam Informat Inst Amsterdam Netherlands
programming languages providing high-level abstractions can increase a programmers' productivity and the safety of a program. language-oriented programming is a paradigm in which domain-specific languages are deve... 详细信息
来源: 评论
Visualization Question Answering using Introspective Program Synthesis  2022
Visualization Question Answering using Introspective Program...
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Chen, Yanju Yan, Xifeng Feng, Yu Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA
While data visualization plays a crucial role in gaining insights from data, generating answers over complex visualizations from natural language questions is far from an easy task. Mainstream approaches reduce data v... 详细信息
来源: 评论
signatr: A Data-Driven Fuzzing Tool for R  15
signatr: A Data-Driven Fuzzing Tool for R
收藏 引用
15th International conference on Software language Engineering (SLE)
作者: Turcotte, Alexi Donat-Bouillud, Pierre Krikava, Filip Vitek, Jan Northeastern Univ Boston MA 02115 USA Czech Tech Univ Prague Czech Republic
The fast-and-loose, permissive semantics of dynamic programming languages limit the power of static analyses. For that reason, soundness is often traded for precision through dynamic program analysis. Dynamic analysis... 详细信息
来源: 评论
University language Instructors programming Robotic Learning Applications design and implementation of encouraging programming workshop experiences  23
University Language Instructors Programming Robotic Learning...
收藏 引用
11th International conference on Human-Agent Interaction (HAI)
作者: Quintero, Natalia Mabel Ahtinen, Aino Tampere Univ Fac Informat Technol & Commun Sci Tampere Finland
Educational robots serve multiple purposes, including language learning, social skills development for students with autism, and improving communication skills. This research emphasizes the role of educational profess... 详细信息
来源: 评论
QHDL: a Low-Level Circuit Description language for Quantum Computing  23
QHDL: a Low-Level Circuit Description Language for Quantum C...
收藏 引用
20th acm International conference on Computing Frontiers (CF)
作者: Netzer, Gilbert Markidis, Stefano KTH Royal Inst Technol Stockholm Sweden
This paper proposes a descriptive language called QHDL, akin to VHDL, to program gate-based quantum computing systems. Unlike other popular quantum programming languages, QHDL targets low-level quantum computing progr... 详细信息
来源: 评论