咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是651-660 订阅
排序:
Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015)
Workshop preview of the 2015 workshop on reactive and event-...
收藏 引用
acm sigplan International conference on Systems, programming, languages and Applications: Software for Humanity, SPLASH 2015
作者: Salvaneschi, Guido De Meuter, Wolfgang Eugster, Patrick Ziarek, Lukasz Technische Universität Darmstadt Germany Vrije Universiteit Brussel Belgium Purdue University United States State University of New York United States
Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HCI technology and the ever increasing requirement for appl... 详细信息
来源: 评论
Making asynchronous parallelism safe for the world
Making asynchronous parallelism safe for the world
收藏 引用
conference Record of the Seventeenth Annual acm Symposium on Principles of programming languages, POPL'90
作者: Steele, Guy L. Thinking Machines Corp MA United States
A programming model that combines the advantages of the synchronous and asynchronous parallel styles is proposed. Asynchronous threads of control, but shared-memory accesses and other side effects are restricted so as... 详细信息
来源: 评论
Scala 2018 - Proceedings of the 9th acm sigplan International Symposium on Scala, co-located with ICFP 2018
Scala 2018 - Proceedings of the 9th ACM SIGPLAN Internationa...
收藏 引用
9th acm sigplan International Symposium on Scala, Scala 2018, Part of the acm sigplan International conference on Functional programming, ICFP 2018
The proceedings contain 9 papers. The topics discussed include: a domain-specific language for microservices;parser combinators for context-free path querying;garnishing parsec with parsley;path dependent types with p...
来源: 评论
A unified system of parameterization for programming languages  88
A unified system of parameterization for programming languag...
收藏 引用
1988 acm conference on LISP and Functional programming, LFP 1988
作者: Lamping, John Stanford University United States Xerox PARC United States
Introduction: A system is parameterized when it has one or more external inputs which partially determine a result. In the lambda calculus parameterization arises in two situations;the value of a function is parameriz... 详细信息
来源: 评论
Effective Interactive Proofs for Higher-Order Imperative Programs
Effective Interactive Proofs for Higher-Order Imperative Pro...
收藏 引用
14th acm sigplan International conference on Functional programming
作者: Chlipala, Adam Malecha, Gregory Morrisett, Greg Shinnar, Avraham Wisnesky, Ryan Harvard Univ Cambridge MA 02138 USA
We present a new approach for constructing and verifying higher-order, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is based on Hoare Type Theory. That origina... 详细信息
来源: 评论
Pluggable AOP - designing aspect mechanisms for third-party composition
Pluggable AOP - Designing aspect mechanisms for third-party ...
收藏 引用
OOPSLA'05 - 20th Annual acm conference on Object-Oriented programming, Systems, languages, and Applications
作者: Kojarski, Sergei Lorenz, David H. Department of Computer Science University of Virginia Charlottesville VA 22904-4740 United States Northeastern University University of Virginia
Studies of Aspect-Oriented programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. languages specified in this manner have a fixed, non-extensible AOP fun... 详细信息
来源: 评论
language support for lightweight transactions
Language support for lightweight transactions
收藏 引用
18th Annual conference on Object-Oriented programming, Systems, languages and Applications (OOPSLA 2003)
作者: Harris, T Fraser, K Univ Cambridge Comp Lab Cambridge CB3 0FD England
Concurrent programming is notoriously difficult. Current abstractions are intricate and make it hard to design computer systems that are reliable and scalable. We argue that these problems can be addressed by moving t... 详细信息
来源: 评论
Hera-JVM: A Runtime System for Heterogeneous Multi-Core Architectures  10
Hera-JVM: A Runtime System for Heterogeneous Multi-Core Arch...
收藏 引用
conference on Object Oriented programming Systems, languages and Applications/SPLASH 2010
作者: McIlroy, Ross Sventek, Joe Microsoft Res Cambridge Cambridge England Univ Glasgow Glasgow G12 8QQ Lanark Scotland
Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores support different instruction set arch... 详细信息
来源: 评论
Multiparadigm programming in Object-Oriented languages: Current Research Report on the Workshop MPOOL'08 at ECOOP 2008
收藏 引用
22nd European conference on Object-Oriented programming (ECOOP 2008)
作者: Striegnitz, Joerg Davis, Kei Univ Appl Sci Regensburg D-93053 Regensburg Germany Los Alamos Natl Lab Los Alamos 87545 NM USA
While OO has, become ubiquitously employed for design;implementation, and even conceptualization, many practitioners recognize the concomitant need for other programming paradigms according to problem domain. Neverthe... 详细信息
来源: 评论
Parsek: Object oriented particle-in-cell implementation and performance issues  02
Parsek: Object oriented particle-in-cell implementation and ...
收藏 引用
Proceedings of the Joint acm Java Grande - ISCOPE 2002 conference
作者: Markidis, Stefano Lapenta, G. VanderHeyden, W.B. Politecnico di Torino Corso Duca degli Abruzzi 24 10129 Torino Italy Theoretical Division MS: K717 LANL Los Alamos NM 87545 United States Theoretical Division MS: B216 LANL Los Alamos NM 87545 United States
Previous plasma simulations have used Fortran or other computer languages in which it is difficult to directly express the underlying physics. In a plasma, each particle - electron, ion, or dust - interacts with the e... 详细信息
来源: 评论