咨询与建议

限定检索结果

文献类型

  • 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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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...
来源: 评论
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... 详细信息
来源: 评论
The weed and techniques to obliterate control languages
The weed and techniques to obliterate control languages
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: Wiederhold, Gio C.M. Stanford University ACME Computer Facility United States
Control language functions have greatly increased in recent times. Much of the increase is due to the fact that as new facilities were developed in operating systems no corresponding specifications were added to commo... 详细信息
来源: 评论
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...
来源: 评论