咨询与建议

限定检索结果

文献类型

  • 36 篇 会议
  • 1 册 图书

馆藏范围

  • 36 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 33 篇 工学
    • 29 篇 软件工程
    • 25 篇 计算机科学与技术...
    • 2 篇 信息与通信工程
    • 2 篇 控制科学与工程
    • 2 篇 土木工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 电气工程
    • 1 篇 电子科学与技术(可...
  • 5 篇 管理学
    • 4 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 2 篇 理学
    • 2 篇 数学

主题

  • 3 篇 object oriented ...
  • 3 篇 performance
  • 3 篇 design
  • 3 篇 semantics
  • 1 篇 low-locality
  • 1 篇 dma
  • 1 篇 heterogeneous me...
  • 1 篇 flexible structu...
  • 1 篇 structured progr...
  • 1 篇 fast logging
  • 1 篇 crash-consistent...
  • 1 篇 operating system...
  • 1 篇 b plus trees
  • 1 篇 deterministic re...
  • 1 篇 high level langu...
  • 1 篇 computer archite...
  • 1 篇 buffered writes
  • 1 篇 fortran (program...
  • 1 篇 indirect jumps
  • 1 篇 virtual function...

机构

  • 1 篇 ibm research cen...
  • 1 篇 massachusetts in...
  • 1 篇 coll william & m...
  • 1 篇 computer science...
  • 1 篇 univ calif san d...
  • 1 篇 univ chinese aca...
  • 1 篇 university of il...
  • 1 篇 university of ca...
  • 1 篇 princeton univ p...
  • 1 篇 georgia inst tec...
  • 1 篇 université de te...
  • 1 篇 univ illinois ur...
  • 1 篇 aws ai united st...
  • 1 篇 department of co...
  • 1 篇 at t belt labora...
  • 1 篇 intermetrics inc...
  • 1 篇 huawei technol p...
  • 1 篇 information syst...
  • 1 篇 schlumberger-dol...
  • 1 篇 harvard universi...

作者

  • 1 篇 liskov barbara
  • 1 篇 kaufmann antoine
  • 1 篇 lu maohua
  • 1 篇 lecarme olivier
  • 1 篇 sui xiufeng
  • 1 篇 prenner charles ...
  • 1 篇 chiueh tzi-cker
  • 1 篇 sharma naveen kr...
  • 1 篇 hoseinzadeh mort...
  • 1 篇 kim hyesoon
  • 1 篇 dinitz rick
  • 1 篇 liu xu
  • 1 篇 smith reid g.
  • 1 篇 freiburghouse ro...
  • 1 篇 morris james b.
  • 1 篇 grossman dan
  • 1 篇 ceze luis
  • 1 篇 zaks rodnay
  • 1 篇 hwu wen-mei
  • 1 篇 song xiang

语言

  • 36 篇 英文
  • 1 篇 中文
检索条件"任意字段=1973 ACM SIGPLAN - SIGOPS Interface Meeting: Programming Languages - Operating Systems"
37 条 记 录,以下是1-10 订阅
排序:
Proceedings of acm sigplan-sigops interface meeting : programming languages, operating systems : Sav
Proceedings of ACM SIGPLAN-SIGOPS Interface Meeting : progra...
收藏 引用
1973年
作者: acm sigplan-sigops interface meeting
来源: 内蒙古大学图书馆图书 评论
programming languages for operating systems
Programming languages for operating systems
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: McKeag, R.M. Department of Computer Science Queen's University of Belfast BelfastBT7 1NN Ireland
This paper outlines some of the things that an operating system designer looks for in a programming language. This working paper was submitted to the ***. sigplan/sigops interface meeting held at Savannah, Georgia fro...
来源: 评论
Report of session on structured programming
Report of session on structured programming
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: Freiburghouse, Robert Liskov, Barbara
The session on structured programming was both interesting and lively, and many aspects of structured programming were discussed. Conspicuous by its absence was a debate on the use of goto's;chairman Bob Freiburgh... 详细信息
来源: 评论
An experience in structured programming and transferability
An experience in structured programming and transferability
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: Lecarme, Olivier Dept. Of Computer Science Université de Montréal Canada
This paper is not concerned with a true operating system, but with a long and complex program, that is a translator writing system (TWS) which has many of the characteristics of operating systems. The experience repor... 详细信息
来源: 评论
A data flow language for operating systems programming
A data flow language for operating systems programming
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: Kosinski, Paul R. IBM Research Center Yorktown HeightsNY10598 United States
This paper describes a graphical programming language based on the concept of pure data flow sequencing of computations. Programs in this language are constructed through function definition and composition, and are b... 详细信息
来源: 评论
International Conference on Architectural Support for programming languages and operating systems - ASPLOS
International Conference on Architectural Support for Progra...
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
The proceedings contain 40 papers. The topics discussed include: report of session on semantics;report of session on structured programming;report of session on transferability;report of session on systems programming...
来源: 评论
A programming language family for the navy AADC
A programming language family for the navy AADC
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: Miller, James S. Intermetrics Incorporated 701 Concord Avenue CambridgeMA02138 United States
The U.S. Navy is sponsoring the development of a modern-technology computer system known as the All-Applications Digital Computer (AADC). Originally intended for avionics purposes alone, the promising success of the p... 详细信息
来源: 评论
Report of session on systems programming languages
Report of session on systems programming languages
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: Freiburghouse, Robert A. Graham, Robert M.
Discussion in this session centered around two major topics: experience using a particular language for systems programming and features which are required or desirable in a systems programming language. In general, a...
来源: 评论
Specification languages for control programs
Specification languages for control programs
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: Austin, Joseph H. Univac M8-144 P. O. Box 500 Blue BellPA19422 United States
This study (1) describes an approach to the formal specification of control programs based on the generalized concept of binding. From this viewpoint, the individual operations of a control program may be described by... 详细信息
来源: 评论
Extensible control structures
Extensible control structures
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: Prenner, Charles J. Center for Research in Computing Technolog Harvard University CambridgeMA United States
A considerable amount of programming language research has been directed towards the development of extensible languages. Typically, these languages allow data type extensions, in which new data types are constructed ... 详细信息
来源: 评论