咨询与建议

限定检索结果

文献类型

  • 959 篇 会议
  • 62 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 1,022 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 905 篇 工学
    • 859 篇 软件工程
    • 783 篇 计算机科学与技术...
    • 155 篇 控制科学与工程
    • 28 篇 信息与通信工程
    • 16 篇 电气工程
    • 12 篇 建筑学
    • 10 篇 光学工程
    • 9 篇 土木工程
    • 9 篇 生物工程
    • 6 篇 材料科学与工程(可...
    • 5 篇 机械工程
    • 4 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 3 篇 冶金工程
    • 3 篇 航空宇航科学与技...
    • 2 篇 力学(可授工学、理...
  • 123 篇 理学
    • 92 篇 数学
    • 17 篇 系统科学
    • 12 篇 生物学
    • 6 篇 统计学(可授理学、...
    • 5 篇 化学
    • 3 篇 物理学
    • 2 篇 地质学
  • 109 篇 管理学
    • 78 篇 图书情报与档案管...
    • 42 篇 管理科学与工程(可...
    • 23 篇 工商管理
  • 16 篇 教育学
    • 15 篇 教育学
  • 8 篇 法学
    • 8 篇 社会学
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
  • 1 篇 农学

主题

  • 468 篇 object oriented ...
  • 24 篇 languages
  • 22 篇 object oriented ...
  • 17 篇 object-oriented ...
  • 16 篇 computer languag...
  • 15 篇 performance
  • 15 篇 java
  • 12 篇 design
  • 10 篇 computer program...
  • 10 篇 user interfaces
  • 9 篇 software enginee...
  • 9 篇 verification
  • 8 篇 application soft...
  • 8 篇 semantics
  • 8 篇 computer aided s...
  • 7 篇 computer science
  • 7 篇 parallel program...
  • 7 篇 static analysis
  • 7 篇 scala
  • 6 篇 reliability

机构

  • 7 篇 swiss fed inst t...
  • 6 篇 univ texas austi...
  • 5 篇 ibm t.j. watson ...
  • 5 篇 carnegie mellon ...
  • 5 篇 university of il...
  • 4 篇 ecole polytech f...
  • 4 篇 univ waterloo wa...
  • 4 篇 victoria univers...
  • 4 篇 at and t united ...
  • 3 篇 ibm united state...
  • 3 篇 school of comput...
  • 3 篇 university of te...
  • 3 篇 univ of washingt...
  • 3 篇 university of il...
  • 3 篇 oregon graduate ...
  • 3 篇 ibm
  • 3 篇 schlumberger-dol...
  • 3 篇 department of co...
  • 3 篇 intel corp santa...
  • 3 篇 computer science...

作者

  • 9 篇 biddle robert
  • 9 篇 aldrich jonathan
  • 8 篇 de champeaux den...
  • 8 篇 noble james
  • 8 篇 cook william r.
  • 7 篇 johnson ralph
  • 7 篇 coad peter
  • 7 篇 abi-antoun marwa...
  • 6 篇 baniassad elisa
  • 6 篇 yonezawa akinori
  • 6 篇 jacobson ivar
  • 5 篇 mckinley kathryn...
  • 5 篇 sweeney peter f.
  • 5 篇 palsberg jens
  • 5 篇 grothoff christi...
  • 5 篇 helm richard
  • 5 篇 yoder joseph w.
  • 5 篇 alphonce carl
  • 5 篇 kiczales gregor
  • 5 篇 ungar david

语言

  • 998 篇 英文
  • 24 篇 其他
检索条件"任意字段=1988 Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 1988"
1022 条 记 录,以下是331-340 订阅
排序:
Deriving object typestates in the presence of inter-object references  05
Deriving object typestates in the presence of inter-object r...
收藏 引用
oopsla'05 - 20th Annual ACM conference on object-oriented programming, systems, languages, and applications
作者: Nanda, Mangala Gowri Grothoff, Christian Chandra, Satish IBM India Research Laboratory India University of California Los Angeles United States
We are interested in static analysis of Java classes with the goal of discovering the preconditions under which a certain program point within a method may be reached, taking into account the effects of previous metho... 详细信息
来源: 评论
Proceedings of the conference on object-oriented programming systems, languages, and applications, oopsla: Welcome from the program chair
Proceedings of the Conference on Object-Oriented Programming...
收藏 引用
Proceedings of the conference on object-oriented programming systems, languages, and applications, oopsla 2004年 iv页
作者: Schmidt, Douglas C. Vanderbilt University United States
来源: 评论
Proceedings of the conference on object-oriented programming systems, languages, and applications, oopsla: Welcome
Proceedings of the Conference on Object-Oriented Programming...
收藏 引用
Proceedings of the conference on object-oriented programming systems, languages, and applications, oopsla 2004年 iii页
作者: Vlissides, John IBM Research United States
来源: 评论
Proceedings of the conference on object-oriented programming systems, languages, and Application, oopsla: Foreword
Proceedings of the Conference on Object-Oriented Programming...
收藏 引用
Proceedings of the conference on object-oriented programming systems, languages, and applications, oopsla 2005年 iii页
作者: Johnson, Ralph Gabriel, Richard P. University of Illinois United States Sun Microsystems Laboratories
No abstract available
来源: 评论
Generic ownership: Practical ownership control in programming languages
Generic ownership: Practical ownership control in programmin...
收藏 引用
19th Annual ACM conference on object-oriented programming, systems, languages, and applications, oopsla'04
作者: Potanin, Alex Noble, James Biddle, Robert Victoria University of Wellington New Zealand
This research abstract outlines the work I plan to do as part of my PhD. In particular, I propose to devise a practical way of integrating ownership control into existing programming languages in a way that will help ... 详细信息
来源: 评论
Granule-oriented programming (extended abstract)
Granule-oriented programming (extended abstract)
收藏 引用
19th Annual ACM conference on object-oriented programming, systems, languages, and applications, oopsla'04
作者: Zhao, Yinliang Department of Computer Science and Technology Xi'an Jiaotong University Xi'an 710049 China
It's a pleasure to welcome you to oopsla 2004, the 19th Annual conference on object-oriented programming, systems, languages, and applications. oopsla is the premier forum for practitioners, researchers, and stude... 详细信息
来源: 评论
ConstrainedJava
ConstrainedJava
收藏 引用
19th Annual ACM conference on object-oriented programming, systems, languages, and applications, oopsla'04
作者: Gordon, Donald Noble, James Biddle, Robert Victoria University of Wellington P.O. Box 600 Wellington New Zealand Carleton University 1125 Colonel By Drive Ottawa Canada
Interactive graphical applications implicitly contain a large number of constraints - relationships between objects, such as widgets and the underlying model they control. Encapsulation, a fundamental principle of obj... 详细信息
来源: 评论
Enhancing distributed object middleware qualities
Enhancing distributed object middleware qualities
收藏 引用
19th Annual ACM conference on object-oriented programming, systems, languages, and applications, oopsla'04
作者: Krishna, Arvind S. Electrical Engineering and Computer Science Department Vanderbilt University Nashville TN United States
It's a pleasure to welcome you to oopsla 2004, the 19th Annual conference on object-oriented programming, systems, languages, and applications. oopsla is the premier forum for practitioners, researchers, and stude... 详细信息
来源: 评论
JIVE: Java interactive visualization environment
JIVE: Java interactive visualization environment
收藏 引用
19th Annual ACM conference on object-oriented programming, systems, languages, and applications, oopsla'04
作者: Gestwicki, Paul V. Jayaraman, Bharat Department of Computer Science and Engineering University at Buffalo 201 Bell Hall Buffalo NY 14260-2000 United States
JIVE represents a novel approach to runtime visualization and analysis of Java programs. It facilitates program understanding and interactive debugging, featuring: multiple, customizable views of object structure;repr... 详细信息
来源: 评论
Reflective composition: The declarative composition of roles to unify objects, roles, and aspects
Reflective composition: The declarative composition of roles...
收藏 引用
19th Annual ACM conference on object-oriented programming, systems, languages, and applications, oopsla'04
作者: Holland, Simon Department of Computing Open University Milton Keynes MK7 6AA United Kingdom
As bases for object-orientation, both class-based and prototype-based organization have limitations. We argue that roles have significant benefits as a foundation for organizing objects. We further argue that these be... 详细信息
来源: 评论