咨询与建议

限定检索结果

文献类型

  • 783 篇 会议
  • 135 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 806 篇 工学
    • 792 篇 软件工程
    • 529 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 12 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物医学工程(可授...
  • 99 篇 理学
    • 84 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 3 篇 物理学
    • 3 篇 生物学
    • 1 篇 地质学
  • 52 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 20 篇 图书情报与档案管...
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

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

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 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 篇 stanford univ st...
  • 9 篇 univ washington ...
  • 8 篇 mit cambridge ma...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 chlipala adam
  • 10 篇 dillig isil
  • 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 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 gulwani sumit
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 mansinghka vikas...
  • 6 篇 bodik rastislav

语言

  • 841 篇 英文
  • 76 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988"
918 条 记 录,以下是681-690 订阅
排序:
Multi-dispatch in the Java Virtual Machine: design and implementation
Multi-dispatch in the Java Virtual Machine: Design and imple...
收藏 引用
2000 conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA 2000
作者: Dutchyn, Christopher Lu, Paul Szafron, Duane Bromling, Steve Holst, Wade Department of Computing Science University of Alberta Edmonton AB T6G 2E8 Canada Department of Computer Science University of Western Ontario MiddleSex College London ON N6A 5B7 Canada
Mainstream object-oriented languages, such as C++ and Java, provide only a restricted form of polymorphic methods, namely single-receiver dispatch. In common programming situations, programmers must work-around this l... 详细信息
来源: 评论
A single intermediate language that supports multiple implementations of exceptions  00
A single intermediate language that supports multiple implem...
收藏 引用
Proceedings of the acm sigplan 2000 conference on programming language design and implementation
作者: Norman Ramsey Simon Peyton Jones Harvard University Microsoft Research Ltd
We present mechanisms that enable our compiler-target language, C--, to express four of the best known techniques for implementing exceptions, all within a single, uniform framework. We define the mechanisms precisely...
来源: 评论
Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation  00
Modular interprocedural pointer analysis using access paths:...
收藏 引用
Proceedings of the acm sigplan 2000 conference on programming language design and implementation
作者: Ben-Chung Cheng Wen-Mei W. Hwu Department of Computer Science University of Illinois Department of Electrical and Computer Engineering University of Illinois
In this paper we present a modular interprocedural pointer analysis algorithm based on access-paths for C programs. We argue that access paths can reduce the overhead of representing context-sensitive transfer functio...
来源: 评论
A generational on-the-fly garbage collector for Java  00
A generational on-the-fly garbage collector for Java
收藏 引用
Proceedings of the acm sigplan 2000 conference on programming language design and implementation
作者: Tamar Domani Elliot K. Kolodner Erez Petrank IBM Haifa Research Lab. Computer Science Dept. Technion - Israel Institute of Technology
An on-the-fly garbage collector does not stop the program threads to perform the collection. Instead, the collector executes in a separate thread (or process) in parallel to the program. On-the-fly collectors are usef... 详细信息
来源: 评论
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, pldi
Proceedings of the 1998 Annual ACM SIGPLAN Conference on Pro...
收藏 引用
Proceedings of the 1998 Annual acm sigplan conference on programming language design and implementation, pldi
The proceedings contains 31 papers from the 1998 acm sigplan 1998 conference on programming language design and implementation (pldi). Topics discussed include: scalar register promotions;sparse partial redundancy eli... 详细信息
来源: 评论
Compressing Java class files
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
Proceedings of the acm sigplan conference on programming language design and implementation (pldi) 1999年 247-258页
作者: Pugh, William Univ of Maryland College Park MD United States
Java class files are often distributed as jar files, which are collections of individually compressed class files (and possibility other files). Jar files are typically about 1/2 the size of the original class files d... 详细信息
来源: 评论
Once upon a polymorphic type
Conference Record of the Annual ACM Symposium on Principles ...
收藏 引用
conference Record of the Annual acm Symposium on Principles of programming languages 1999年 15-28页
作者: Wansbrough, Keith Jones, Simon Peyton Univ of Cambridge Cambridge United Kingdom
We present a sound type-based `usage analysis' for a realistic lazy functional language. Accurate information on the usage of program subexpressions in a lazy functional language permits a compiler to perform a nu... 详细信息
来源: 评论
Theory of type qualifiers
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
Proceedings of the acm sigplan conference on programming language design and implementation (pldi) 1999年 192-203页
作者: Foster, Jeffrey S. Fahndrich, Manuel Aiken, Alexander Univ of California Berkeley United States
We describe a framework for adding type qualifiers to a language. Type qualifiers encode a simple but highly useful form of subtyping. Our framework extends standard type rules to model the flow of qualifiers through ... 详细信息
来源: 评论
Semantics for imprecise exceptions
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
Proceedings of the acm sigplan conference on programming language design and implementation (pldi) 1999年 25-36页
作者: Jones, Simon Peyton Reid, Alastair Hoare, Tony Marlow, Simon Henderson, Fergus Microsoft Research Ltd Cambridge United States
Some modern superscalar microprocessors provide only imprecise exceptions. That is, they do not guarantee to report the same exception that would be encountered by a straightforward sequential execution of the program... 详细信息
来源: 评论
Pointer analysis for multithreaded programs
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
Proceedings of the acm sigplan conference on programming language design and implementation (pldi) 1999年 77-90页
作者: Rugina, Radu Rinard, Martin Massachusetts Inst of Technology Cambridge MA United States
This paper presents a novel interprocedural, flow-sensitive, and context-sensitive pointer analysis algorithm for multi-threaded programs that may concurrently update shared pointers. For each pointer and each program... 详细信息
来源: 评论