咨询与建议

限定检索结果

文献类型

  • 774 篇 会议
  • 129 篇 期刊文献

馆藏范围

  • 903 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 801 篇 工学
    • 787 篇 软件工程
    • 527 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 安全科学与工程
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物工程
  • 100 篇 理学
    • 86 篇 数学
    • 10 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 49 篇 管理学
    • 33 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 164 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 70 篇 computer program...
  • 56 篇 algorithms
  • 43 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 34 篇 reliability
  • 31 篇 object oriented ...
  • 26 篇 java programming...
  • 25 篇 program synthesi...
  • 25 篇 functional progr...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 theory
  • 19 篇 concurrency
  • 18 篇 type systems
  • 18 篇 domain-specific ...
  • 17 篇 compilers

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 stanford univ st...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 univ washington ...
  • 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 篇 aiken alex
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 gulwani sumit
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 825 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 96 Conference on Programming Language Design and Implementation"
903 条 记 录,以下是781-790 订阅
排序:
Quipper: A Scalable Quantum programming language  13
Quipper: A Scalable Quantum Programming Language
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Alexander S. Green Peter LeFanu Lumsdaine Neil J. Ross Peter Selinger Benoit Valiron Dalhousie University Institute of Advanced Studies University of Pennsylvania
The field of quantum algorithms is vibrant. Still, there is currently a lack of programming languages for describing quantum computation on a practical scale, i.e., not just at the level of toy problems. We address th... 详细信息
来源: 评论
Session details: language-based techniques  12
Session details: Language-based techniques
收藏 引用
Proceedings of the 33rd acm sigplan conference on programming language design and implementation
作者: Wenguang Chen Tsinghua University
No abstract available.
来源: 评论
Session details: Concurrent programming  11
Session details: Concurrent programming
收藏 引用
Proceedings of the 32nd acm sigplan conference on programming language design and implementation
作者: Jens Palsberg University of California Los Angeles
No abstract available.
来源: 评论
Occurrence Typing Modulo Theories
收藏 引用
acm sigplan NOTICES 2016年 第6期51卷 296-309页
作者: Kent, Andrew M. Kempe, David Tobin-Hochstadt, Sam Indiana Univ Bloomington IN 47405 USA
We present a new type system combining occurrence typing- a technique previously used to type check programs in dynamically-typed languages such as Racket, Clojure, and JavaScript-with dependent refinement types. We d... 详细信息
来源: 评论
Latte: A language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks
收藏 引用
acm sigplan NOTICES 2016年 第6期51卷 209-223页
作者: Truong, Leonard Barik, Rajkishore Totoni, Ehsan Liu, Hai Markley, Chick Fox, Armando Shpeisman, Tatiana Univ Calif Berkeley Intel Labs Berkeley CA USA Intel Labs Berkeley CA USA Univ Calif Berkeley Berkeley CA USA
Deep neural networks (DNNs) have undergone a surge in popularity with consistent advances in the state of the art for tasks including image recognition, natural language processing, and speech recognition. The computa... 详细信息
来源: 评论
Session details: Parallel programming notations  11
Session details: Parallel programming notations
收藏 引用
Proceedings of the 32nd acm sigplan conference on programming language design and implementation
作者: Michelle Mills Strout Colorado State University
No abstract available.
来源: 评论
Session details: language constructs  06
Session details: Language constructs
收藏 引用
Proceedings of the 27th acm sigplan conference on programming language design and implementation
作者: T. Millstein University of California at Los Angeles
No abstract available.
来源: 评论
A language for writing code generators  89
A language for writing code generators
收藏 引用
Proceedings of the acm sigplan 1989 conference on programming language design and implementation
作者: C. W. Fraser AT&T Bell Laboratories Murray Hill NJ
来源: 评论
The design and implementation of Concurrent Smalltalk  86
The design and implementation of Concurrent Smalltalk
收藏 引用
conference proceedings on Object-oriented programming systems, languages and applications
作者: Yasuhiko Yokote Mario Tokoro Keio Univ. Japan
ConcurrentSmalltalk is a programming language/system which incorporates the facilities of concurrent programming in Smalltalk-801. Such facilities are realized by providing concurrent constructs and atomic objects. Th...
来源: 评论
design and evaluation of a compiler for embedded stream programs
收藏 引用
acm sigplan NOTICES 2008年 第7期43卷 131-140页
作者: Newton, Ryan R. Girod, Lewis D. Craig, Michael B. Madden, Samuel R. Morrisett, J. Greg MIT CSAIL Cambridge MA 02139 USA Harvard Univ Cambridge MA 02138 USA
Applications that combine live data streams with embedded, parallel, and distributed processing are becoming more commonplace. WaveScript is a domain-specific language that brings high-level, type-safe, garbage-collec... 详细信息
来源: 评论