咨询与建议

限定检索结果

文献类型

  • 65 篇 会议
  • 62 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 95 篇 工学
    • 87 篇 计算机科学与技术...
    • 45 篇 软件工程
    • 15 篇 电气工程
    • 12 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 3 篇 机械工程
    • 3 篇 安全科学与工程
    • 1 篇 力学(可授工学、理...
  • 35 篇 理学
    • 32 篇 数学
    • 4 篇 物理学
    • 3 篇 统计学(可授理学、...
    • 1 篇 系统科学
  • 6 篇 管理学
    • 4 篇 图书情报与档案管...
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 公共管理
  • 2 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
  • 1 篇 哲学
    • 1 篇 哲学

主题

  • 16 篇 laboratories
  • 7 篇 software enginee...
  • 6 篇 concurrent compu...
  • 6 篇 computational mo...
  • 5 篇 computer archite...
  • 5 篇 hardware
  • 5 篇 algebra
  • 4 篇 parallel algorit...
  • 4 篇 costs
  • 4 篇 semantics
  • 4 篇 protocols
  • 4 篇 formal specifica...
  • 4 篇 formal methods
  • 4 篇 functional progr...
  • 4 篇 field programmab...
  • 3 篇 prototypes
  • 3 篇 discrete event s...
  • 3 篇 parallel program...
  • 3 篇 interference
  • 3 篇 programmable log...

机构

  • 18 篇 programming rese...
  • 6 篇 oxford universit...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 oxford universit...
  • 3 篇 oxford universit...
  • 3 篇 computing labora...
  • 2 篇 oxford universit...
  • 2 篇 programming rese...
  • 2 篇 international in...
  • 2 篇 programming rese...
  • 2 篇 programming rese...
  • 2 篇 programming rese...
  • 2 篇 oxford universit...
  • 2 篇 institute of nuc...
  • 2 篇 programming rese...
  • 2 篇 programming rese...
  • 2 篇 oxford universit...

作者

  • 7 篇 hoare car
  • 5 篇 bowen jonathan
  • 4 篇 w. luk
  • 4 篇 he jf
  • 4 篇 sanders j.w.
  • 4 篇 he jifeng
  • 3 篇 m.y.h. low
  • 3 篇 jifeng he
  • 3 篇 j. e. nicholls
  • 3 篇 wood kenneth r.
  • 2 篇 hoare c.a.r.
  • 2 篇 j. graham-cummin...
  • 2 篇 josephs mark b.
  • 2 篇 schneider steve
  • 2 篇 woodcock j.c.p.
  • 2 篇 lano k
  • 2 篇 k.r. sujithan
  • 2 篇 mosses p.d.
  • 2 篇 jones g
  • 2 篇 udding jan tijme...

语言

  • 126 篇 英文
  • 5 篇 其他
检索条件"机构=Programming Research Group Computing Laboratory"
131 条 记 录,以下是121-130 订阅
排序:
Compiler generation using denotational semantics  5th
Compiler generation using denotational semantics
收藏 引用
5th Symposium on Mathematical Foundations of Computer Science, MFCS 1976
作者: Mosses, P.D. Programming Research Group Oxford University Computing Laboratory 45 Banbury Road OxfordOX2 6PE United Kingdom
来源: 评论
Relations between programs with different storage requirements  5th
Relations between programs with different storage requiremen...
收藏 引用
5th Symposium on Mathematical Foundations of Computer Science, MFCS 1976
作者: Harrison, M.D. Oxford University Computing Laboratory Programming Research Group 45 Banbury Road OxfordOX2 6PE United Kingdom
来源: 评论
First-order reduction of call-by-name to call-by-value  4th
First-order reduction of call-by-name to call-by-value
收藏 引用
4th Symposium on Mathematical Foundations of Computer Science, MFCS 1975
作者: de Roever, Willem P. Programming Research Group Oxford University Computing Laboratory 45 Banbury Road OxfordOX2 6PE United Kingdom
The input-output behaviour of recursive program schemes with parameters called-by-name is expressed as a non-deterministic choice between calls of recursive program schemes with parameters called-by-value, and can the... 详细信息
来源: 评论
The semantics of semantic equations  3rd
收藏 引用
3rd Symposium on Mathematical Foundations of Computer Science, MFCS 1974
作者: Mosses, P.D. Oxford University Computing Laboratory Programming Research Group 45 Banbury Road OxfordOX2 6PE United Kingdom
来源: 评论
Os6-an experimental operating system for a small computer. Part 2: Input/output and filing system
收藏 引用
Computer Journal 1972年 第3期15卷 195-203页
作者: Stoy, J.E. Strachey, C. Oxford University Computing Laboratory Programming Research Group United Kingdom
This is a continuation of the description of OS6, and it covers the facilities for input/output, and the handling of files on the disc. The input/output system uses a very general form of stream;the filing system is d...
来源: 评论
Os6-an experimental operating system for a small computer. Part 1: General principles and structure
收藏 引用
Computer Journal 1972年 第2期15卷 117-124页
作者: Stoy, J.E. Strachey, C. Oxford University Computing Laboratory Programming Research Group United Kingdom
This paper is a description of a simple operating system, which runs in a virtual machine (implemented on a real machine by an interpreter). OS6 copes with only one user at a time, and is not a multi-programming syste...
来源: 评论
Z User Workshop, London 1992  1
收藏 引用
丛书名: Workshops in computing
1000年
作者: J. P. Bowen J. E. Nicholls
The Z notation has been developed at the programming research group at the Oxford University computing laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) deve... 详细信息
来源: 评论
Z User Workshop, Cambridge 1994  1
收藏 引用
丛书名: Workshops in computing
1000年
作者: J. P. Bowen J. A. Hall
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particul... 详细信息
来源: 评论
An Estimate of the Store Size Necessary for Dynamic Storage Allocation
收藏 引用
Journal of the ACM (JACM) 1971年 第3期18卷 416-423页
作者: Robson, J.M. Oxford University Programming Research Group Oxford University Computing Laboratory Oxford United Kingdom
Dynamic storage allocation using fixed blocks is usually inefficient in its use of store. The amount of store needed depends on the allocation strategy used. It is proved that for any strategy the amount of store need... 详细信息
来源: 评论
Z User Workshop, York 1991  1
收藏 引用
丛书名: Workshops in computing
1000年
作者: J. E. Nicholls
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value ... 详细信息
来源: 评论