咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是191-200 订阅
排序:
A Simpler, Safer programming and Execution Model for Intermittent Systems  15
A Simpler, Safer Programming and Execution Model for Intermi...
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Lucia, Brandon Ransford, Benjamin Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Washington Seattle WA 98195 USA
Energy harvesting enables novel devices and applications without batteries, but intermittent operation under energy harvesting poses new challenges to memory consistency that threaten to leave applications in failed s... 详细信息
来源: 评论
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... 详细信息
来源: 评论
PLDI 2013 - Proceedings of the 2013 acm sigplan conference on programming language design and implementation
PLDI 2013 - Proceedings of the 2013 ACM SIGPLAN Conference o...
收藏 引用
34th acm sigplan conference on programming language design and implementation, PLDI 2013
The proceedings contain 46 papers. The topics discussed include: optimizing database-backed applications with query synthesis;automated feedback generation for introductory programming assignments;fast condensation of...
来源: 评论
Interactive Parser Synthesis by Example  15
Interactive Parser Synthesis by Example
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Leung, Alan Sarracino, John Lerner, Sorin Univ Calif San Diego San Diego CA 92103 USA
Despite decades of research on parsing, the construction of parsers remains a painstaking, manual process prone to subtle bugs and pitfalls. We present a programming-by-example framework called Parsify that is able to... 详细信息
来源: 评论
Declarative programming over Eventually Consistent Data Stores  15
Declarative Programming over Eventually Consistent Data Stor...
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Sivaramakrishnan, K. C. Kaki, Gowtham Jagannathan, Suresh Univ Cambridge Cambridge CB2 1TN England Purdue Univ W Lafayette IN 47907 USA
User-facing online services utilize geo-distributed data stores to minimize latency and tolerate partial failures, with the intention of providing a fast, always-on experience. However, geo-distribution does not come ... 详细信息
来源: 评论
Stateless Model Checking Concurrent Programs with Maximal Causality Reduction  15
Stateless Model Checking Concurrent Programs with Maximal Ca...
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Huang, Jeff Texas A&M Univ College Stn TX 77843 USA
We present maximal causality reduction (MCR), a new technique for stateless model checking. MCR systematically explores the state-space of concurrent programs with a provably minimal number of executions. Each executi... 详细信息
来源: 评论
Efficient Synthesis of Probabilistic Programs  15
Efficient Synthesis of Probabilistic Programs
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Nori, Aditya V. Ozair, Sherjil Rajamani, Sriram K. Vijaykeerthy, Deepak IIT Delhi Delhi India
We show how to automatically synthesize probabilistic programs from real-world datasets. Such a synthesis is feasible due to a combination of two techniques: (1) We borrow the idea of "sketching" from synthe... 详细信息
来源: 评论
The spreadsheet paradigm: A basis for powerful and accessible programming
The spreadsheet paradigm: A basis for powerful and accessibl...
收藏 引用
acm sigplan International conference on Systems, programming, languages and Applications: Software for Humanity, SPLASH 2015
作者: Miller, Gary University of Technology Sydney Australia
This paper takes a cognition-centric approach for programming languages. It promotes the spreadsheet paradigm, with two concrete goals. First, it calls for the design and implementation of several language features to... 详细信息
来源: 评论
Synthesizing Racy Tests  15
Synthesizing Racy Tests
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Samak, Malavika Ramanathan, Murali Krishna Jagannathan, Suresh Indian Inst Sci Bangalore 560012 Karnataka India Purdue Univ W Lafayette IN 47907 USA
Subtle concurrency errors in multithreaded libraries that arise because of incorrect or inadequate synchronization are often difficult to pinpoint precisely using only static techniques. On the other hand, the effecti... 详细信息
来源: 评论
Lightweight, Flexible Object-Oriented Generics  15
Lightweight, Flexible Object-Oriented Generics
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Zhang, Yizhou Loring, Matthew C. Salvaneschi, Guido Liskov, Barbara Myers, Andrew C. Cornell Univ Ithaca NY 14853 USA Tech Univ Darmstadt Darmstadt Germany MIT Cambridge MA 02139 USA
The support for generic programming in modern object-oriented programming languages is awkward and lacks desirable expressive power. We introduce an expressive genericity mechanism that adds expressive power and stren... 详细信息
来源: 评论