咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 801 篇 工学
    • 787 篇 软件工程
    • 527 篇 计算机科学与技术...
    • 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 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 96 Conference on Programming Language Design and Implementation"
903 条 记 录,以下是761-770 订阅
排序:
Concurrent Haskell
Concurrent Haskell
收藏 引用
The 1996 acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'96
作者: Jones, Simon Peyton Gordon, Andrew Finne, Sigbjorn Univ of Glasgow Glasgow United Kingdom
Some applications are most easily expressed in a programming language that supports concurrency, notably interactive and distributed systems. We propose extensions to the purely-functional language Haskell that allow ... 详细信息
来源: 评论
Provable time and space efficient implementation of NESL
Provable time and space efficient implementation of NESL
收藏 引用
Proceedings of the 1996 acm sigplan International conference on Functional programming, ICFP'96
作者: Blelloch, Guy E. Greiner, John Carnegie Mellon Univ Pittsburgh United States
In this paper we prove time and space bounds for the implementation of the programming language NESL on various parallel machine models. NESL is a sugared typed λ-calculus with a set of array primitives and an explic... 详细信息
来源: 评论
Provably time-efficient parallel implementation of full speculation
Provably time-efficient parallel implementation of full spec...
收藏 引用
The 1996 acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'96
作者: Greiner, John Blelloch, Guy E. Carnegie Mellon Univ Pittsburgh PA United States
Speculative evaluation, including leniency and futures, is often used to produce high degrees of parallelism. Existing speculative implementations, however, may serialize computation because of their implementation of... 详细信息
来源: 评论
Proceedings of the acm sigplan conference on programming language design and implementation (PLDi)
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
1995 acm sigplan conference on programming language design and implementation, PLDI 1995
The proceedings contain 28 papers. The topics discussed include: efficient building and placing of gating functions;avoiding conditional branches by code replication;accurate static branch prediction by value range pr...
来源: 评论
GUM: a portable parallel implementation of Haskell  96
GUM: a portable parallel implementation of Haskell
收藏 引用
Proceedings of the acm sigplan 1996 conference on programming language design and implementation
作者: P. W. Trinder K. Hammond J. S. Mattson A. S. Partridge S. L. Peyton Jones Department of Computing Science Glasgow University Hewlett-Packard California Language Laboratory and Department of Computing Science Glasgow University Department of Computer Science University of Tasmania and Department of Computing Science Glasgow University
GUM is a portable, parallel implementation of the Haskell functional language. Despite sustained research interest in parallel functional programming, GUM is one of the first such systems to be made publicly *** is me...
来源: 评论
Teapot: language support for writing memory coherence protocols  96
Teapot: language support for writing memory coherence protoc...
收藏 引用
Proceedings of the acm sigplan 1996 conference on programming language design and implementation
作者: Satish Chandra Brad Richards James R. Larus Computer Sciences Department University of Wisconsin-Madison 1210 West Dayton St. Madison WI
Recent shared-memory parallel computer systems offer the exciting possibility of customizing memory coherence protocols to fit an application's semantics and sharing patterns. Custom protocols have been used to ac...
来源: 评论
pHluid: the design of a parallel functional language implementation on workstations  96
pHluid: the design of a parallel functional language impleme...
收藏 引用
Proceedings of the first acm sigplan international conference on Functional programming
作者: Cormac Flanagan Rishiyur S. Nikhil Rice University Department of Computer Science Houston Texas Digital Equipment Corp. Cambridge Research Laboratory One Kendall Square Bldg. 700 Cambridge Massachusetts
This paper describes the distributed memory implementation of a shared memory parallel functional language. The language is Id, an implicitly parallel, mostly functional language that is currently evolving into a dial... 详细信息
来源: 评论
Practical program analysis using general purpose logic programming systems—a case study  96
Practical program analysis using general purpose logic progr...
收藏 引用
Proceedings of the acm sigplan 1996 conference on programming language design and implementation
作者: Steven Dawson C. R. Ramakrishnan David S. Warren SRI International 333 Ravenswood Ave. Menlo Park CA and Department of Computer Science SUNY at Stony Brook Stony Brook NY Department of Computer Science SUNY at Stony Brook Stony Brook NY
Many analysis problems can be cast in the form of evaluating minimal models of a logic program. Although such formulations are appealing due to their simplicity and declarativeness, they have not been widely used in p...
来源: 评论
implementation of the data-flow synchronous language signal  95
Implementation of the data-flow synchronous language signal
收藏 引用
1995 acm sigplan conference on programming language design and implementation, PLDI 1995
作者: Amagbegnon, Pascalin Besnard, Loic Guetnic, Paul Le IRISA-INRIA Campus de Beaulieu Rennes Cedex350412 France
This paper presents the techniques used for the compilation of the data-flow, synchronous language SIGNAL. The key feature of the compiler is that it performs formal calculus on systems of boolean equations. The origi... 详细信息
来源: 评论
CONTEXT-INSENSITIVE ALIAS ANALYSIS RECONSIDERED  95
CONTEXT-INSENSITIVE ALIAS ANALYSIS RECONSIDERED
收藏 引用
acm sigplan 95 conference on programming language design and implementation
作者: RUF, E Microsoft Research One Microsoft Way Redmond WA
Recent work on alias analysis in the presence of pointers has concentrated on context-sensitive interprocedural analyses, which treat multiple calls to a single procedure independently rather than constructing a singl... 详细信息
来源: 评论