咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 95 篇 工学
    • 87 篇 计算机科学与技术...
    • 46 篇 软件工程
    • 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...
  • 6 篇 algebra
  • 5 篇 computer archite...
  • 5 篇 hardware
  • 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 篇 其他
检索条件"机构=Computing Laboratory Programming Research Group"
131 条 记 录,以下是31-40 订阅
排序:
PRESPECIFICATION IN DATA REFINEMENT
收藏 引用
INFORMATION PROCESSING LETTERS 1987年 第2期25卷 71-76页
作者: HOARE, CAR HE, J SANDERS, JW Programming Research Group Oxford University Computing Laboratory 8–11 Keble Road Oxford OX1 3QD United Kingdom
In data refinement, a concrete data type replaces an abstract data type used in the design of an algorithm or system (Gries and Prins, 1985; Hoare, 1972; Jones, 1980). We present two methods for calculating the weakes... 详细信息
来源: 评论
WHY THE DISTRIBUTIVE LAW IS SOMETIMES FALSE
收藏 引用
ANALYSIS 1984年 第2期44卷 64-67页
作者: GIBBINS, PF Programming Research Group Computing Laboratory8-11 Keble Road Oxford
来源: 评论
A MODEL OF RECONFIGURATION IN COMMUNICATING SEQUENTIAL PROCESSES
收藏 引用
INFORMATION PROCESSING LETTERS 1990年 第1期35卷 19-22页
作者: JACOB, J Oxford University Computing Laboratory Programming Research Group 8 - 11 Keble Road Oxford OX1 3QD UK
A mathematical model of reconfigurability. We restrict is presented. The study is restricted to reconfigurations that can be implemented by connecting and disconnecting the wires that link nodes;these wires could be p... 详细信息
来源: 评论
THE WEAKEST PRESPECIFICATION
收藏 引用
INFORMATION PROCESSING LETTERS 1987年 第2期24卷 127-132页
作者: HOARE, CAR HE, JF Programming Research Group Oxford University Computing Laboratory 8–11 Keble Road Oxford OX1 3QD United Kingdom
Dijkstra's (1975) weakest precondition is generalized in 4 ways, including: 1. The parameter Q may be a program, or it may be just the specification of a program that is not yet written. 2. The programming lang... 详细信息
来源: 评论
FORMAL SPECIFICATION OF THE PROCOS SAFEMOS INSTRUCTION SET
收藏 引用
MICROPROCESSORS AND MICROSYSTEMS 1990年 第10期14卷 631-643页
作者: BOWEN, J Oxford University Computing Laboratory Programming Research Group 11 Keble Road Oxford OX1 3QD UK
Two collaborative projects, the European ESPRIT BRA ProCoS project and the UK IED safemos project, are currently investigating methods to prove software and hardware systems correct at a number of different levels of ... 详细信息
来源: 评论
THE RUDIMENTS OF ALGORITHM REFINEMENT
收藏 引用
COMPUTER JOURNAL 1992年 第5期35卷 441-450页
作者: WOODCOCK, JCP Oxford University Computing Laboratory Programming Research Group 11 Keble Road Oxford 0X1 3QD
We describe the rudiments of algorithm refinement: the business of taking a specification and producing code that correctly implements it. The paper starts with a general discussion of the concepts, and then turns to ... 详细信息
来源: 评论
THE ALPHA-BETA-ALGORITHM - AN EXERCISE IN PROGRAM TRANSFORMATION
收藏 引用
INFORMATION PROCESSING LETTERS 1987年 第1期24卷 53-57页
作者: BIRD, RS HUGHES, J Programming Research Group Oxford University Computing Laboratory 8-11 Keble Road Oxford OX1 3QD United Kingdom
Program transformation is used to develop the alpha-beta pruning algorithm from a specification of minimaxing. The pruning algorithm is nontrivial, and yet the transformation turns out to be relatively straightforward... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Denotational semantics as a specification of code generators  82
Denotational semantics as a specification of code generators
收藏 引用
1982 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1982
作者: Raskovsky, Martin R. Essex University Department Of Computing Science Oxford University Computing Laboratory Programming Research Group United Kingdom
We describe the automatic generation - from the formal denotational semantic specification - of an efficient compiler's code generation phase, producing efficient code for real machines. The method has been succes... 详细信息
来源: 评论
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... 详细信息
来源: 评论