咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是41-50 订阅
排序:
GraalSqueak Toward a Smalltalk-Based Tooling Platform for Polyglot programming  16
GraalSqueak Toward a Smalltalk-Based Tooling Platform for Po...
收藏 引用
16th acm sigplan International conference on Managed programming languages and Runtimes (MPLR)
作者: Niephaus, Fabio Felgentreff, Tim Hirschfeld, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany Oracle Labs Potsdam Germany
Polyglot programming provides software developers with a broader choice in terms of software libraries and frameworks available for building applications. Previous research and engineering activities have focused on l... 详细信息
来源: 评论
Asynchronous programming, analysis and testing with state machines  15
Asynchronous programming, analysis and testing with state ma...
收藏 引用
proceedings of the 36th acm sigplan conference on programming language design and implementation
作者: Deligiannis, Pantazis Donaldson, Alastair F. Ketema, Jeroen Lal, Akash thomson, Paul Imperial College London United Kingdom Microsoft Research India
programming efficient asynchronous systems is challenging because it can often be hard to express the design declaratively, or to defend against data races and interleaving-dependent assertion violations. Previous wor... 详细信息
来源: 评论
the design and implementation of Typed Scheme
The Design and Implementation of Typed Scheme
收藏 引用
35th acm-sigplan-SIGACT Symposium on Principles of programming languages
作者: Tobin-Hochstadt, Sam Felleisen, Matthias Northeastern Univ PLT Boston MA 02115 USA
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)discover critical pieces of design informa... 详细信息
来源: 评论
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... 详细信息
来源: 评论
the Bedrock Structured programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier  13
The Bedrock Structured Programming System Combining Generati...
收藏 引用
18th acm sigplan International conference on Functional programming
作者: Chlipala, Adam MIT CSAIL Cambridge MA USA
We report on the design and implementation of an extensible programming language and its intrinsic support for formal verification. Our language is targeted at low-level programming of infrastructure like operating sy... 详细信息
来源: 评论
Search, Align, and Repair: Data-Driven Feedback Generation for Introductory programming Exercises  2018
Search, Align, and Repair: Data-Driven Feedback Generation f...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Wang, Ke Singh, Rishabh Su, Zhendong Univ Calif Davis Davis CA 95616 USA Microsoft Res Redmond WA USA
this paper introduces the "Search, Align, and Repair" data-driven program repair framework to automate feedback generation for introductory programming exercises. Distinct from existing techniques, our goal ... 详细信息
来源: 评论
ProSE: the Architecture and design of a Protein Discovery Engine  27
ProSE: The Architecture and Design of a Protein Discovery En...
收藏 引用
27th acm International conference on Architectural Support for programming languages and Operating Systems (ASPLOS)
作者: Robson, Eyes Xu, Ceyu Wills, Lisa Wu Univ Calif Berkeley Berkeley CA 94720 USA Duke Univ Durham NC USA
Protein language models have enabled breakthrough approaches to protein structure prediction, function annotation, and drug discovery. A primary limitation to the widespread adoption of these powerful models is the hi... 详细信息
来源: 评论
Characterising Renaming within OCaml's Module System: theory and implementation  2019
Characterising Renaming within OCaml's Module System: Theory...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Rowe, Reuben N. S. Feree, Hugo thompson, Simon J. Owens, Scott Univ Kent Sch Comp Canterbury Kent England
We present an abstract, set-theoretic denotational semantics for a significant subset of OCaml and its module system, allowing to reason about the correctness of renaming value bindings. Our semantics captures informa... 详细信息
来源: 评论
BatakJava: An Object-Oriented programming language with Versions  15
BatakJava: An Object-Oriented Programming Language with Vers...
收藏 引用
15th International conference on Software language Engineering (SLE)
作者: Lubis, Luthfan Anshar Tanabe, Yudai Aotani, Tomoyuki Masuhara, Hidehiko Tokyo Inst Technol Tokyo Japan Mamezou Co Ltd Tokyo Japan
programming with versions is a recent proposal that supports multiple versions of software components in a program. though it would provide greater freedom for the programmer, the concept is only realized as a simple ... 详细信息
来源: 评论
Scrapping your Inefficient Engine: Using Partial Evaluation to Improve Domain-Specific language implementation  10
Scrapping your Inefficient Engine: Using Partial Evaluation ...
收藏 引用
15th acm sigplan International conference on Functional programming
作者: Brady, Edwin C. Hammond, Kevin Univ St Andrews Sch Comp Sci St Andrews Fife Scotland
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effective and, unusually, easy to use techn... 详细信息
来源: 评论