咨询与建议

限定检索结果

文献类型

  • 238 篇 会议
  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 196 篇 工学
    • 191 篇 软件工程
    • 79 篇 计算机科学与技术...
    • 6 篇 电气工程
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 控制科学与工程
    • 1 篇 生物工程
  • 6 篇 理学
    • 5 篇 数学
    • 1 篇 生物学
    • 1 篇 系统科学
  • 2 篇 教育学
    • 2 篇 教育学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...

主题

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

机构

  • 8 篇 purdue univ w la...
  • 7 篇 carnegie mellon ...
  • 5 篇 harvard univ cam...
  • 4 篇 univ wisconsin m...
  • 4 篇 princeton univ p...
  • 4 篇 univ calif davis...
  • 4 篇 northeastern uni...
  • 4 篇 cornell univ ith...
  • 4 篇 univ penn philad...
  • 4 篇 stanford univ st...
  • 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 篇 shao zhong
  • 4 篇 dillig isil
  • 3 篇 huang jeff
  • 3 篇 vechev martin
  • 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

语言

  • 240 篇 英文
  • 1 篇 中文
检索条件"任意字段=Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation"
241 条 记 录,以下是71-80 订阅
排序:
Program Synthesis from Polymorphic Refinement Types  16
Program Synthesis from Polymorphic Refinement Types
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Polikarpova, Nadia Kuraj, Ivan Solar-Lezama, Armando MIT CSAIL Cambridge MA USA
We present a method for synthesizing recursive functions that provably satisfy a given specification in the form of a polymorphic refinement type. We observe that such specifications are particularly suitable for prog... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Experience Report: seL4 Formally Verifying a High-Performance Microkernel
Experience Report: seL4 Formally Verifying a High-Performanc...
收藏 引用
14th acm sigplan International conference on Functional programming
作者: Klein, Gerwin Derrin, Philip Elphinstone, Kevin NICTA University of NSW Australia NICTA Australia
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. the verification connects an abstract operational specification in the theorem prov... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论