咨询与建议

限定检索结果

文献类型

  • 737 篇 会议
  • 127 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 777 篇 工学
    • 742 篇 软件工程
    • 568 篇 计算机科学与技术...
    • 35 篇 控制科学与工程
    • 19 篇 电气工程
    • 19 篇 信息与通信工程
    • 16 篇 生物工程
    • 8 篇 土木工程
    • 6 篇 建筑学
    • 4 篇 化学工程与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 电子科学与技术(可...
    • 3 篇 环境科学与工程(可...
    • 2 篇 机械工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 59 篇 理学
    • 33 篇 数学
    • 18 篇 生物学
    • 6 篇 物理学
    • 6 篇 化学
    • 6 篇 系统科学
    • 1 篇 大气科学
    • 1 篇 地球物理学
    • 1 篇 统计学(可授理学、...
  • 59 篇 管理学
    • 35 篇 图书情报与档案管...
    • 26 篇 管理科学与工程(可...
    • 8 篇 工商管理
  • 12 篇 法学
    • 12 篇 社会学
    • 1 篇 法学
  • 6 篇 教育学
    • 6 篇 教育学
  • 3 篇 农学
    • 3 篇 作物学
  • 1 篇 医学

主题

  • 250 篇 languages
  • 111 篇 object oriented ...
  • 83 篇 performance
  • 83 篇 design
  • 52 篇 algorithms
  • 46 篇 verification
  • 43 篇 java
  • 41 篇 experimentation
  • 38 篇 reliability
  • 36 篇 computer program...
  • 34 篇 theory
  • 19 篇 human factors
  • 17 篇 concurrency
  • 16 篇 parallel program...
  • 16 篇 object-oriented ...
  • 15 篇 measurement
  • 14 篇 scala
  • 13 篇 aspect oriented ...
  • 13 篇 javascript
  • 12 篇 type systems

机构

  • 18 篇 univ washington ...
  • 13 篇 ecole polytech f...
  • 12 篇 tech univ darmst...
  • 11 篇 microsoft res re...
  • 9 篇 mit csail cambri...
  • 8 篇 univ texas austi...
  • 7 篇 univ marburg d-3...
  • 7 篇 univ texas austi...
  • 7 篇 aarhus univ dk-8...
  • 6 篇 princeton univ p...
  • 6 篇 johannes kepler ...
  • 6 篇 suny binghamton ...
  • 6 篇 harvard univ cam...
  • 6 篇 purdue univ w la...
  • 6 篇 univ calif berke...
  • 5 篇 univ duisburg es...
  • 5 篇 microsoft res ca...
  • 5 篇 ecole polytech f...
  • 5 篇 mcgill univ mont...
  • 5 篇 univ hong kong p...

作者

  • 12 篇 rajan hridesh
  • 12 篇 odersky martin
  • 11 篇 mezini mira
  • 10 篇 hirschfeld rober...
  • 10 篇 binder walter
  • 9 篇 salvaneschi guid...
  • 9 篇 aldrich jonathan
  • 9 篇 ostermann klaus
  • 8 篇 mckinley kathryn...
  • 8 篇 marr stefan
  • 8 篇 rompf tiark
  • 7 篇 oliveira bruno c...
  • 7 篇 noble james
  • 7 篇 liu yu david
  • 7 篇 kuncak viktor
  • 7 篇 gulwani sumit
  • 6 篇 bond michael d.
  • 6 篇 ceze luis
  • 6 篇 van der storm ti...
  • 6 篇 coad peter

语言

  • 745 篇 英文
  • 116 篇 其他
  • 2 篇 中文
  • 1 篇 俄文
检索条件"任意字段=2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages"
864 条 记 录,以下是861-870 订阅
排序:
EXTENDING THE SCOPE OF RELATIONAL languages.
EXTENDING THE SCOPE OF RELATIONAL LANGUAGES.
收藏 引用
Proceedings of the Nineteenth Hawaii international conference on System Sciences 1986. Volume 3: Healthcare Management systems, Medical Information Processing.
作者: Korth, Henry F. Univ of Texas at Austin Austin TX USA Univ of Texas at Austin Austin TX USA
The relational data model has become the most important model for database systems. The primary virtues of the model are its rigorous mathematical foundations and the correspondence of a relation with the notion of a ... 详细信息
来源: 评论
Smalltalk and generic concepts in programming languages  79
Smalltalk and generic concepts in programming languages
收藏 引用
Proceedings of the international conference on APL: part 1
作者: Alan C. Kay Learning Research Group Xerox Palo Alto Research Center Palo Alto California
Early generic concepts in programming languages were mixed-type arithmetic (e.g., “+” used with any combination of fixed-and floating-point numbers) and “print” functions which could be applied to any of a languag...
来源: 评论
SPECL: A system programming dialect of ECL
SPECL: A system programming dialect of ECL
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating systems
作者: Udin, David Harvard University Center for Computing Technology CambridgeMA United States
The SPECL programming system is an attempt to combine the characteristics of an implementation language with those desirable for verifiability (human and mechanical) and transportability. The former requires efficient... 详细信息
来源: 评论
GLOSS: A-semantic model of programming languages
GLOSS: A-semantic model of programming languages
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating systems
作者: Herriot, Robert G. Computer Science Group University of Washington SeattleWA98195 United States
GLOSS is a machine and language for modeling the semantics of programming languages. GLOSS is not intended to be a tool for mathematical proofs. Instead it is intended to provide an easily read graphical notation in w... 详细信息
来源: 评论