咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是621-630 订阅
排序:
Component-based DSL development
收藏 引用
2nd International conference on Generative programming and Component Engineering
作者: Cleenewerck, T Free Univ Brussels Programming Technol Lab B-1050 Brussels Belgium
Domain specific languages (DSLs) have proven to be a very adequate mechanism to encapsulate and hide the complex implementation details of component-based software development. Since evolution lies at the heart of any... 详细信息
来源: 评论
A first-class approach to genericity
A first-class approach to genericity
收藏 引用
18th Annual conference on Object-Oriented programming, Systems, languages and Applications (OOPSLA 2003)
作者: Allen, E Bannet, J Cartwright, R Rice Univ Houston TX 77005 USA
This paper describes how to add first-class generic types including mixins - to strongly-typed 00 languages with nominal subtyping such as Java and C#. A generic type system is "first-class" if generic types... 详细信息
来源: 评论
language support for connector abstractions  17th
收藏 引用
17th European conference on Object-Oriented programming (ECOOP 2003)
作者: Aldrich, J Sazawal, V Chambers, C Notkin, D Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA
Software connectors are increasingly recognized as an important consideration in the design and implementation of object-oriented software systems. Connectors can be used to communicate across a distributed system, co... 详细信息
来源: 评论
Proceeding of the acm sigplan 2002 conference on programming language design and implementation® (PLD102)
Proceeding of the ACM SIGPLAN 2002 conference on programming...
收藏 引用
Proceedings of the acm sigplan 2002 conference on programming language design and implementation (pldi'02)
The proceedings contains 28 papers from the acm sigplan 2002 conference on programming language design and implementation (pldi'02). Topics discussed include: flow-sensitive type qualifiers;fast copy coalescing an... 详细信息
来源: 评论
DAOP-ADL: An architecture description language for dynamic component and aspect-based development
收藏 引用
2nd International conference on Generative programming and Component Engineering, GPCE 2003
作者: Pinto, MÓnica Fuentes, Lidia Troya, Jose MarÍa Dpto. de Lenguajes y Ciencias de la Computación University of Málaga Málaga Spain
Architecture description languages deal with the description, analysis and reuse of software architectures. This paper describes DAOP-ADL, a component- and aspect-based language to specify the architecture of an appli... 详细信息
来源: 评论
Taming the IXP network processor  03
收藏 引用
Proceedings of the acm sigplan 2003 conference on programming language design and implementation
作者: Lal George Matthias Blume Network Speed Technologies Inc Toyota Technological Institute at Chicago
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal bank assignment, and spills. The compil... 详细信息
来源: 评论
The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction  03
收藏 引用
Proceedings of the acm sigplan 2003 conference on programming language design and implementation
作者: Chung-Hsing Hsu Ulrich Kremer Rutgers The State University of New Jersey
This paper presents the design and implementation of a compiler algorithm that effectively optimizes programs for energy usage using dynamic voltage scaling (DVS). The algorithm identifies program regions where the CP... 详细信息
来源: 评论
CDuce: an XML-centric general-purpose language  03
CDuce: an XML-centric general-purpose language
收藏 引用
Proceedings of the eighth acm sigplan international conference on Functional programming
作者: Véronique Benzaken Giuseppe Castagna Alain Frisch Université Paris-Sud Orsay France CNRS Département d'Informatique Paris France
We present the functional language CDuce, discuss some design issues, and show its adequacy for working with XML documents. Distinctive features of CDuce are a powerful pattern matching, first class functions, overloa... 详细信息
来源: 评论
language support for lightweight transactions  03
Language support for lightweight transactions
收藏 引用
Proceedings of the 18th annual acm sigplan conference on Object-oriented programing, systems, languages, and applications
作者: Tim Harris Keir Fraser University of Cambridge Computer Laboratory Cambridge UK
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... 详细信息
来源: 评论
Proceedings of the acm sigplan conference on programming language design and implementation (pldi): Foreword
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
acm sigplan'01 conference on programming language design and implementation (pldi)
作者: Soffa, M.L.
来源: 评论