咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是271-280 订阅
排序:
The OOPS framework: High level ions for the development of parallel scientific applications
The OOPS framework: High level ions for the development of p...
收藏 引用
21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
作者: Sonoda, Eloiza Travieso, Gonzalo Instituto de Matemática e Estatística Universidade de São Paulo São Paulo SP Brazil Instituto de Física de São Carlos Universidade de São Paulo São Carlos SP Brazil
OOPS (object-oriented Parallel System) is a framework designed to support programming of concurrent scientific applications for parallel execution. The high level abstractions provided by OOPS free the programmer from... 详细信息
来源: 评论
Smalltalk card game for learning object-oriented thinking in an evolutionary way
Smalltalk card game for learning object-oriented thinking in...
收藏 引用
21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
作者: Kim, Seungbum Choi, Sookkyoung Jang, Hyesun Kwon, Daiyoung Yeum, Yongchul Lee, Wongyu Computer Science Education Graduate School Korea University Dept. of Computer Science Education College of Education Korea University Anam-dong Seungbuk-gu Seoul 136-701 Korea Republic of
Smalltalk Card Game (SCG) is an activity using index cards for learning object-oriented thinking. In its name, 'Smalltalk', does not represent a kind of computer language but the literal meaning of the word - ... 详细信息
来源: 评论
Towards agile security in web applications
Towards agile security in web applications
收藏 引用
21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
作者: Kongsli, Vidar Bekk Consulting AS Vippetangen Skur 39 N-0150 Oslo Norway
In this paper, we present an approach that we have used to address security when running projects according to agile principles. Misuse stories have been added to user stories to capture malicious use of the applicati... 详细信息
来源: 评论
DEMOS: A tool for declarative executable modeling of object-based systems
DEMOS: A tool for declarative executable modeling of object-...
收藏 引用
21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
作者: Glodt, Christian Kelsen, Pierre University of Luxembourg
The recently introduced EP-model citeeptr proposes a declarative executable model for engineering object-based systems which achieves executability through a hybrid approach that annotates model elements with Java cod... 详细信息
来源: 评论
Writing truly efficient smalltalk
Writing truly efficient smalltalk
收藏 引用
21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
作者: Valloud, Andrés
This paper shows how to substantially increase the performance of Smalltalk programs by creating more classes to take advantage of polymorphism. An improved implementation of the well-known message match:, using this ... 详细信息
来源: 评论
Hop: A language for programming the web 2.0
Hop: A language for programming the web 2.0
收藏 引用
21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
作者: Serrano, Manuel Gallesio, Erick Loitsch, Florian Inria Sophia Antipolis 2004 route des Lucioles 06902 Sophia Antipolis Cedex France Université de Nice Inria Sophia Antipolis 930 route des Colles F-06903 Sophia Antipolis Cedex France
Hop is a new higher-order language designed for programming interactive web applications such as web agendas, web galleries, music players, etc. It exposes a programming model based on two computation levels. The firs... 详细信息
来源: 评论
Automated upgrading of component-based applications
Automated upgrading of component-based applications
收藏 引用
21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
作者: Dig, Danny Johnson, Ralph University of Illinois Urbana-Champaign
Frameworks and libraries change their APIs. Migrating an application to the new API is tedious and disrupts the development process. Although some tools and ideas have been proposed to solve the evolution of APIs, mos... 详细信息
来源: 评论
A flow-based approach for variant parametric types  06
A flow-based approach for variant parametric types
收藏 引用
21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
作者: Chin, Wei-Ngan Craciun, Florin Khoo, Siau-Cheng Popeea, Corneliu Department of Computer Science National University of Singapore
A promising approach for type-safe generic codes in the object-oriented paradigm is variant parametric type, which allows covariant and contravariant subtyping on fields where appropriate. Previous approaches formalis... 详细信息
来源: 评论
Young guns/object orientation: The next generation
Young guns/object orientation: The next generation
收藏 引用
21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
作者: Overbey, Jeffrey Foote, Brian Adamczyk, Paul Aldrich, Jonathan Baniassad, Elisa Grothoff, Christian Krishna, Arvind McDirmid, Sean Millstein, Todd Potanin, Alex Vaziri, Mandana University of Illinois Urbana-Champaign The Refactory Carnegie Mellon University Chinese University of Hong Kong University of Denver CO Qualcomm Ecole Polytechnique Fédérale Lausanne University of California Los Angeles Victoria University of Wellington IBM T.J. Watson Research Center
oopsla attendees have traditionally looked to the panel program for red-meat relief from a diet of high-fiber technical track material and abstruse Onward! exotica. However, panels often feature a tired parade of the ... 详细信息
来源: 评论
An operational semantics and type safety prooffor multiple inheritance in C++  06
An operational semantics and type safety prooffor multiple i...
收藏 引用
21st Annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, oopsla 2006
作者: Wasserrab, Daniel Nipkow, Tobias Snelting, Gregor Tip, Frank Universität Passau Technische Universität München IBM T.J. Watson Research Center
We present an operational semantics and type safety proof for multiple inheritance in C++. The semantics models the behaviour of method calls, field accesses, and two forms of casts in C++ class hierarchies exactly, a... 详细信息
来源: 评论