咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是611-620 订阅
排序:
A truly implementation independent GUI development tool
A truly implementation independent GUI development tool
收藏 引用
1999 Annual acm SIGAda International conference on Ada, SIGAda 1999
作者: Carlisle, Martin C. Department of Computer Science US Air Force Academy 2354 Fairchild Dr CO80840-6234 United States
Ovre the last few years, graphical user interface programming has become increasingly prevalent. Many libraries and languages have been developed to simplify this task. Additionally, design tools have been created tha... 详细信息
来源: 评论
User-changeable visibility: Resolving unanticipated name clashes in traits  07
User-changeable visibility: Resolving unanticipated name cla...
收藏 引用
22nd International conference on Object-Oriented programming, Systems, languages and Applications
作者: Ducasse, Stephane Wuyts, Roel Bergel, Alexandre INRIA Futurs LISTIC Univ Savoie Language & Software evolut Le Bourget Du Lac France IMEC Louvain Belgium Univ Libre Bruxelles Brussels Belgium LERO Trinity Coll Dublin Ireland
A trait is a unit of behaviour that can be composed with other traits and used by classes. Traits offer an alternative to multiple inheritance. Conflict resolution of traits, while flexible, does not completely handle... 详细信息
来源: 评论
Hierarchical language definition
Hierarchical language definition
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Bochmann, Gregor V. Dept Informatique U. De Montréal Canada
This paper describes a project for the hierarchical definition and implementation of languages. In the spirit of structured programming [ 1] and in analogy to the hierarchical construction of operating systems t 2, 3]... 详细信息
来源: 评论
Executable computational logics: Combining formal methods and programming language based system design  1
Executable computational logics: Combining formal methods an...
收藏 引用
1st acm/IEEE International conference on Formal Methods and Models for Co-design (MEMOCODE 03)
作者: Meseguer, J Univ Illinois Dept Comp Sci Urbana IL 61801 USA
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of system designs based on programming languag... 详细信息
来源: 评论
language-independent sandboxing of just-in-time compilation and self-modifying code  11
Language-independent sandboxing of just-in-time compilation ...
收藏 引用
32nd acm conference on programming language design and implementation, PLDI 2011
作者: Ansel, Jason Marchenko, Petr Erlingsson, Ulfar Taylor, Elijah Chen, Brad Schuff, Derek L. Sehr, David Biffle, Cliff L. Yee, Bennet Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology United States University College London United Kingdom Google Inc. United States
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such specially-designed languages, it is di... 详细信息
来源: 评论
The HipHop Compiler for PHP  12
The HipHop Compiler for PHP
收藏 引用
acm International conference on Object Oriented programming Systems languages and Applications
作者: Zhao, Haiping Proctor, Iain Yang, Minghui Qi, Xin Williams, Mark Gao, Qi Ottoni, Guilherme Paroski, Andrew MacVicar, Scott Evans, Jason Tu, Stephen Facebook Inc Menlo Pk CA USA
Scripting languages are widely used to quickly accomplish a variety of tasks because of the high productivity they enable. Among other reasons, this increased productivity results from a combination of extensive libra... 详细信息
来源: 评论
Tachyon Common Lisp: An efficient and portable implementation of CLtL2
Tachyon Common Lisp: An efficient and portable implementatio...
收藏 引用
proceedings of the 1992 acm conference on Lisp and Functional programming
作者: Nagasaka, Atsushi Shintani, Yoshihiro Ito, Tanji Gomi, Hiroshi Takahashi, Junichi Oki Electric Industry Co Ltd Tokyo Japan
Tachyon Common Lisp is an efficient and portable implementation of Common Lisp 2nd Edition. The design objective of Tachyon is to apply both advanced optimization technology developed for RISC processors and Lisp opti... 详细信息
来源: 评论
A collaboration specification language  99
A collaboration specification language
收藏 引用
2nd conference on Domain-Specific languages, DSL 1999
作者: Li, Du Muntz, Richard R. Department of Computer Science University of California Los Angeles Los AngelesCA90024 United States
COCA (Collaborative Objects Coordination Architecture) was proposed as a novel means to model and support collaborations over the Internet. Our approach separates coordination policies from user interfaces and the pol... 详细信息
来源: 评论
Pin: Building customized program analysis tools with dynamic instrumentation
Pin: Building customized program analysis tools with dynamic...
收藏 引用
2005 acm sigplan conference on programming language design and implementation, PLDI 05
作者: Luk, Chi-Keung Cohn, Robert Muth, Robert Patil, Harish Klauser, Artur Lowney, Geoff Wallace, Steven Reddi, Vijay Janapa Hazelwood, Kim Intel Corporation University of Colorado
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we have developed a new instrumentation syst... 详细信息
来源: 评论
An automatic object inlining optimization and its evaluation
An automatic object inlining optimization and its evaluation
收藏 引用
acm sigplan' 00 conference on programming language design and implementation (PLDI)
作者: Dolby, J Chien, AA IBM Corp TJ Watson Res Ctr Yorktown Hts NY 10598 USA Univ Calif San Diego Dept Comp Sci & Engn La Jolla CA 92093 USA
Automatic object inlining [19, 20] transforms heap data structures by fusing parent and child objects together. It can improve runtime by reducing object allocation and pointer dereference costs. We report continuing ... 详细信息
来源: 评论