咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
Multiple instances and symbolic variables in executable sequence charts  02
Multiple instances and symbolic variables in executable sequ...
收藏 引用
17th Meeting on Object-Oriented programming, Systems, languages and Applications (OOPSLA 2002)
作者: Marelly, R Harel, D Kugler, H Weizmann Inst Sci Dept Comp Sci & Appl Math IL-76100 Rehovot Israel
We extend live sequence charts (LSCs), a highly expressive variant of sequence diagrams, and provide the extension with an executable semantics. The extension involves support for instances that can bind to multiple o... 详细信息
来源: 评论
Sal/Svm: An assembly language and virtual machine for computing with non-enumerated sets
Sal/Svm: An assembly language and virtual machine for comput...
收藏 引用
4th Workshop on Virtual Machines and Intermediate languages, VMIL 2010, Held at the 1st acm sigplan conference on Systems, programming, languages, and Applications: Software for Humanity, SPLASH 2010
作者: Stanley-Marbell, Phillip IBM Research-Zürich Säumerstrasse 4 8803 Rüschlikon Switzerland
Presented is the design, implementation and evaluation of a system for computing with non-enumerative set representations. The implementation is in the form of a set assembly language (Sal) whose operations correspond... 详细信息
来源: 评论
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... 详细信息
来源: 评论
It's Alive! Continuous Feedback in UI programming
It's Alive! Continuous Feedback in UI Programming
收藏 引用
34th acm sigplan conference on programming language design and implementation (PLDI)
作者: Burckhardt, Sebastian Faehndrich, Manuel de Halleux, Peli McDirmid, Sean Moskal, Michal Tillmann, Nikolai Kato, Jun Univ Tokyo Tokyo 1138654 Japan
Live programming allows programmers to edit the code of a running program and immediately see the effect of the code changes. This tightening of the traditional edit-compile-run cycle reduces the cognitive gap between... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
A cost-driven compilation framework for speculative parallelization of sequential programs
A cost-driven compilation framework for speculative parallel...
收藏 引用
proceedings of the 2004 acm sigplan conference on programming language design and implementation (PLDI'04)
作者: Du, Zhao-Hui Yang, Chen Lim, Chu-Cheow Zhao, Qingyu Li, Xiao-Feng Ngai, Tin-Fook Intel China Research Center Intel China Ltd. Beijing China Programming Systems Lab Intel Corporation Santa Clara California United States
The emerging hardware support for thread-level speculation opens new opportunities to parallelize sequential programs beyond the traditional limits. By speculating that many data dependences are unlikely during runtim... 详细信息
来源: 评论
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 ...
来源: 评论
Self
Self
收藏 引用
3rd acm sigplan History of programming languages conference, HOPL-III
作者: Ungar, David Smith, Randall B. IBM Corporation Sun Microsystems Laboratories
The years 1985 through 1995 saw the birth and development of the language Self, starting from its design by the authors at Xerox PARC, through first implementations by Ungar and his graduate students at Stanford Unive... 详细信息
来源: 评论
Advanced Automata-Based Algorithms for Program Termination Checking  2018
Advanced Automata-Based Algorithms for Program Termination C...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Chen, Yu-Fang Heizmann, Matthias Lengal, Ondrej Li, Yong Tsai, Ming-Hsien Turrini, Andrea Zhang, Lijun Acad Sinica Taipei Taiwan Natl Taipei Univ New Taipei Taiwan Univ Freiburg Freiburg Germany Brno Univ Technol FIT IT4Innovat Ctr Excellence Brno Czech Republic Chinese Acad Sci Univ Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China
In 2014, Heizmann et al. proposed a novel framework for program termination analysis. The analysis starts with a termination proof of a sample path. The path is generalized to a Buchi automaton (BA) whose language (by... 详细信息
来源: 评论
Incremental analysis of real programming languages
Incremental analysis of real programming languages
收藏 引用
proceedings of the 1997 acm SIGPLAM conference on programming language design and implementation, PLDI
作者: Wagner, Tim A. Graham, Susan L. Univ of California Berkeley United States
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequate;in particular, LR(k) grammars are una... 详细信息
来源: 评论