咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
An object-oriented design system shell  87
An object-oriented design system shell
收藏 引用
1987 conference on Object Oriented programming Systems languages and Applications, OOPSLA 1987
作者: Diederich, Jim Milton, Jack Department of Mathematics University of California DavisCA95616 United States
We present a design system shell which can be used to experiment with principles of design and be used as a design tool where complex layers of information need to be specified about objects, such as in database desig... 详细信息
来源: 评论
Practical predicate dispatch  04
Practical predicate dispatch
收藏 引用
19th conference on Object-Oriented programming, Systems, languages, and Applications
作者: Millstein, T Univ Calif Los Angeles Dept Comp Sci Los Angeles CA 90024 USA
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method implementation includes a predicate gu... 详细信息
来源: 评论
Modular type classes  07
Modular type classes
收藏 引用
34th acm sigplan-SIGACT Symposium on Principles of programming languages
作者: Dreyer, Derek Harper, Robert Chakravarty, Manuel M. T. Toyota Technol Inst Chicago IL USA Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ New S Wales Kensington NSW 2033 Australia
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of data abstraction. Type classes emphas... 详细信息
来源: 评论
A different kind of programming languages course
A different kind of programming languages course
收藏 引用
OOPSLA 2009 Companion - 24th Annual acm conference on Object-Oriented programming, Systems, languages and Applications, OOPSLA 2009
作者: Yeager, Dorian P. Grove City College Grove City PA United States
The complexity of the well-explored regions of the programming language design space has increased substantially in the last twenty-five years with the addition of a large number of object-oriented programming languag... 详细信息
来源: 评论
Constrained Kinds  12
Constrained Kinds
收藏 引用
acm International conference on Object Oriented programming Systems languages and Applications
作者: Tardieu, Olivier Nystrom, Nathaniel Peshansky, Igor Saraswat, Vijay IBM Res Yorktown Hts NY USA Univ Lugano Lugano Switzerland Google Mountain View CA USA
Modern object-oriented languages such as X 1 0 require a rich framework for types capable of expressing both value-dependency and genericity, and supporting pluggable, domain-specific extensions. In earlier work, we p... 详细信息
来源: 评论
CHERI JNI: Sinking the Java Security Model into the C  17
CHERI JNI: Sinking the Java Security Model into the C
收藏 引用
22nd acm International conference on Architectural Support for programming languages and Operating Systems (ASPLOS)
作者: Chisnall, David Davis, Brooks Gudka, Khilan Brazdil, David Joannou, Alexandre Woodruff, Jonathan Markettos, A. Theodore Maste, J. Edward Norton, Robert Son, Stacey Roe, Michael Moore, Simon W. Neumann, Peter G. Laurie, Ben Watson, Robert N. M. Univ Cambridge Cambridge England SRI Int Menlo Pk CA USA DeepMind Technol Ltd London England
Java provides security and robustness by building a high-level security model atop the foundation of memory protection. Unfortunately, any native code linked into a Java program - including the million lines used to i... 详细信息
来源: 评论
Multiple instances and symbolic variables in executable sequence charts  02
Multiple instances and symbolic variables in executable sequ...
收藏 引用
17th Meeting on Object-Oriented programming, Systems, languages and Applications (OOPSLA 2002)
作者: Marelly, R Harel, D Kugler, H Weizmann Inst Sci Dept Comp Sci & Appl Math IL-76100 Rehovot Israel
We extend live sequence charts (LSCs), a highly expressive variant of sequence diagrams, and provide the extension with an executable semantics. The extension involves support for instances that can bind to multiple o... 详细信息
来源: 评论
language extension and composition with language workbenches
Language extension and composition with language workbenches
收藏 引用
acm International conference Companion on Object Oriented programming Systems languages and Applications Companion, SPLASH '10
作者: Völter, Markus Visser, Eelco Independent/Itemis Germany Delft University of Technology Netherlands
Domain-specific languages (DSLs) provide high expressive power focused on a particular problem domain. They provide linguistic abstractions and specialized syntax specifically designed for a domain, allowing developer... 详细信息
来源: 评论
Implicitly heterogeneous multi-stage programming  05
Implicitly heterogeneous multi-stage programming
收藏 引用
4th International conference on Generative programming and Component Engineering
作者: Eckhardt, J Kaiabachev, R Pasalic, E Swadi, K Taha, W Rice Univ Houston TX 77005 USA
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homogeneous designs simply add a hygienic q... 详细信息
来源: 评论
Ziria: A DSL for wireless systems programming  15
Ziria: A DSL for wireless systems programming
收藏 引用
Proceedings of the Twentieth International conference on Architectural Support for programming languages and Operating Systems
作者: Stewart, Gordon Gowda, Mahanth Mainland, Geoffrey Radunović, Božidar Vytiniotis, Dimitrios Agulló, Cristina Luengo Princeton University United States UIUC United States Drexel University United States MSR Cambridge United States Universitat Politècnica de Catalunya Spain
Software-defined radio (SDR) brings the flexibility of software to wireless protocol design, promising an ideal platform for innovation and rapid protocol deployment. However, implementing modern wireless protocols on... 详细信息
来源: 评论