咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是71-80 订阅
排序:
RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms  2017
RaTrace: Simple and Efficient Abstractions for BVH Ray Trave...
收藏 引用
16th acm sigplan International conference on Generative programming - Concepts and Experiences (GPCE) co-located with SPLASH conference
作者: Perard-Gayot, Arsene Weier, Martin Membarth, Richard Slusallek, Philipp Leissa, Roland Hack, Sebastian Saarland Univ Comp Graph Lab Saarbrucken Germany Bonn Rhein Sieg Univ Inst Visual Comp St Augustin Germany DFKI Agents & Simulated Real Saarbrucken Germany Saarland Univ Compiler Design Lab Saarbrucken Germany
In order to achieve the highest possible performance, the ray traversal and intersection routines at the core of every high-performance ray tracer are usually hand-coded, heavily optimized, and implemented separately ... 详细信息
来源: 评论
Composable and compilable macros -: You want it when?
Composable and compilable macros -: You want it <i>when</i>?
收藏 引用
7th International conference on Functional programming
作者: Flatt, M Univ Utah Salt Lake City UT 84112 USA
Many macro systems, especially for Lisp and Scheme, allow macro transformers to perform general computation. Moreover, the language for implementing compile-time macro transformers is usually the same as the language ... 详细信息
来源: 评论
Dynamic Enforcement of Determinism in a Parallel Scripting language  14
Dynamic Enforcement of Determinism in a Parallel Scripting L...
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Lu, Li Ji, Weixing Scott, Michael L. Univ Rochester Rochester NY 14627 USA Beijing Inst Technol Beijing Peoples R China
Determinism is an appealing property for parallel programs, as it simplifies understanding, reasoning and debugging. It is particularly appealing in dynamic (scripting) languages, where ease of programming is a domina... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A General Constraint-centric Scheduling Framework for Spatial Architectures
A General Constraint-centric Scheduling Framework for Spatia...
收藏 引用
34th acm sigplan conference on programming language design and implementation (PLDI)
作者: Nowatzki, Tony Sartin-Tarm, Michael De Carli, Lorenzo Sankaralingam, Karthikeyan Estan, Cristian Robatmili, Behnam Univ Wisconsin Madison WI 53706 USA
Specialized execution using spatial architectures provides energy efficient computation, but requires effective algorithms for spatially scheduling the computation. Generally, this has been solved with architecture-sp... 详细信息
来源: 评论
Automated Clustering and Program Repair for Introductory programming Assignments  2018
Automated Clustering and Program Repair for Introductory Pro...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Gulwani, Sumit Radicek, Ivan Zuleger, Florian Microsoft Corp Redmond WA 98052 USA TU Wien Vienna Austria
Providing feedback on programming assignments is a tedious task for the instructor, and even impossible in large Massive Open Online Courses with thousands of students. Previous research has suggested that program rep... 详细信息
来源: 评论
JavaGI in the Battlefield: Practical Experience with Generalized Interfaces  09
JavaGI in the Battlefield: Practical Experience with General...
收藏 引用
8th International conference on Generative programming and Component Engineering
作者: Wehr, Stefan thiemann, Peter Univ Freiburg D-7800 Freiburg Germany
Generalized interfaces are an extension of the interface concept found in object-oriented languages such as Java or C#. the extension is inspired by Haskell's type classes. It supports retroactive and type-conditi... 详细信息
来源: 评论
Programmable Semantic Fragments the design and implementation of typy  2016
Programmable Semantic Fragments The Design and Implementatio...
收藏 引用
15th acm International conference on Generative programming - Concepts and Experiences (GPCE)
作者: Omar, Cyrus Aldrich, Jonathan Carnegie Mellon Univ Pittsburgh PA 15213 USA
this paper introduces typy, a statically typed programming language embedded by reflection into Python. typy features a fragmentary semantics, i.e. it delegates semantic control over each term, drawn from Python's... 详细信息
来源: 评论
FAST: a Transducer-Based language for Tree Manipulation  14
FAST: a Transducer-Based Language for Tree Manipulation
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: D'Antoni, Loris Veanes, Margus Livshits, Benjamin Molnar, David Univ Penn Philadelphia PA 19104 USA
Tree automata and tree transducers are used in a wide range of applications in software engineering, from XML processing to language type-checking. While these formalisms are of immense practical use, they can only mo... 详细信息
来源: 评论
FlashExtract: A Framework for Data Extraction by Examples  14
FlashExtract: A Framework for Data Extraction by Examples
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Le, Vu Gulwani, Sumit Univ Calif Davis Davis CA 95616 USA Microsoft Res Redmond Redmond WA USA
Various document types that combine model and view (e. g., text files, webpages, spreadsheets) make it easy to organize (possibly hierarchical) data, but make it difficult to extract raw data for any further manipulat... 详细信息
来源: 评论