咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 906 篇 工学
    • 860 篇 软件工程
    • 784 篇 计算机科学与技术...
    • 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

语言

  • 999 篇 英文
  • 24 篇 其他
检索条件"任意字段=1988 Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 1988"
1023 条 记 录,以下是971-980 订阅
排序:
From object Algebras to Attribute Grammars
收藏 引用
ACM SIGPLAN NOTICES 2014年 第10期49卷 377-395页
作者: Rendel, Tillmann Brachthaeuser, Jonathan Immanuel Ostermann, Klaus Univ Marburg D-35032 Marburg Germany
Oliveira and Cook (2012) and Oliveira et al. (2013) have recently introduced object algebras as a program structuring technique to improve the modularity and extensibility of programs. We analyze the relationship betw... 详细信息
来源: 评论
Static Analysis of Event-Driven *** JavaScript applications
收藏 引用
ACM SIGPLAN NOTICES 2015年 第10期50卷 505-519页
作者: Madsen, Magnus Tip, Frank Lhotak, Ondrej Univ Waterloo Waterloo ON N2L 3G1 Canada Samsung Res Amer Mountain View CA USA
Many JavaScript programs are written in an event-driven style. In particular, in server-side Node. js applications, operations involving sockets, streams, and files are typically performed in an asynchronous manner, w... 详细信息
来源: 评论
Scrap Your Boilerplate with object Algebras
收藏 引用
ACM SIGPLAN NOTICES 2015年 第10期50卷 127-146页
作者: Zhang, Haoyuan Chu, Zewei Oliveira, Bruno C. D. S. van der Storm, Tijs Univ Hong Kong Hong Kong Hong Kong Peoples R China CWI Amsterdam Netherlands
Traversing complex Abstract Syntax Trees (ASTs) typically requires large amounts of tedious boilerplate code. For many operations most of the code simply walks the structure, and only a small portion of the code imple... 详细信息
来源: 评论
How Scale Affects Structure in Java Programs
收藏 引用
ACM SIGPLAN NOTICES 2015年 第10期50卷 675-694页
作者: Lopes, Cristina V. Ossher, Joel Univ Calif Irvine Bren Sch Informat & Comp Sci Irvine CA 92697 USA
Many internal software metrics and external quality attributes of Java programs correlate strongly with program size. This knowledge has been used pervasively in quantitative studies of software through practices such... 详细信息
来源: 评论
object oriented programming (OOP) and its relevance to designing intelligent software systems
Object oriented programming (OOP) and its relevance to desig...
收藏 引用
International conference on Computer languages
作者: H. Wechsler D. Rine Department of Canputer Science George Mason University Fairfax VA USA
The development of large software packages requires not only modularity but also the capability to experiment and change. Such a capability is akin to self-organization characteristics of adaptive systems. It is sugge... 详细信息
来源: 评论
Distributed programming with shared data
Distributed programming with shared data
收藏 引用
International conference on Computer languages
作者: H.E. Bal A.S. Tanenbaum Department of Computer Science Vrije Universiteit Amsterdam Netherlands
Operating system primitives (e.g. problem-oriented shared memory, shared virtual memory, the Agora shared memory) and languages (e.g. Concurrent Prolog, Linda, Emerald) for programming distributed systems have been pr... 详细信息
来源: 评论
Potential use of the object paradigm for software engineering environments in the 1990s
Potential use of the object paradigm for software engineerin...
收藏 引用
IEEE Annual International Computer Software and applications conference (COMPSAC)
作者: R.V. Mikkilineni US WEST Advanced Technologies Inc. Englewood CO USA
Identifies the confluence of several new technologies that will allow major improvements in the software development process. Future research in this area will encompass advances in database technology, programming la... 详细信息
来源: 评论
object-oriented paradigm and software engineering
Object-oriented paradigm and software engineering
收藏 引用
IEEE Annual International Computer Software and applications conference (COMPSAC)
作者: W.T. Tsai I. Zualkernan Department of Computer Science University of Minnesota Minneapolis USA
Summary form only given. Discusses the applicability of the object-oriented paradigm to the stage of problem specification. The authors define some criteria that can be used to assess this applicability and show how t... 详细信息
来源: 评论
object-based distributed computation in the Guide operating system  3
Object-based distributed computation in the Guide operating ...
收藏 引用
3rd Workshop on ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed systems, EW 1988
作者: Balter, R. Decouchant, D. Duda, A. Freyssinet, A. Krakowiak, S. Meysembourg, M. Roisin, C. De Pina, X. Rousset Scioville, R. Vandôme, G. IMAG BP 53X Grenoble Cedex38041 France Laboratoixe de Génie Informatique IMAG BP 53X Grenoble Cedex38041 France
This paper briefly describes how the issues of access to (possibly remote) services and cooperative distributed computing are treated in Guide, a distributed operating system under development at Grenoble. Section 1 i... 详细信息
来源: 评论
Type Inference for Static Compilation of JavaScript
收藏 引用
ACM SIGPLAN NOTICES 2016年 第10期51卷 410-429页
作者: Chandra, Satish Gordon, Colin S. Jeannin, Jean-Baptiste Schlesinger, Cole Sridharan, Manu Tip, Frank Choi, Youngil Samsung Res Amer Mountain View CA 94043 USA Drexel Univ Philadelphia PA 19104 USA Northeastern Univ Boston MA 02115 USA Samsung Elect Suwon South Korea
We present a type system and inference algorithm for a rich subset of JavaScript equipped with objects, structural subtyping, prototype inheritance, and first-class methods. The type system supports abstract and recur... 详细信息
来源: 评论