咨询与建议

限定检索结果

文献类型

  • 250 篇 会议
  • 5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 210 篇 工学
    • 202 篇 软件工程
    • 92 篇 计算机科学与技术...
    • 7 篇 电气工程
    • 3 篇 控制科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 生物工程
  • 7 篇 理学
    • 6 篇 数学
    • 1 篇 生物学
  • 5 篇 管理学
    • 4 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 49 篇 design
  • 40 篇 languages
  • 22 篇 performance
  • 15 篇 algorithms
  • 14 篇 probabilistic pr...
  • 12 篇 verification
  • 12 篇 functional progr...
  • 11 篇 program synthesi...
  • 10 篇 object oriented ...
  • 10 篇 reliability
  • 10 篇 concurrency
  • 9 篇 experimentation
  • 9 篇 programming lang...
  • 8 篇 type systems
  • 8 篇 domain-specific ...
  • 7 篇 java
  • 6 篇 optimization
  • 6 篇 theory
  • 5 篇 compilers
  • 5 篇 metaprogramming

机构

  • 8 篇 purdue univ w la...
  • 7 篇 carnegie mellon ...
  • 6 篇 harvard univ cam...
  • 5 篇 univ penn philad...
  • 4 篇 univ wisconsin m...
  • 4 篇 princeton univ p...
  • 4 篇 univ calif davis...
  • 4 篇 northeastern uni...
  • 4 篇 cornell univ ith...
  • 4 篇 stanford univ st...
  • 4 篇 univ washington ...
  • 3 篇 microsoft res re...
  • 3 篇 swiss fed inst t...
  • 3 篇 mit cambridge ma...
  • 3 篇 yale univ new ha...
  • 3 篇 rice univ housto...
  • 3 篇 univ calif berke...
  • 3 篇 univ texas austi...
  • 2 篇 microsoft corp r...
  • 2 篇 oracle labs pots...

作者

  • 5 篇 foster nate
  • 5 篇 gulwani sumit
  • 5 篇 walker david
  • 4 篇 dillig isil
  • 3 篇 ahmed amal
  • 3 篇 huang jeff
  • 3 篇 vechev martin
  • 3 篇 shao zhong
  • 3 篇 tobin-hochstadt ...
  • 3 篇 su zhendong
  • 3 篇 chaudhuri swarat
  • 3 篇 felleisen matthi...
  • 3 篇 myers andrew c.
  • 3 篇 zhang xiangyu
  • 3 篇 acar umut a.
  • 3 篇 mansinghka vikas...
  • 2 篇 hirschfeld rober...
  • 2 篇 flatt matthew
  • 2 篇 gupta gagan
  • 2 篇 shull thomas

语言

  • 249 篇 英文
  • 5 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation"
255 条 记 录,以下是251-260 订阅
排序:
Towards a methodology for explicit composition of metaobjects  95
Towards a methodology for explicit composition of metaobject...
收藏 引用
10th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1995
作者: Mulet, Philippe Malenfant, Jacques Cointe, Pierre Ecole des Mines de Nantes and OTI Laboratoire Jules Verne La Chantrerie 4 rue Alfred Kastler 44070 Nantes Cedex 03 France Département d'Informatique et de Recherche Opérationnelle Université de Montréal Succursale Centre-Ville Montréal QC H3C 3J7 Canada
Reflective programming languages are those where users' programs are allowed to customize in an organized way the behavior of the language to their own needs. For ten years now, most of the work on reflection revo... 详细信息
来源: 评论
Extending SQL-92 for OODB access: design and implementation experience  95
Extending SQL-92 for OODB access: Design and implementation ...
收藏 引用
10th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1995
作者: Kiernan, Jerry Carey, Michael J. IBM Santa Teresa Lab. 555 Bailey Avenue San Jose CA 95141 United States IBM Almaden Research Center 650 Harry Road K55-B1 San Jose CA 95120 United States
this paper describes the design and implementation of a query engine that provides extended SQL-based access to the data managed by an object-oriented database system. this query engine allows extended SQL queries to ... 详细信息
来源: 评论
proceedings of the 6th International conference on Functional programming languages and Computer Architecture (FPCA '93)
Proceedings of the 6th International Conference on Functiona...
收藏 引用
proceedings of the 6th International conference on Functional programming languages and Computer Architecture (FPCA '93)
the conference materials contain 33 papers. the topics covered include experience with functional programming applications, theory and implementation of types, storage reclamation, semantics analysis of imperative ext... 详细信息
来源: 评论
Charm++: A portable concurrent object oriented system based on C++  8
Charm++: A portable concurrent object oriented system based ...
收藏 引用
8th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1993
作者: Kale, Laxmikant V. Krishnan, Sanjeev Department of Computer Science University of Illinois Urbana-Champaign United States
We describe Charm++, an object oriented portable parallel programming language based on C++. Its design philosophy, implementation, sample applications and their performance on various parallel machines are described.... 详细信息
来源: 评论
design and implementation of the uw illustrated compiler  88
Design and implementation of the uw illustrated compiler
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 1988
作者: Andrew, Kristy Henry, Robert R. Yamamoto, Wayne K. Computer Science Department FR-35 University of Washington SeattleWA98195 United States Computers MS ICO 05 CupminoCA95014 United States AT and T Bell Laboratories IHP2FS.40 ZLM Park Plaza NapervilleIL60566-7050 United States
We have implemented an illustrated compiIer for a simple block structured language. the compiler graphically displays its control and data structures, and so gives its viewers an intuitive understanding of compiler or... 详细信息
来源: 评论