咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 16 篇 laboratories
  • 8 篇 software enginee...
  • 6 篇 concurrent compu...
  • 6 篇 computer archite...
  • 6 篇 computational mo...
  • 6 篇 formal specifica...
  • 5 篇 hardware
  • 5 篇 algebra
  • 4 篇 parallel algorit...
  • 4 篇 costs
  • 4 篇 protocols
  • 4 篇 formal methods
  • 4 篇 functional progr...
  • 4 篇 field programmab...
  • 4 篇 data refinement
  • 3 篇 simulation
  • 3 篇 operating system...
  • 3 篇 prototypes
  • 3 篇 discrete event s...
  • 3 篇 parallel program...

机构

  • 21 篇 programming rese...
  • 6 篇 oxford universit...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 oxford universit...
  • 3 篇 oxford universit...
  • 3 篇 programming rese...
  • 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...

作者

  • 7 篇 hoare car
  • 4 篇 bowen jonathan
  • 4 篇 w. luk
  • 4 篇 he jf
  • 4 篇 sanders j.w.
  • 4 篇 he jifeng
  • 4 篇 luk w
  • 3 篇 todd bs
  • 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.

语言

  • 130 篇 英文
  • 7 篇 其他
检索条件"机构=Programming Research Group Computing Laboratory"
137 条 记 录,以下是111-120 订阅
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... 详细信息
来源: 评论
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
A generalization of Dijkstra's weakest precondition, called the weakest prespecification, is presented. The increase in generally is obtained at the cost of some increase in complexity, which can be justified only... 详细信息
来源: 评论
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... 详细信息
来源: 评论
An algebraic transformation system for occam programs  4th
An algebraic transformation system for occam programs
收藏 引用
4th Annual Symposium on Theoretical Aspects of Computer Science, STACS 1987
作者: Goldsmith, M. Cox, A. Barrett, G. Oxford University Computing Laboratory Programming Research Group 8-11 Keble Road OxfordOX 1 30D United Kingdom
来源: 评论
Distributed computing software project  2
Distributed computing software project
收藏 引用
2nd Workshop on Making Distributed Systems Work, EW 1986
作者: Gimson, Roger Bowen, Jonathan Gleeon, Tim Oxford University Computing Laboratory Programming Research Group 8-11 Keble Road OxfordOX1 3QD United Kingdom
The Distributed computing Software project at Oxford University is using formal spécification techniques to explore the design of services in a distributed operating system. Our goal is to construct and publish t... 详细信息
来源: 评论
APPLYING FORMAL SPECIFICATION TO SOFTWARE-DEVELOPMENT IN INDUSTRY
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1985年 第2期11卷 169-178页
作者: HAYES, IJ Programming Research Group Computing Laboratory Oxford University
This paper reports experience gained in applying formal specification techniques to an existing transaction processing system. The system is the IBM Customer Information Control System (CICS) and the work has concentr... 详细信息
来源: 评论
A THEORY OF BINARY DIGITAL PICTURES
收藏 引用
COMPUTER VISION GRAPHICS AND IMAGE PROCESSING 1985年 第2期32卷 221-243页
作者: KONG, TY ROSCOE, AW Oxford University Computing Laboratory Programming Research Group 11 Keble Road Oxford United Kingdom OX1 3QD
We study 2- and 3-dimensional digital geometry in the context of almost arbitrary adjacency relations. (Previous authors have based their work on particular adjacency relations). We define a binary digital picture to ... 详细信息
来源: 评论
Designing regular array architectures using higher order functions  2nd
收藏 引用
2nd International Conference on Functional programming Languages and Computer Architecture, 1985
作者: Sheeran, Mary Programming Research Group Oxford University Computing Laboratory 8-11 Keble Road OxfordOX1 3QD United Kingdom
Functional programmers often use higher order functions such as map, reduce and filter in writing programs. By giving such higher order functions geometric as well as behavioural interpretation, we use similar techniq... 详细信息
来源: 评论
A Couple of Novelties in the Propositional Calculus
收藏 引用
Mathematical Logic Quarterly 1985年 第9-12期31卷 173-178页
作者: Hóre, C.A.R. Oxford University Computing Laboratory Programming Research Group Oxford OX1 3QD 8‐11 Keble Road United Kingdom
来源: 评论
WHY THE DISTRIBUTIVE LAW IS SOMETIMES FALSE
收藏 引用
ANALYSIS 1984年 第2期44卷 64-67页
作者: GIBBINS, PF Programming Research Group Computing Laboratory8-11 Keble Road Oxford
来源: 评论