咨询与建议

限定检索结果

文献类型

  • 1,152 篇 会议
  • 135 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,112 篇 工学
    • 1,037 篇 软件工程
    • 800 篇 计算机科学与技术...
    • 48 篇 控制科学与工程
    • 43 篇 电气工程
    • 36 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 6 篇 安全科学与工程
    • 5 篇 建筑学
    • 5 篇 土木工程
    • 5 篇 航空宇航科学与技...
    • 5 篇 生物工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 化学工程与技术
    • 2 篇 力学(可授工学、理...
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 141 篇 理学
    • 117 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 89 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 15 篇 教育学
    • 15 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 180 篇 design
  • 167 篇 languages
  • 103 篇 computer program...
  • 99 篇 performance
  • 59 篇 algorithms
  • 49 篇 object oriented ...
  • 49 篇 computer program...
  • 45 篇 experimentation
  • 45 篇 java programming...
  • 39 篇 verification
  • 35 篇 reliability
  • 34 篇 java
  • 32 篇 functional progr...
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 software design
  • 21 篇 theory
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 18 篇 type systems

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 12 篇 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 篇 microsoft res re...
  • 9 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 9 篇 microsoft resear...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...

作者

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

语言

  • 1,205 篇 英文
  • 81 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation"
1287 条 记 录,以下是541-550 订阅
排序:
Type-based alias analysis  98
Type-based alias analysis
收藏 引用
proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, PLDI
作者: Diwan, Amer McKinley, Kathryn S. Moss, J.Eliot B. Stanford Univ Stanford CA United States
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by using additional high-level information s... 详细信息
来源: 评论
Multiprocessor smalltalk: A case study of a multiprocessor-based programming environment  88
Multiprocessor smalltalk: A case study of a multiprocessor-b...
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Pallas, Joseph Ungar, David Computer Systems Laboratory Stanford University StanfordCA94305 United States
We have adapted an interactive programming system (Smalltalk) to a multiprocessor (the Firefly). The task was not as difficult as might be expected, thanks to the application of three basic strategies: serialization, ... 详细信息
来源: 评论
GYPSY: A language for specification and implementation of verifiable programs
GYPSY: A language for specification and implementation of ve...
收藏 引用
acm conference on language design for Reliable Software 1977
作者: Ambler, Allen L. Good, Donald I. Browne, James C. Burger, Wilhelm F. Cohen, Richard M. Hoch, Charles G. Wells, Robert E. Amdahl Corporation United States University of Texas at Austin United States
An introduction to the Gypsy programming and specification language is given. Gypsy is a high-level programming language with facilities for general programming and also for systems programming that is oriented toward... 详细信息
来源: 评论
A region-based compilation technique for dynamic compilers
收藏 引用
acm TRANSACTIONS ON programming languageS AND SYSTEMS 2006年 第1期28卷 134-174页
作者: Suganuma, T Yasue, T Nakatani, T IBM Japan Ltd Tokyo Res Lab Yamato 2428502 Japan
Method inlining and data flow analysis are two major optimization components for effective program transformations, but they often suffer from the existence of rarely or never executed code contained in the target met... 详细信息
来源: 评论
A different kind of programming languages course
A different kind of programming languages course
收藏 引用
OOPSLA 2009 Companion - 24th Annual acm conference on Object-Oriented programming, Systems, languages and Applications, OOPSLA 2009
作者: Yeager, Dorian P. Grove City College Grove City PA United States
The complexity of the well-explored regions of the programming language design space has increased substantially in the last twenty-five years with the addition of a large number of object-oriented programming languag... 详细信息
来源: 评论
A formal concurrency model based architecture description language for synthesis of software development tools  04
A formal concurrency model based architecture description la...
收藏 引用
conference on languages, Compilers and Tools for Embedded Systems
作者: Qin, W Rajagopalan, S Malik, S Princeton Univ Dept Elect Engn Princeton NJ 08544 USA
Rapidly increasing design and manufacturing non-recurring engineering (NRE) costs are prompting a shift in electronic design from hardwired application specific integrated circuits (ASICs) to the use of software on pr... 详细信息
来源: 评论
SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores  2018
SWOOP: Software-Hardware Co-design for Non-speculative, Exec...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Tran, Kim-Anh Jimborean, Alexandra Carlson, Trevor E. Koukos, Konstantinos Sjalander, Magnus Kaxiras, Stefanos Uppsala Univ Uppsala Sweden Natl Univ Singapore Singapore Singapore Norwegian Univ Sci & Technol NTNU Trondheim Norway
Increasing demands for energy eiciency constrain emerging hardware. These new hardware trends challenge the established assumptions in code generation and force us to rethink existing software optimization techniques.... 详细信息
来源: 评论
A Lightweight Polyglot Code Transformation language
收藏 引用
proceedings OF THE acm ON programming languageS-PacmPL 2024年 第PLDI期8卷 1288-1312页
作者: Ketkar, Ameya Ramos, Daniel Clapp, Lazaro Barik, Raj Ramanathan, Murali Krishna Gitar Inc San Mateo CA 94403 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Lisbon INESC ID IST Lisbon Portugal Amazon Web Serv Santa Clara CA USA Uber Technol Inc San Francisco CA USA
In today's software industry, large-scale, multi-language codebases are the norm. This brings substantial challenges in developing automated tools for code maintenance tasks such as API migration or dead code clea... 详细信息
来源: 评论
Prefetch injection based on hardware monitoring and object metadata
Prefetch injection based on hardware monitoring and object m...
收藏 引用
proceedings of the 2004 acm sigplan conference on programming language design and implementation (PLDI'04)
作者: Adl-Tabatabai, Ali-Reza Hudson, Richard L. Serrano, Mauricio J. Subramoney, Sreenivas Programming Systems Laboratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA United States
Cache miss stalls hurt performance because of the large gap between memory and processor speeds - for example, the popular server benchmark SPEC JBB2000 spends 45% of its cycles stalled waiting for memory requests on ... 详细信息
来源: 评论
How to invent distributed implementation schemes of an object-based concurrent language - A transformational approach  88
How to invent distributed implementation schemes of an objec...
收藏 引用
1988 conference on Object-Oriented programming Systems, languages and Applications, OOPSLA 1988
作者: Shibayama, Etsuya Department of Information Science Tokyo Institute of Technology Oh-Okayama Meguro-ku Tokyo152 Japan
A design and verification technique for implementation schemes of distributed software is presented. In this technique, first, the specification is modelled by a concurrent object system, that is, one which is constit... 详细信息
来源: 评论