咨询与建议

限定检索结果

文献类型

  • 1,078 篇 会议
  • 132 篇 期刊文献

馆藏范围

  • 1,210 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,046 篇 工学
    • 982 篇 软件工程
    • 752 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 42 篇 电气工程
    • 32 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 冶金工程
    • 2 篇 农业工程
  • 126 篇 理学
    • 106 篇 数学
    • 12 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 5 篇 生物学
    • 4 篇 化学
  • 81 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 36 篇 图书情报与档案管...
    • 26 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 100 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 39 篇 verification
  • 35 篇 java programming...
  • 34 篇 reliability
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 univ washington ...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 univ penn philad...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 stanford univ st...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 8 篇 microsoft res re...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 chlipala adam
  • 8 篇 shao zhong
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 8 篇 gulwani sumit
  • 8 篇 sarkar vivek
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 6 篇 wang xinyu
  • 6 篇 hendren laurie
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav

语言

  • 1,132 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation"
1210 条 记 录,以下是101-110 订阅
排序:
The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction
The design, implementation, and evaluation of a compiler alg...
收藏 引用
conference on programming language design and implementation
作者: Hsu, CH Kremer, U Rutgers State Univ Dept Comp Sci Piscataway NJ 08855 USA
This paper presents the design and implementation of a compiler algorithm that effectively optimizes programs for energy usage using dynamic voltage scaling (DVS). The algorithm identifies program regions where the CP... 详细信息
来源: 评论
PADS: A domain-specific language for processing ad hoc data
PADS: A domain-specific language for processing ad hoc data
收藏 引用
conference on programming language design and implementation
作者: Fisher, K Gruber, R AT&T Labs Res Florham Pk NJ 07932 USA Google Mountain View CA USA
PADS is a declarative data description language that allows data analysts to describe both the physical layout of ad hoc data sources and semantic properties of that data. From such descriptions, the PADS compiler gen... 详细信息
来源: 评论
From Datalog to FLIX: A Declarative language for Fixed Points on Lattices  16
From Datalog to FLIX: A Declarative Language for Fixed Point...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Madsen, Magnus Yee, Ming-Ho Lhotak, Ondrej Univ Waterloo Waterloo ON N2L 3G1 Canada
We present FLIX, a declarative programming language for specifying and solving least fixed point problems, particularly static program analyses. FLIX is inspired by Datalog and extends it with lattices and monotone fu... 详细信息
来源: 评论
CONTEXT-INSENSITIVE ALIAS ANALYSIS RECONSIDERED  95
CONTEXT-INSENSITIVE ALIAS ANALYSIS RECONSIDERED
收藏 引用
acm sigplan 95 conference on programming language design and implementation
作者: RUF, E Microsoft Research One Microsoft Way Redmond WA
Recent work on alias analysis in the presence of pointers has concentrated on context-sensitive interprocedural analyses, which treat multiple calls to a single procedure independently rather than constructing a singl... 详细信息
来源: 评论
Bayonet: Probabilistic Inference for Networks  2018
Bayonet: Probabilistic Inference for Networks
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Gehr, Timon Misailovic, Sasa Tsankov, Petar Vanbever, Laurent Wiesmann, Pascal Vechev, Martin Swiss Fed Inst Technol Zurich Switzerland UIUC Champaign IL USA
Network operators often need to ensure that important probabilistic properties are met, such as that the probability of network congestion is below a certain threshold. Ensuring such properties is challenging and requ... 详细信息
来源: 评论
Practical program analysis using general purpose logic programming systems - a case study
Practical program analysis using general purpose logic progr...
收藏 引用
proceedings of the acm sigplan'96 conference on programming language design and implementation, PLDI
作者: Dawson, Steven Ramakrishnan, C.R. Warren, David S. SUNY at Stony Brook Stony Brook United States
Study shows that it is indeed possible to use declarative formulations in practical systems, when combined judiciously with the appropriate tools of evaluations. This paper describes the implementation of logical form... 详细信息
来源: 评论
language-Based Control and Mitigation of Timing Channels  12
Language-Based Control and Mitigation of Timing Channels
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Zhang, Danfeng Askarov, Aslan Myers, Andrew C. Cornell Univ Dept Comp Sci Ithaca NY 14853 USA Harvard Univ Sch Engn & Comp Sci Cambridge MA 02138 USA
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through external timing channels. By incorpora... 详细信息
来源: 评论
Karp: A language for NP Reductions  2022
Karp: A Language for NP Reductions
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Zhang, Chenhao Hartline, Jason D. Dimoulas, Christos Northwestern Univ Evanston IL 60208 USA
In CS theory courses, NP reductions are a notorious source of pain for students and instructors alike. Invariably, students use pen and paper to write down reductions that "work" in many but not all cases. W... 详细信息
来源: 评论
Renaissance: Benchmarking Suite for Parallel Applications on the JVM  2019
Renaissance: Benchmarking Suite for Parallel Applications on...
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Prokopec, Aleksandar Rosa, Andrea Leopoldseder, David Duboscq, Gilles Tuma, Petr Studener, Martin Bulej, Lubomir Zheng, Yudi Villazon, Alex Simon, Doug Wurthinger, Thomas Binder, Walter Oracle Labs Zurich Switzerland Univ Svizzera Italiana Lugano Switzerland Johannes Kepler Univ Linz Linz Austria Charles Univ Prague Prague Czech Republic Univ Privada Boliviana Colcapirhua Bolivia
Established benchmark suites for the Java Virtual Machine (JVM), such as DaCapo, ScalaBench, and SPECjvm2008, lack workloads that take advantage of the parallel programming abstractions and concurrency primitives offe... 详细信息
来源: 评论
A certified type-preserving compiler from lambda calculus to assembly language  07
A certified type-preserving compiler from lambda calculus to...
收藏 引用
conference on programming language design and implementation
作者: Chlipala, Adam Univ Calif Berkeley Berkeley CA 94720 USA
We present a certified compiler from the simply-typed lambda calculus to assembly language. The compiler is certified in the sense that it comes with a machine-checked proof of semantics preservation, performed with t... 详细信息
来源: 评论