咨询与建议

限定检索结果

文献类型

  • 264 篇 会议
  • 2 册 图书
  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 216 篇 工学
    • 209 篇 软件工程
    • 91 篇 计算机科学与技术...
    • 6 篇 电气工程
    • 3 篇 控制科学与工程
    • 2 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程
    • 1 篇 石油与天然气工程
    • 1 篇 生物工程
  • 7 篇 管理学
    • 4 篇 图书情报与档案管...
    • 3 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 6 篇 理学
    • 5 篇 数学
    • 1 篇 生物学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 49 篇 design
  • 39 篇 languages
  • 21 篇 performance
  • 14 篇 algorithms
  • 14 篇 probabilistic pr...
  • 14 篇 verification
  • 12 篇 object oriented ...
  • 11 篇 program synthesi...
  • 11 篇 functional progr...
  • 10 篇 reliability
  • 10 篇 programming lang...
  • 9 篇 concurrency
  • 8 篇 experimentation
  • 8 篇 type systems
  • 8 篇 domain-specific ...
  • 7 篇 java
  • 7 篇 theory
  • 6 篇 program analysis
  • 6 篇 optimization
  • 5 篇 compilers

机构

  • 8 篇 purdue univ w la...
  • 7 篇 carnegie mellon ...
  • 5 篇 harvard univ cam...
  • 5 篇 univ penn philad...
  • 5 篇 stanford univ st...
  • 4 篇 univ wisconsin m...
  • 4 篇 princeton univ p...
  • 4 篇 univ calif davis...
  • 4 篇 northeastern uni...
  • 4 篇 cornell univ ith...
  • 4 篇 univ washington ...
  • 3 篇 microsoft res re...
  • 3 篇 swiss fed inst t...
  • 3 篇 mit cambridge ma...
  • 3 篇 yale univ new ha...
  • 3 篇 rice univ housto...
  • 3 篇 univ calif berke...
  • 3 篇 univ texas austi...
  • 2 篇 microsoft corp r...
  • 2 篇 oracle labs pots...

作者

  • 5 篇 foster nate
  • 5 篇 gulwani sumit
  • 5 篇 walker david
  • 4 篇 dillig isil
  • 3 篇 huang jeff
  • 3 篇 vechev martin
  • 3 篇 shao zhong
  • 3 篇 su zhendong
  • 3 篇 chaudhuri swarat
  • 3 篇 myers andrew c.
  • 3 篇 zhang xiangyu
  • 3 篇 mansinghka vikas...
  • 2 篇 hirschfeld rober...
  • 2 篇 flatt matthew
  • 2 篇 gupta gagan
  • 2 篇 shull thomas
  • 2 篇 yahav eran
  • 2 篇 rajamani sriram
  • 2 篇 niephaus fabio
  • 2 篇 choi jiho

语言

  • 266 篇 英文
  • 2 篇 中文
检索条件"任意字段=Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation"
268 条 记 录,以下是261-270 订阅
排序:
Look up!: your future is in the cloud  13
Look up!: your future is in the cloud
收藏 引用
proceedings of the 34th acm sigplan conference on programming language design and implementation
作者: James R. Larus Microsoft Research Redmond WA USA
the "Cloud" is a wonderfully expansive phrase used to denote computation and data storage centralized in a large datacenter and elastically accessed across a network. the concept is not new; web sites and bu... 详细信息
来源: 评论
Adding trace matching with free variables to AspectJ  05
Adding trace matching with free variables to AspectJ
收藏 引用
proceedings of the 20th annual acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Chris Allan Pavel Avgustinov Aske Simon Christensen Laurie Hendren Sascha Kuzins Ondřej Lhoták Oege de Moor Damien Sereni Ganesh Sittampalam Julian Tibble University of Oxford United Kingdom University of Aarhus Denmark McGill University Montreal Canada
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspect can make are confined to the current... 详细信息
来源: 评论
language support for lightweight transactions  03
Language support for lightweight transactions
收藏 引用
proceedings of the 18th annual acm sigplan conference on Object-oriented programing, systems, languages, and applications
作者: Tim Harris Keir Fraser University of Cambridge Computer Laboratory Cambridge UK
Concurrent programming is notoriously difficult. Current abstractions are intricate and make it hard to design computer systems that are reliable and scalable. We argue that these problems can be addressed by moving t... 详细信息
来源: 评论
Incrementalization across object abstraction  05
Incrementalization across object abstraction
收藏 引用
proceedings of the 20th annual acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Yanhong A. Liu Scott D. Stoller Michael Gorbovitski Tom Rothamel Yanni Ellen Liu State University of New York at Stony Brook Stony Brook NY University of Manitoba Winnipeg MB Canada
Object abstraction supports the separation of what operations are provided by systems and components from how the operations are implemented, and is essential in enabling the construction of complex systems from compo... 详细信息
来源: 评论
Lightweight object-oriented shared variables for distributed applications on the Internet  98
Lightweight object-oriented shared variables for distributed...
收藏 引用
proceedings of the 13th acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Jacob Harris Vivek Sarkar Massachusetts Institute of Technology IBM T. J. Watson Research Center
this paper describes a lightweight yet powerful approach for writing distributed applications using shared variables. Our approach, called SHAREHOLDER, is inspired by the flexible and intuitive model of information ac... 详细信息
来源: 评论
Featherweight Java: a minimal core calculus for Java and GJ  99
Featherweight Java: a minimal core calculus for Java and GJ
收藏 引用
proceedings of the 14th acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Atshushi Igarashi Benjamin Pierce Philip Wadler Dept. of Comp. & Info. Sci. University of Pennsylvania Bell Laboratories Lucent Technologies
Several recent studies have introduced lightweight versions of Java: reduced languages in which complex features like threads and reflection are dropped to enable rigorous arguments about key properties such as type s... 详细信息
来源: 评论
Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines  13
Halide: a language and compiler for optimizing parallelism, ...
收藏 引用
proceedings of the 34th acm sigplan conference on programming language design and implementation
作者: Jonathan Ragan-Kelley Connelly Barnes Andrew Adams Sylvain Paris Frédo Durand Saman Amarasinghe Massachusetts Institute of Technology Cambridge MA USA Adobe Cambridge MA USA
Image processing pipelines combine the challenges of stencil computations and stream programs. they are composed of large graphs of different stencil stages, as well as complex reductions, and stages with global or da... 详细信息
来源: 评论
Finding application errors and security flaws using PQL: a program query language  05
Finding application errors and security flaws using PQL: a p...
收藏 引用
proceedings of the 20th annual acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Michael Martin Benjamin Livshits Monica S. Lam Stanford University
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with sequences of events asso-ciated with a ... 详细信息
来源: 评论