咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是561-570 订阅
排序:
Hope: An experimental applicative language  80
Hope: An experimental applicative language
收藏 引用
1980 acm conference on LISP and Functional programming, LFP 1980
作者: Burstall, R.M. MacQueen, D.B. Sannella, D.T. Department of Computer Science University of Edinburgh Edinburgh United Kingdom USC Information Sciences Institute Marina del ReyCA United States
An applicative language called HOPE is described and discussed. The underlying goal of the design and implementation effort was to produce a very simple programming language which encourages the construction of clear ...
来源: 评论
Efficient control flow quantification  06
Efficient control flow quantification
收藏 引用
21st Annual acm sigplan conference on Object-oriented programming Systems, languages, and Applications, OOPSLA 2006
作者: Bockisch, Christoph Kanthak, Sebastian Haupt, Michael Arnold, Matthew Mezini, Mira Software Technology Group Darmstadt University of Technology Germany Software Architecture Research Group Hasso Plattner Institute for Software Systems Engineering Potsdam Germany IBM T. J.Watson Research Center Yorktown Heights NY United States
Aspect-oriented programming (AOP) is increasingly gaining in popularity. However, the focus of aspect-oriented language research has been mostly on language design issues;efficient implementation techniques have been ... 详细信息
来源: 评论
GPCE 2016 - proceedings of the 2016 acm sigplan International conference on Generative programming: Concepts and Experiences, co-located with SPLASH 2016
GPCE 2016 - Proceedings of the 2016 ACM SIGPLAN Internationa...
收藏 引用
15th acm sigplan International conference on Generative programming: Concepts and Experiences, GPCE 2016
The proceedings contain 20 papers. The topics discussed include: Recaf: Java dialects as libraries;classless Java;extensible modeling with managed data in Java;actor profiling in virtual execution environments;bootstr...
来源: 评论
Shangri-La: Achieving high performance from compiled network applications while enabling ease of programming
Shangri-La: Achieving high performance from compiled network...
收藏 引用
2005 acm sigplan conference on programming language design and implementation, PLDI 05
作者: Chen, Michael K. Li, Xiao Feng Lian, Ruiqi Lin, Jason H. Liu, Lixia Liu, Tao Ju, Roy Microprocessor Technology Labs. Intel Corporation Santa Clara CA United States Intel China Research Center Ltd. Beijing China Institute of Computing Technology China Academy of Sciences Beijing China
programming network processors is challenging. To sustain high line rates, network processors have extremely tight memory access and instruction budgets. Achieving desired performance has traditionally required hand-c... 详细信息
来源: 评论
Green-Marl: A DSL for Easy and Efficient Graph Analysis
Green-Marl: A DSL for Easy and Efficient Graph Analysis
收藏 引用
17th International conference on Architectural Support for programming languages and Operating Systems
作者: Hong, Sungpack Chafi, Hassan Sedlar, Eric Olukotun, Kunle Stanford Univ Pervas Parallelism Lab Stanford CA 94305 USA
The increasing importance of graph-data based applications is fueling the need for highly efficient and parallel implementations of graph analysis software. In this paper we describe Green-Marl, a domain-specific lang... 详细信息
来源: 评论
Parsek: Object oriented particle-in-cell implementation and performance issues  02
Parsek: Object oriented particle-in-cell implementation and ...
收藏 引用
proceedings of the Joint acm Java Grande - ISCOPE 2002 conference
作者: Markidis, Stefano Lapenta, G. VanderHeyden, W.B. Politecnico di Torino Corso Duca degli Abruzzi 24 10129 Torino Italy Theoretical Division MS: K717 LANL Los Alamos NM 87545 United States Theoretical Division MS: B216 LANL Los Alamos NM 87545 United States
Previous plasma simulations have used Fortran or other computer languages in which it is difficult to directly express the underlying physics. In a plasma, each particle - electron, ion, or dust - interacts with the e... 详细信息
来源: 评论
An end-to-end domain-driven software development framework
An end-to-end domain-driven software development framework
收藏 引用
18th Annual acm sigplan conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA'03
作者: Agrawal, Aditya Karsai, Gabor Ledeczi, Akos Institute for Software Integrated Systems Vanderbilt University Nashville TN 37235 United States
This paper presents a comprehensive, domain-driven framework for software development. It consists of a meta-programmable domain specific modeling environment and a model transformation generator toolset based on grap... 详细信息
来源: 评论
Surgical Precision JIT Compilers  14
Surgical Precision JIT Compilers
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Rompf, Tiark Sujeeth, Arvind K. Brown, Kevin J. Lee, HyoukJoong Chafi, Hassan Olukotun, Kunle EPFL Zurich Switzerland Stanford Univ Stanford CA 94305 USA
Just-in-time (JIT) compilation of running programs provides more optimization opportunities than offline compilation. Modern JIT compilers, such as those in virtual machines like Oracle's HotSpot for Java or Googl... 详细信息
来源: 评论
Cross-language, Type-Safe, and Transparent Object Sharing For Co-Located Managed Runtimes  10
Cross-Language, Type-Safe, and Transparent Object Sharing Fo...
收藏 引用
conference on Object Oriented programming Systems, languages and Applications/SPLASH 2010
作者: Wegiel, Michal Krintz, Chandra Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming languages and to architect systems that compr... 详细信息
来源: 评论
A comparison of empirical and model-driven optimization  03
收藏 引用
acm sigplan conference on programming language design and implementation
作者: K., Yotov X., Li G., Ren M., Cibulskis G., DeJong M., Garzaran D., Padua K., Pingali P., Stodghill P., Wu Univ. Illinois at Urbana-Champaign Urbana-Champaign IL United States IBM T.J. Watson Research Center Yorktown Heights NY United States
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which values give the best performance. In ... 详细信息
来源: 评论