咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是341-350 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
FaCT: A DSL for Timing-Sensitive Computation  2019
FaCT: A DSL for Timing-Sensitive Computation
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Cauligi, Sunjay Soeller, Gary Johannesmeyer, Brian Brown, Fraser Wahby, Riad S. Renner, John Gregoire, Benjamin Barthe, Gilles Jhala, Ranjit Stefan, Deian Univ Calif San Diego La Jolla CA 92093 USA INRIA Sophia Antipolis Biot France MPI Secur & Privacy Saarbrucken Germany IMDEA Software Inst Madrid Spain
Real-world cryptographic code is often written in a subset of C intended to execute in constant-time, thereby avoiding timing side channel vulnerabilities. This C subset eschews structured programming as we know it: i... 详细信息
来源: 评论
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... 详细信息
来源: 评论
The Atomos ∑ transactional programming language  06
The Atomos ∑ transactional programming language
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Carlstrom, Brian D. McDonald, Austen Chafi, Hassan Chung, Jaewoong Minh, Chi Cao Kozyrakis, Christos Olukotun, Kunle Computer Systems Laboratory Stanford University United States
Atomos is the first programming language with implicit transactions, strong atomicity, and a scalable multiprocessor implementation. Atomos is derived from Java, but replaces its synchronization and conditional waitin... 详细信息
来源: 评论
GUM: a portable parallel implementation of Haskell
GUM: a portable parallel implementation of Haskell
收藏 引用
Proceedings of the acm sigplan'96 conference on programming language design and implementation, PLDI
作者: Trinder, P.W. Hammond, K. Mattson Jr., J.S. Partridge, A.S. Jones, S.L.Peyton Glasgow Univ Glasgow United Kingdom
GUM is a portable, parallel implementation of the Haskell functional language. Despite sustained research interest in parallel functional programming, GUM is one of the first such systems to be made publicly available... 详细信息
来源: 评论
Forest: A language and Toolkit for programming with Filestores  11
Forest: A Language and Toolkit for Programming with Filestor...
收藏 引用
16th acm sigplan International conference on Functional programming (ICFP 11)
作者: Fisher, Kathleen Foster, Nate Walker, David Zhu, Kenny Q. Tufts Univ Medford MA 02155 USA
A filestore is a structured collection of data files housed in a conventional hierarchical file system. Many applications use filestores as a poor-man's database, and the correct execution of these applications re... 详细信息
来源: 评论
Supporting Speculative Parallelization in the Presence of Dynamic Data Structures  10
Supporting Speculative Parallelization in the Presence of Dy...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Tian, Chen Feng, Min Gupta, Rajiv Univ Calif Riverside CSE Dept Riverside CA 92521 USA
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative state from non-speculative state forms t... 详细信息
来源: 评论
Practical dependence testing  91
Practical dependence testing
收藏 引用
1991 acm sigplan 1991 conference on programming language design and implementation, PLDI 1991
作者: Goff, Gina Kennedy, Ken Tseng, Chau-Wen Department of Computer Science Rice University HoustonTX77251-1892 United States
Precise and efficient dependence tests are essential to the effectiveness of a parallelizing compiler. This paper proposes a dependence testing scheme based on classifying pairs of subscripted variable references. Exa... 详细信息
来源: 评论