咨询与建议

限定检索结果

文献类型

  • 800 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 823 篇 工学
    • 807 篇 软件工程
    • 547 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
  • 102 篇 理学
    • 88 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 53 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

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

机构

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

语言

  • 852 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 95 Conference on Programming Language Design and Implementation"
931 条 记 录,以下是371-380 订阅
排序:
Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing
Invertible Syntax Descriptions: Unifying Parsing and Pretty ...
收藏 引用
3rd acm Haskell Symposium on Haskell
作者: Rendel, Tillmann Ostermann, Klaus Univ Marburg D-35032 Marburg Germany
Parsers and pretty-printers for a language are often quite similar, yet both are typically implemented separately, leading to redundancy and potential inconsistency. We propose a new interface of syntactic description... 详细信息
来源: 评论
ABCD:: Eliminating array bounds checks on demand
<i>ABCD</i>:: Eliminating array bounds checks on demand
收藏 引用
acm sigplan' 00 conference on programming language design and implementation (PLDI)
作者: Bodik, R Gupta, R Sarkar, V Univ Wisconsin Madison WI 53706 USA Univ Arizona Tucson AZ 85721 USA IBM Corp TJ Watson Res Ctr Yorktown Hts NY 10598 USA
To guarantee typesafe execution, Java and other strongly typed languages require bounds checking of array accesses. Because array-bounds checks may raise exceptions, they block code motion of instructions with side ef... 详细信息
来源: 评论
Teapot: language support for writing memory coherence protocols
Teapot: language support for writing memory coherence protoc...
收藏 引用
Proceedings of the acm sigplan'96 conference on programming language design and implementation, PLDI
作者: Chandra, Satish Richards, Brad Larus, James R. Univ of Wisconsin-Madison Madison United States
Recent shared-memory parallel computer systems offer the exciting possibility of customizing memory coherence protocols to fit an application's semantics and sharing patterns. Custom protocols have been used to ac... 详细信息
来源: 评论
Module-sensitive program specialization
Module-sensitive program specialization
收藏 引用
Proceedings of the 1997 acm SIGPLAM conference on programming language design and implementation, PLDI
作者: Dussart, Dirk Heldal, Rogardt Hughes, John
We present an approach for specializing large programs, such as programs consisting of several modules, or libraries. This approach is based on the idea of using a compiler generator (cogen) for creating generating ex... 详细信息
来源: 评论
Distributed REScala: An Update Algorithm for Distributed Reactive programming  14
Distributed REScala: An Update Algorithm for Distributed Rea...
收藏 引用
2014 acm International conference on Object-Oriented-programming-Systems-languages-and-Applications (OOPSLA 14)
作者: Drechsler, Joscha Salvaneschi, Guido Mogk, Ragnar Mezini, Mira Tech Univ Darmstadt Darmstadt Germany Univ Lancaster Lancaster LA1 4YW England
Reactive programming improves the design of reactive applications by relocating the logic for managing dependencies between dependent values away from the application logic to the language implementation. Many distrib... 详细信息
来源: 评论
Can programming be liberated from the two-level style?: Multi-level programming with DeepJava  07
Can programming be liberated from the two-level style?: Mult...
收藏 引用
22nd International conference on Object-Oriented programming, Systems, languages and Applications
作者: Kuehne, Thomas Schreiber, Daniel Tech Univ Darmstadt Darmstadt Germany
Since the introduction of object-oriented programming few programming languages have attempted to provide programmers with more than objects and classes, i.e., more than two levels. Those that did, almost exclusively ... 详细信息
来源: 评论
PetaBricks: A language and Compiler for Algorithmic Choice  09
PetaBricks: A Language and Compiler for Algorithmic Choice
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Ansel, Jason Chan, Cy Wong, Yee Lok Olszewski, Marek Zhao, Qin Edelman, Alan Amarasinghe, Saman MIT Comp Sci & Artificial Intelligence Lab Cambridge MA 02139 USA
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformations, and blocking. The best solution to... 详细信息
来源: 评论
EventScript: An Event-Processing language Based on Regular Expressions with Actions  08
EventScript: An Event-Processing Language Based on Regular E...
收藏 引用
conference on languages, Compilers and Tools for Embedded Systems
作者: Cohen, Norman H. Kalleberg, Karl Trygve IBM Thomas J Watson Res Ctr Hawthorne NY USA
EventScript is a simple but powerful language for programming reactive processes. A stream of incoming events is matched against a regular expression. Actions embedded within the regular expression are executed in res... 详细信息
来源: 评论
Featherweight Swift: A Core Calculus for Swift's Type System  13
Featherweight Swift: A Core Calculus for Swift's Type System
收藏 引用
13th acm sigplan International conference on Software language Engineering (SLE) part of SPLASH conference
作者: Racordon, Dimitri Buchs, Didier Univ Geneva Dept Comp Sci Geneva Switzerland
Swift is a modern general-purpose programming language, designed to be a replacement for C-based languages. Although primarily directed at development of applications for Apple's operating systems, Swift's ado... 详细信息
来源: 评论
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices  2019
Compiling KB-Sized Machine Learning Models to Tiny IoT Devic...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Gopinath, Sridhar Ghanathe, Nikhil Seshadri, Vivek Sharma, Rahul Microsoft Res Bengaluru India
Recent advances in machine learning (ML) have produced KiloByte-size models that can directly run on constrained IoT devices. This approach avoids expensive communication between IoT devices and the cloud, thereby ena... 详细信息
来源: 评论