咨询与建议

限定检索结果

文献类型

  • 800 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 823 篇 工学
    • 807 篇 软件工程
    • 547 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 光学工程
    • 1 篇 冶金工程
    • 1 篇 动力工程及工程热...
    • 1 篇 土木工程
    • 1 篇 纺织科学与工程
  • 102 篇 理学
    • 88 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 53 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 21 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 166 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 74 篇 computer program...
  • 56 篇 algorithms
  • 45 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 36 篇 reliability
  • 34 篇 object oriented ...
  • 27 篇 java programming...
  • 26 篇 functional progr...
  • 25 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 19 篇 concurrency
  • 17 篇 compilers
  • 17 篇 type systems

机构

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

作者

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

语言

  • 852 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 95 Conference on Programming Language Design and Implementation"
931 条 记 录,以下是191-200 订阅
排序:
CEAL: A C-Based language for Self-Adjusting Computation  09
CEAL: A C-Based Language for Self-Adjusting Computation
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Hammer, Matthew A. Acar, Umut A. Chen, Yan Toyota Technol Inst Chicago Chicago IL USA
Self-adjusting computation offers a language-centric approach to writing programs that can automatically respond to modifications to their data (e.g., inputs). Except for several domain-specific implementations, howev... 详细信息
来源: 评论
VeriML: Typed Computation of Logical Terms inside a language with Effects  10
VeriML: Typed Computation of Logical Terms inside a Language...
收藏 引用
15th acm sigplan International conference on Functional programming
作者: Stampoulis, Antonis Shao, Zhong Yale Univ Dept Comp Sci New Haven CT 06520 USA
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explicit machine-checkable proof objects. Un... 详细信息
来源: 评论
design, implementation and evaluation of the FNC-2 attribute grammar system  90
Design, implementation and evaluation of the FNC-2 attribute...
收藏 引用
Proceedings of the acm sigplan '90 conference on programming language design and implementation
作者: Jourdan, Martin Parigot, Didier Julie, Catherine Durin, Olivier Le Bellec, Carole INRIA Le Chesnay France
FNC-2 is a new attribute grammar processing system aiming at expressive power, efficiency, ease of use and versatility. Its development at INRIA started in 1986, and a first running prototype is available since early ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
GUESSTIMATE: A programming Model for Collaborative Distributed Systems  10
GUESSTIMATE: A Programming Model for Collaborative Distribut...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Rajan, Kaushik Rajamani, Sriram Yaduvanshi, Shashank Microsoft Research bangalore India Microsoft Research Bangalore India Indian Institute of Technology Delhi India
We present a new programming model GUESSTIMATE for developing collaborative distributed systems. The model allows atomic, isolated operations that transform a system from consistent state to consistent state, and prov... 详细信息
来源: 评论
Register promotion in C programs
Register promotion in C programs
收藏 引用
Proceedings of the 1997 acm SIGPLAM conference on programming language design and implementation, PLDI
作者: Cooper, Keith D. Lu, John Rice Univ Houston United States
The combination of pointers and pointer arithmetic in C makes the task of improving C programs somewhat more difficult than improving programs written in simpler languages like Fortran. While much work has been publis... 详细信息
来源: 评论
Fine-grain multithreading with minimal compiler support - A cost effective approach to implementing efficient multithreading languages
Fine-grain multithreading with minimal compiler support - A ...
收藏 引用
sigplan 97 conference on programming language design and implementation
作者: Taura, K Yonezawa, A Univ of Tokyo Tokyo Japan
It is difficult to map the execution model of multithreading languages (languages which support fine-grain dynamic thread creation) onto the single stack execution model of C. Consequently, previous work on efficient ... 详细信息
来源: 评论
Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths
Static Analysis for Probabilistic Programs: Inferring Whole ...
收藏 引用
34th acm sigplan conference on programming language design and implementation (PLDI)
作者: Sankaranarayanan, Sriram Chakarov, Aleksandar Gulwani, Sumit Univ Colorado Boulder CO 80309 USA Microsoft Res Redmond WA USA
We propose an approach for the static analysis of probabilistic programs that sense, manipulate, and control based on uncertain data. Examples include programs used in risk analysis, medical decision making and cyber-... 详细信息
来源: 评论
Reusable Inline Caching for JavaScript Performance  2019
Reusable Inline Caching for JavaScript Performance
收藏 引用
40th acm sigplan conference on programming language design and implementation (PLDI) part of acm's Federated Computing Research conference (FCRC)
作者: Choi, Jiho Shull, Thomas Torrellas, Josep Univ Illinois Champaign IL 61820 USA
JavaScript performance is paramount to a user's browsing experience. Browser vendors have gone to great lengths to improve JavaScript's steady-state performance. This has led to sophisticated web applications.... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论