咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,075 篇 工学
    • 1,008 篇 软件工程
    • 778 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 35 篇 信息与通信工程
    • 34 篇 电气工程
    • 10 篇 机械工程
    • 9 篇 电子科学与技术(可...
    • 5 篇 建筑学
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 农业工程
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 轻工技术与工程
  • 131 篇 理学
    • 111 篇 数学
    • 12 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 5 篇 生物学
    • 4 篇 物理学
    • 4 篇 化学
  • 88 篇 管理学
    • 51 篇 管理科学与工程(可...
    • 40 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 3 篇 农学
    • 3 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 96 篇 performance
  • 95 篇 computer program...
  • 60 篇 object oriented ...
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 29 篇 functional progr...
  • 27 篇 program synthesi...
  • 27 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 compilers
  • 18 篇 c (programming l...

机构

  • 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
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 7 篇 sarkar vivek
  • 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,172 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation"
1251 条 记 录,以下是161-170 订阅
排序:
Component-Based Synthesis of Table Consolidation and Transformation Tasks from Examples  2017
Component-Based Synthesis of Table Consolidation and Transfo...
收藏 引用
38th acm sigplan conference on programming language design and implementation (PLDI)
作者: Feng, Yu Martins, Ruben Van Geffen, Jacob Dillig, Isil Chaudhuri, Swarat Univ Texas Austin Austin TX 78712 USA Rice Univ Houston TX 77251 USA
This paper presents a novel component-based synthesis algorithm that marries the power of type-directed search with lightweight SMT-based deduction and partial evaluation. Given a set of components together with their... 详细信息
来源: 评论
The nesC language:: A holistic approach to networked embedded systems  03
收藏 引用
conference on programming language design and implementation
作者: Gay, D Levis, P von Behren, R Welsh, M Brewer, E Culler, D Univ Calif Berkeley EECS Dept Berkeley CA 94720 USA Intel Res Berkeley Berkeley CA 94704 USA
We present nesC, a programming language for networked embedded systems that represent a new design space for application developers. An example of a networked embedded system is a sensor network, which consists of (po... 详细信息
来源: 评论
Effective sign extension elimination  02
Effective sign extension elimination
收藏 引用
conference on programming language design and implementation (PLDI 02)
作者: Kawahito, M Komatsu, H Nakatani, T IBM Tokyo Res Lab Kanagawa 2428502 Japan
Computer designs are shifting from 32-bit architectures to 64-bit architectures, while most of the programs available today are still designed for 32-bit architectures, Java(TM), for example, specifies the frequently ... 详细信息
来源: 评论
Compiling Stan to Generative Probabilistic languages and Extension to Deep Probabilistic programming  2021
Compiling Stan to Generative Probabilistic Languages and Ext...
收藏 引用
42nd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Baudart, Guillaume Burroni, Javier Hirzel, Martin Mandel, Louis Shinnar, Avraham PSL Univ Ecole Normale Super INRIA Paris Paris France UMass Amherst Amherst MA USA IBM Res MIT IBM Watson AI Lab Armonk NY USA
Stan is a probabilistic programming language that is popular in the statistics community, with a high-level syntax for expressing probabilistic models. Stan differs by nature from generative probabilistic programming ... 详细信息
来源: 评论
The Essence of Bluespec A Core language for Rule-Based Hardware design  2020
The Essence of Bluespec A Core Language for Rule-Based Hardw...
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Bourgeat, Thomas Pit-Claudel, Clement Chlipala, Adam Arvind MIT CSAIL 77 Massachusetts Ave Cambridge MA 02139 USA
The Bluespec hardware-description language presents a significantly higher-level view than hardware engineers are used to, exposing a simpler concurrency model that promotes formal proof, without compromising on perfo... 详细信息
来源: 评论
Defining the Undefinedness of C  15
Defining the Undefinedness of C
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Hathhorn, Chris Ellison, Chucky Rosu, Grigore Univ Missouri Columbia MO 65211 USA Univ Illinois Urbana IL 61801 USA
We present a "negative" semantics of the C11 language-a semantics that does not just give meaning to correct programs, but also rejects undefined programs. We investigate undefined behavior in C and discuss ... 详细信息
来源: 评论
Jedd:: A BDD-based relational extension of Java
Jedd:: A BDD-based relational extension of Java
收藏 引用
conference on programming language design and implementation
作者: Lhoták, O Hendren, L McGill Univ Sch Comp Sci Sable Res Grp Montreal PQ Canada
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as database-style relations and operatio... 详细信息
来源: 评论
Associated Effects Flexible Abstractions for Effectful programming
收藏 引用
proceedings OF THE acm ON programming languageS-PacmPL 2024年 第PLDI期8卷 394-416页
作者: Lutze, Matthew Madsen, Magnus Aarhus Univ Aarhus Denmark
We present associated effects, a programming language feature that enables type classes to abstract over the effects of their function signatures, allowing each type class instance to specify its concrete effects. Ass... 详细信息
来源: 评论
First-class Runtime Generation of High-performance Types using Exotypes  14
First-class Runtime Generation of High-performance Types usi...
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: DeVito, Zachary Ritchie, Daniel Fisher, Matt Aiken, Alex Hanrahan, Pat Stanford Univ Stanford CA 94305 USA
We introduce exotypes, user-defined types that combine the flexibility of meta-object protocols in dynamically-typed languages with the performance control of low-level languages. Like objects in dynamic languages, ex... 详细信息
来源: 评论
Semantics Driven Hardware design, implementation, and Verification with ReWire  15
Semantics Driven Hardware Design, Implementation, and Verifi...
收藏 引用
acm sigplan/SIGBED conference on languages, Compilers and Tools for Embedded Systems (LCTES 15)
作者: Procter, Adam Harrison, William L. Graves, Ian Becchi, Michela Allwein, Gerard Univ Missouri Columbia MO 65211 USA US Naval Res Lab Stennis Space Ctr MS USA
There is no such thing as high assurance without high assurance hardware. High assurance hardware is essential, because any and all high assurance systems ultimately depend on hardware that conforms to, and does not u... 详细信息
来源: 评论