咨询与建议

限定检索结果

文献类型

  • 774 篇 会议
  • 130 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 802 篇 工学
    • 787 篇 软件工程
    • 528 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 安全科学与工程
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物工程
  • 100 篇 理学
    • 86 篇 数学
    • 10 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 49 篇 管理学
    • 33 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

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

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 stanford univ st...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 univ washington ...
  • 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 篇 aiken alex
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 gulwani sumit
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 825 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 96 Conference on Programming Language Design and Implementation"
904 条 记 录,以下是461-470 订阅
排序:
Perl 6: Reconciling the Irreconcilable  07
Perl 6: Reconciling the Irreconcilable
收藏 引用
34th acm sigplan-SIGACT Symposium on Principles of programming languages
作者: Tang, Audrey Pugscode Org Taipei Taiwan
Perl is a general-purpose language, known for its vast number of freely available libraries. The Perl 6 project was started to improve the language's support for multi-paradigmatic programming, while retaining com... 详细信息
来源: 评论
Experience report: Functional programming in C-Rules
Experience report: Functional programming in C-Rules
收藏 引用
12th acm sigplan International conference on Functional programming
作者: Wazny, Jeremy Constraint Technol Int Melbourne Vic 3000 Australia
C-Rules is a business rules management system developed by Constraint Technologies International(1) (CTI), designed for use in transportation problems. Users define rules describing various aspects of a problem, such ... 详细信息
来源: 评论
iTasks: Executable specifications of interactive work flow systems for the web
收藏 引用
acm sigplan NOTICES 2007年 第9期42卷 141-152页
作者: Plasmeijer, Rinus Achten, Peter Koopman, Pieter Radboud Univ Nijmegen Inst Comp & Informat Sci Software Technol Dept NL-6525 ED Nijmegen Netherlands
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are automated systems in which tasks are coo... 详细信息
来源: 评论
Valgrind: A framework for heavyweight dynamic binary instrumentation  07
Valgrind: A framework for heavyweight dynamic binary instrum...
收藏 引用
conference on programming language design and implementation
作者: Nethercote, Nicholas Seward, Julian Natl ICT Australia Melbourne Vic Australia OpenWorks LLP Cambridge England
Dynamic binary instrumentation (DBI) frameworks make it easy to build dynamic binary analysis (DBA) tools such as checkers and profilers. Much of the focus on DBI frameworks has been on performance;little attention ha... 详细信息
来源: 评论
Sketching stencils
收藏 引用
acm sigplan NOTICES 2007年 第6期42卷 167-178页
作者: Solar-Lezama, Armando Arnold, Gilad Tancau, Liviu Bodik, Rastislav Saraswat, Vijay Seshia, Sanjit IBM Corp TJ Watson Res Ctr Armonk NY 10504 USA Univ Calif Berkeley Berkeley CA 94720 USA
Performance of stencil computations can be significantly improved through smart implementations that improve memory locality, computation reuse, or parallelize the computation. Unfortunately, efficient implementations... 详细信息
来源: 评论
The development of the Emerald programming language
The development of the Emerald programming language
收藏 引用
3rd acm sigplan History of programming languages conference, HOPL-III
作者: Black, Andrew P. Hutchinson, Norman C. Jul, Eric Levy, Henry M. Portland State University University of British Columbia University of Copenhagen University of Washington
Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980s. The goal of Emerald was to simplify... 详细信息
来源: 评论
Sketching stencils  07
Sketching stencils
收藏 引用
conference on programming language design and implementation
作者: Solar-Lezama, Armando Arnold, Gilad Tancau, Liviu Bodik, Rastislav Saraswat, Vijay Seshia, Sanjit IBM Corp TJ Watson Res Ctr Armonk NY 10504 USA Univ Calif Berkeley Berkeley CA 94720 USA
Performance of stencil computations can be significantly improved through smart implementations that improve memory locality, computation reuse, or parallelize the computation. Unfortunately, efficient implementations... 详细信息
来源: 评论
Automatic inversion generates divide-and-conquer parallel programs  07
Automatic inversion generates divide-and-conquer parallel pr...
收藏 引用
conference on programming language design and implementation
作者: Morita, Kazutaka Morihata, Akimasa Matsuzaki, Kiminori Hu, Zhenjiang Takeichi, Masato Univ Tokyo Grad Sch Informat Sci & Technol Tokyo Japan
Divide-and-conquer algorithms are suitable for modern parallel machines, tending to have large amounts of inherent parallelism and working well with caches and deep memory hierarchies. Among others, list homomorphisms... 详细信息
来源: 评论
Enforcing isolation and ordering in STM
收藏 引用
acm sigplan NOTICES 2007年 第6期42卷 78-88页
作者: Shpeisman, Tatiana Menon, Vijay Adl-Tabatabai, Ali-Reza Balensiefer, Steven Grossman, Dan Hudson, Richard L. Moore, Katherine F. Saha, Bratin Intel Corp Programming Syst Lab Santa Clara CA 95054 USA Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA
Transactional memory provides a new concurrency control mechanism that avoids many of the pitfalls of lock-based synchronization. High-performance software transactional memory (STM) implementations thus far provide w... 详细信息
来源: 评论
Advanced programming language design in enterprise software - A lambda-calculus theorist wanders into a datacenter  07
Advanced programming language design in enterprise software ...
收藏 引用
34th acm sigplan-SIGACT Symposium on Principles of programming languages
作者: Murthy, Chet IBM Research
Enterprise software systems automate the business processes of most nontrivial organizations in the world economy. These systems are immensely complex, and their function is critical to our living standards and everyd... 详细信息
来源: 评论