咨询与建议

限定检索结果

文献类型

  • 278 篇 会议
  • 40 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 274 篇 工学
    • 267 篇 软件工程
    • 140 篇 计算机科学与技术...
    • 7 篇 电气工程
    • 3 篇 生物工程
    • 2 篇 信息与通信工程
    • 2 篇 控制科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 化学工程与技术
    • 1 篇 纺织科学与工程
    • 1 篇 生物医学工程(可授...
  • 10 篇 理学
    • 8 篇 数学
    • 1 篇 化学
    • 1 篇 地质学
    • 1 篇 生物学
  • 6 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 3 篇 图书情报与档案管...
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 80 篇 design
  • 73 篇 languages
  • 32 篇 performance
  • 17 篇 verification
  • 16 篇 algorithms
  • 14 篇 reliability
  • 14 篇 probabilistic pr...
  • 13 篇 object oriented ...
  • 13 篇 program synthesi...
  • 13 篇 domain-specific ...
  • 13 篇 functional progr...
  • 11 篇 java
  • 10 篇 experimentation
  • 10 篇 programming lang...
  • 9 篇 type systems
  • 9 篇 theory
  • 9 篇 concurrency
  • 7 篇 compilers
  • 7 篇 optimization
  • 6 篇 modules

机构

  • 9 篇 carnegie mellon ...
  • 8 篇 purdue univ w la...
  • 6 篇 princeton univ p...
  • 5 篇 northeastern uni...
  • 5 篇 yale univ new ha...
  • 5 篇 harvard univ cam...
  • 5 篇 cornell univ ith...
  • 5 篇 univ washington ...
  • 5 篇 univ calif berke...
  • 4 篇 univ wisconsin m...
  • 4 篇 univ calif davis...
  • 4 篇 univ utah salt l...
  • 4 篇 univ penn philad...
  • 4 篇 rice univ housto...
  • 4 篇 univ chicago il ...
  • 4 篇 stanford univ st...
  • 4 篇 univ texas austi...
  • 3 篇 mit csail cambri...
  • 3 篇 univ cambridge c...
  • 3 篇 microsoft res re...

作者

  • 7 篇 walker david
  • 6 篇 foster nate
  • 5 篇 shao zhong
  • 5 篇 gulwani sumit
  • 5 篇 dillig isil
  • 4 篇 rainey mike
  • 4 篇 gu ronghui
  • 4 篇 rompf tiark
  • 4 篇 solar-lezama arm...
  • 4 篇 chaudhuri swarat
  • 4 篇 myers andrew c.
  • 4 篇 wansbrough keith
  • 3 篇 hirschfeld rober...
  • 3 篇 flatt matthew
  • 3 篇 rajamani sriram
  • 3 篇 seshia sanjit a.
  • 3 篇 rajan hridesh
  • 3 篇 huang jeff
  • 3 篇 liu yu david
  • 3 篇 vechev martin

语言

  • 283 篇 英文
  • 34 篇 其他
  • 1 篇 中文
检索条件"任意字段=37th ACM SIGPLAN Conference on Programming Language Design and Implementation"
318 条 记 录,以下是241-250 订阅
排序:
Idiomatic design
Idiomatic design
收藏 引用
10th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1995
作者: Koenig, Andrew AT and T Bell Laboratories Murray HillNJ07974 United States
Every problem has a context, which can include l community and culture implementation constraints language and system and probably other things too. A good design will take its context into account. If the culture dem... 详细信息
来源: 评论
GreenWeb: language Extensions for Energy-Efficient Mobile Web Computing
收藏 引用
acm sigplan NOTICES 2016年 第6期51卷 145-160页
作者: Zhu, Yuhao Reddi, Vijay Janapa Univ Texas Austin Dept Elect & Comp Engn Austin TX 78712 USA
Web computing is gradually shifting toward mobile devices, in which the energy budget is severely constrained. As a result, Web developers must be conscious of energy efficiency. However, current Web languages provide... 详细信息
来源: 评论
Event-Driven Network programming
收藏 引用
acm sigplan NOTICES 2016年 第6期51卷 369-385页
作者: McClurg, Jedidiah Hojjat, Hossein Foster, Nate Cerny, Pavol CU Boulder Boulder CO 80309 USA Cornell Univ Ithaca NY 14853 USA
Software-defined networking (SDN) programs must simultaneously describe static forwarding behavior and dynamic updates in response to events. Event-driven updates are critical to get right, but difficult to implement ... 详细信息
来源: 评论
Composable attribute grammars: Support for modularity in translator design and implementation
Composable attribute grammars: Support for modularity in tra...
收藏 引用
19th Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'92
作者: Farrow, R. Marlowe, T.J. Yellin, D.M. Declarative Systems Inc
this paper introduces Composable Attribute Grammars (CAGs), a formalism that extends classical attribute grammars to allow for the modular composition of translation specifications and of translators. CAGs bring to co... 详细信息
来源: 评论
A Distributed OpenCL Framework using Redundant Computation and Data Replication
收藏 引用
acm sigplan NOTICES 2016年 第6期51卷 553-569页
作者: Kim, Junghyun Jo, Gangwon Jung, Jaehoon Kim, Jungwon Lee, Jaejin Seoul Natl Univ Ctr Manycore Programming Dept Comp Sci & Engn Seoul 08826 South Korea
Applications written solely in OpenCL or CUDA cannot execute on a cluster as a whole. Most previous approaches that extend these programming models to clusters are based on a common idea: designating a centralized hos... 详细信息
来源: 评论
A practical type system and language for reference immutability  04
A practical type system and language for reference immutabil...
收藏 引用
19th Annual acm conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA'04
作者: Birka, Adrian Ernst, Michael D. MIT Comp. Sci./Artif. Intell. Lab. Cambridge MA 02139 United States
this paper describes a type system that is capable of expressing and enforcing immutability constraints. the specific constraint expressed is that the abstract state of the object to which an immutable reference refer... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Acute: High-level programming language design for distributed computation
收藏 引用
JOURNAL OF FUNCTIONAL programming 2007年 第4-5期17卷 547-612页
作者: Sewell, Peter Leifer, James J. Wansbrough, Keith Nardelli, Francesco Zappa Allen-Williams, Mair Habouzit, Pierre Vafeiadis, Viktor Univ Cambridge Cambridge England INRIA Rocquencourt Le Chesnay France
Existing languages provide good support for typeful programming of stand-alone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (b... 详细信息
来源: 评论
design principles for internal domain-specific languages: A pattern catalog illustrated by Ruby  10
Design principles for internal domain-specific languages: A ...
收藏 引用
17th conference on Pattern languages of Programs, PLoP 2010
作者: Günther, Sebastian Cleenewerck, thomas School of Computer Science University of Magdeburg Germany Software Language Engineering Lab Vrije Universiteit Brussel Belgium Universitätsplatz 2 D-39106 Magdeburg Germany Vrije Universiteit Brussel Faculty of Sciences DINF - SOFT Pleinlaan 2 B-1050 Brussels Belgium
Some programming languages, especially dynamic programming languages, offer suitable mechanisms for the construction of internal domain-specific languages (DSL). Internal DSLs inherit the facilities of their host lang... 详细信息
来源: 评论
Toward Just-in-Time and language-Agnostic Mutation Testing  22
Toward Just-in-Time and Language-Agnostic Mutation Testing
收藏 引用
6th International conference on the Art, Science, and Engineering of programming (programming)
作者: Reschke, Stefan Mattis, Toni Niephaus, Fabio Hirschfeld, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany Oracle Labs Potsdam Germany
Mutation Testing is a popular approach to determine the quality of a suite of unit tests. It is based on the idea that introducing faults into a system under test (SUT) should cause tests to fail, otherwise, the test ... 详细信息
来源: 评论