咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是641-650 订阅
排序:
i3QL: language-Integrated Live Data Views  14
i3QL: Language-Integrated Live Data Views
收藏 引用
2014 acm International conference on Object-Oriented-programming-Systems-languages-and-Applications (OOPSLA 14)
作者: Mitschke, Ralf Erdweg, Sebastian Koehler, Mirko Mezini, Mira Salvaneschi, Guido Tech Univ Darmstadt Darmstadt Germany Univ Lancaster Lancaster LA1 4YW England
An incremental computation updates its result based on a change to its input, which is often an order of magnitude faster than a recomputation from scratch. In particular, incrementalization can make expensive computa... 详细信息
来源: 评论
Parameterized types for Java
Parameterized types for Java
收藏 引用
The 1997 24th acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'97
作者: Myers, Andrew C. Bank, Joseph A. Liskov, Barbara Massachusetts Inst of Technology Cambridge MA United States
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This paper extends Java in one area where more ... 详细信息
来源: 评论
Load-reuse analysis: design and evaluation
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
Proceedings of the acm sigplan conference on programming language design and implementation (pldi) 1999年 64-76页
作者: Bodik, Rastislav Gupta, Rajiv Soffa, Mary Lou Univ of Pittsburgh Pittsburgh United States
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the results of prior memory accesses. This pa... 详细信息
来源: 评论
conferences with improved management and style
Conferences with improved management and style
收藏 引用
作者: Wadler, Philip Department of Theoretical Computer Science University of Edinburgh Royal Society of Edinburgh
sigplan sponsors the premier conferences in the area of programming language research and maintains a vigorous program of workshops. sigplan explores programming language concepts and tools focusing on design, impleme... 详细信息
来源: 评论
Opus: A Smalltalk production system  87
Opus: A Smalltalk production system
收藏 引用
1987 conference on Object Oriented programming Systems languages and Applications, OOPSLA 1987
作者: Laursen, Jane Atkinson, Robert System Concepts Laboratory Xerox Palo Alto Research Center United States
Opus is a tool for rule-based programming which integrates a production system paradigm with the Smalltalk-80 environment. Opus currently provides a data-driven production system that allows the programmer considerabl... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Communicating reactive processes  93
Communicating reactive processes
收藏 引用
20th Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'93
作者: Berry, G. Ramesh, S. Shyamasundar, R.K. Ecole des Mines Sophia-Antipolis France
We present a new programming paradigm called Communicating Reactive Processes or CRP that unifies the capabilities of asynchronous and synchronous concurrent programming languages. Asynchronous languages such as CSP, ... 详细信息
来源: 评论
Dynamic scheduling method for irregular parallel programs
Dynamic scheduling method for irregular parallel programs
收藏 引用
acm sigplan '92 conference on programming language design and implementation, pldi 1992
作者: Lucco, Steven UC Berkeley Berkeley CA United States
This paper develops a methodology for compiling and executing irregular parallel programs. Such programs implement parallel operations whose size and work distribution depend on input data. We show a fundamental relat... 详细信息
来源: 评论
Using ARM TrustZone to build a Trusted language Runtime for mobile applications  14
Using ARM TrustZone to build a Trusted Language Runtime for ...
收藏 引用
19th International conference on Architectural Support for programming languages and Operating Systems, ASPLOS 2014
作者: Santos, Nuno Raj, Himanshu Saroiu, Stefan Wolman, Alec INESC-ID Instituto Superior Técnico University of Lisbon Portugal Microsoft Research Portugal
paper presents the design, implementation, and evaluation of the Trusted language Runtime (TLR), a system that protects the confidentiality and integrity of .NET mobile applications from OS security breaches. TLR enab... 详细信息
来源: 评论
SLE 2016 - Proceedings of the 2016 acm sigplan International conference on Software language Engineering, co-located with SPLASH 2016
SLE 2016 - Proceedings of the 2016 ACM SIGPLAN International...
收藏 引用
9th acm sigplan International conference on Software language Engineering, SLE 2016
The proceedings contain 23 papers. The topics discussed include: parsing and reflective printing, bidirectionally;taming context-sensitive languages with principled stateful parsing;efficient development of consistent...
来源: 评论