咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Once upon a polymorphic type
Conference Record of the Annual ACM Symposium on Principles ...
收藏 引用
conference Record of the Annual acm Symposium on Principles of programming languages 1999年 15-28页
作者: Wansbrough, Keith Jones, Simon Peyton Univ of Cambridge Cambridge United Kingdom
We present a sound type-based `usage analysis' for a realistic lazy functional language. Accurate information on the usage of program subexpressions in a lazy functional language permits a compiler to perform a nu... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A Lightweight Symbolic Virtual Machine for Solver-Aided Host languages  14
A Lightweight Symbolic Virtual Machine for Solver-Aided Host...
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Torlak, Emina Bodik, Rastislav Univ Calif Berkeley Berkeley CA 94608 USA
Solver-aided domain-specific languages (SDSLs) are an emerging class of computer-aided programming systems. they ease the construction of programs by using satisfiability solvers to automate tasks such as verification... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A Domain-Specific language for Exploratory Data Visualization  2018
A Domain-Specific Language for Exploratory Data Visualizatio...
收藏 引用
17th acm sigplan International conference on Generative programming - Concepts and Experiences (GPCE) part of the SPLASH Collection of conferences and Workshops
作者: Smeltzer, Karl Erwig, Martin Oregon State Univ Corvallis OR 97331 USA
With an ever-growing amount of collected data, the importance of visualization as an analysis component is growing in concert. the creation of good visualizations often doesn't happen in one step but is rather an ... 详细信息
来源: 评论
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... 详细信息
来源: 评论