咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
DSLs in Racket: YouWant It How, Now?  17
DSLs in Racket: YouWant It How, Now?
收藏 引用
17th acm sigplan International conference on Software language Engineering (SLE)
作者: Lee, Yunjeong Gopinathan, Kiran Yang, Ziyi Flatt, Matthew Sergey, Ilya Natl Univ Singapore Singapore Singapore Univ Utah Salt Lake City UT USA
Domain-Specific languages (DSLs) are a popular way to simplify and streamline programmatic solutions of commonly occurring yet specialized tasks. While the design of frameworks for implementing DSLs has been a popular... 详细信息
来源: 评论
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification language
收藏 引用
proceedings OF THE acm ON programming languageS-PacmPL 2024年 第PLDI期8卷 1510-1534页
作者: Parthasarathy, Gaurav Dardinier, Thibault Bonneau, Benjamin Muller, Peter Summers, Alexander J. Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland Univ Grenoble Alpes CNRS Grenoble INP VERIMAG Grenoble France Univ British Columbia Vancouver BC Canada
Automated program verifiers are typically implemented using an intermediate verification language (IVL), such as Boogie or Why3. A verifier front-end translates the input program and specification into an IVL program,... 详细信息
来源: 评论
Modular Hardware design of Pipelined Circuits with Hazards
收藏 引用
proceedings OF THE acm ON programming languageS-PacmPL 2024年 第PLDI期8卷 28-51页
作者: Jang, Minseong Rhee, Jungin Lee, Woojin Zhao, Shuangshuang Kang, Jeehoon Korea Adv Inst Sci & Technol Daejeon South Korea
Modular design is critical in reducing hardware designer's cognitive load and development cost. However, it is challenging to modularize high-performance pipelined circuits with structural, data, and control hazar... 详细信息
来源: 评论
Allo: A programming Model for Composable Accelerator design
收藏 引用
proceedings OF THE acm ON programming languageS-PacmPL 2024年 第PLDI期8卷 593-620页
作者: Chen, Hongzheng Zhang, Niansong Xiang, Shaojie Zeng, Zhichen Dai, Mengjia Zhang, Zhiru Cornell Univ Ithaca NY 14853 USA Univ Sci & Technol China Hefei Peoples R China
Special-purpose hardware accelerators are increasingly pivotal for sustaining performance improvements in emerging applications, especially as the benefits of technology scaling continue to diminish. However, designer... 详细信息
来源: 评论
An Algebraic language for Specifying Quantum Networks
收藏 引用
proceedings OF THE acm ON programming languageS-PacmPL 2024年 第PLDI期8卷 1313-1335页
作者: Buckley, Anita Chuprikov, Pavel Otoni, Rodrigo Soule, Robert Rand, Robert Eugster, Patrick USI Lugano Lugano Switzerland Yale Univ New Haven CT USA Univ Chicago Chicago IL 60637 USA
Quantum networks connect quantum capable nodes in order to achieve capabilities that are impossible only using classical information. Their fundamental unit of communication is the Bell pair, which consists of two ent... 详细信息
来源: 评论
PL4XGL: A programming language Approach to Explainable Graph Learning
收藏 引用
proceedings OF THE acm ON programming languageS-PacmPL 2024年 第PLDI期8卷 2148-2173页
作者: Jeon, Minseok Park, Jihyeok Oh, Hakjoo Korea Univ Dept Comp Sci & Engn Seoul South Korea
In this article, we present a new, language-based approach to explainable graph learning. Though graph neural networks (GNNs) have shown impressive performance in various graph learning tasks, they have severe limitat... 详细信息
来源: 评论
A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description languages  2023
A pred-LL(*) Parsable Typed Higher-Order Macro System for Ar...
收藏 引用
22nd acm sigplan International conference on Generative programming - Concepts and Experiences (GPCE)
作者: Hochrainer, Christoph Krall, Andreas TU Wien Vienna Austria
Macro systems are powerful language extension tools for Architecture Description languages (ADLs). Their generative power in combination with the simplicity of specification languages allows for a substantial reductio... 详细信息
来源: 评论
A Lightweight Polyglot Code Transformation language
收藏 引用
proceedings OF THE acm ON programming languageS-PacmPL 2024年 第PLDI期8卷 1288-1312页
作者: Ketkar, Ameya Ramos, Daniel Clapp, Lazaro Barik, Raj Ramanathan, Murali Krishna Gitar Inc San Mateo CA 94403 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Lisbon INESC ID IST Lisbon Portugal Amazon Web Serv Santa Clara CA USA Uber Technol Inc San Francisco CA USA
In today's software industry, large-scale, multi-language codebases are the norm. This brings substantial challenges in developing automated tools for code maintenance tasks such as API migration or dead code clea... 详细信息
来源: 评论
Verified Extraction from Coq to OCaml
收藏 引用
proceedings OF THE acm ON programming languageS-PacmPL 2024年 第PLDI期8卷 52-75页
作者: Forster, Yannick Sozeau, Matthieu Tabareau, Nicolas INRIA Gallinette Project Team Nantes France
One of the central claims of fame of the COQ proof assistant is extraction, i.e., the ability to obtain efficient programs in industrial programming languages such as OCAML, Haskell, or Scheme from programs written in... 详细信息
来源: 评论
Bringing the WebAssembly Standard up to Speed with SpecTec
收藏 引用
proceedings OF THE acm ON programming languageS-PacmPL 2024年 第PLDI期8卷 1559-1584页
作者: Youn, Dongjun Shin, Wonho Lee, Jaehyun Ryu, Sukyoung Breitner, Joachim Gardner, Philippa Lindley, Sam Pretnar, Matija Rao, Xiaojia Watt, Conrad Rossberg, Andreas Korea Adv Inst Sci & Technol Daejeon South Korea Imperial Coll London London England Univ Edinburgh Edinburgh Midlothian Scotland Univ Ljubljana Ljubljana Slovenia Univ Cambridge Cambridge England
WebAssembly (Wasm) is a portable low-level bytecode language and virtual machine that has seen increasing use in a variety of ecosystems. Its specification is unusually rigorous - including a full formal semantics for... 详细信息
来源: 评论