咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是111-120 订阅
排序:
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
来源: 评论
Specification-oriented semantics for communicating processes  10th
Specification-oriented semantics for communicating processes
收藏 引用
10th International Colloquium on Automata, Languages and programming, ICALP 1983
作者: Olderog, E.-R. Hoare, C.A.R. Programming Research Group Oxford University United Kingdom Institut für Informatik Universität Kiel Germany Programming Research Group Oxford University Computing Laboratory 8–11 Keble Road Oxford0X1 3QD United Kingdom
We are aiming at a classification of semantical models for Communicating Processes that will enable us to recommend certain models which are just detailed enough for particular applications. But before such an aim can... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Functional geometry  82
Functional geometry
收藏 引用
1982 ACM Symposium on LISP and Functional programming, LFP 1982
作者: Henderson, Peter Oxford University Computing Laboratory Programming Research Group 45 Sanbury Road Oxford0X2 6PE United Kingdom
A method of describing pictures is introduced. The equations, which describe the appearance of a picture, also form a purely functional program which can be used to compute the set of lines necessary to plot the pictu...
来源: 评论
THE CONGRUENCE OF 2 programming LANGUAGE DEFINITIONS
收藏 引用
THEORETICAL COMPUTER SCIENCE 1981年 第2期13卷 151-174页
作者: STOY, JE Oxford University Computing Laboratory Programming Research Group Oxford United Kingdom
来源: 评论
A CALCULUS OF TOTAL CORRECTNESS FOR COMMUNICATING PROCESSES
收藏 引用
SCIENCE OF COMPUTER programming 1981年 第1-2期1卷 49-72页
作者: HOARE, CAR Oxford University Computing Laboratory Programming Research Group Oxford OX2 6PE United Kingdom
A process communicates with its environment and with other processes by syncronized output and input on named channels. The current state of a process is defined by the sequences of messages which have passed along ea...
来源: 评论
Software engineering: A keynote address  3
Software engineering: A keynote address
收藏 引用
3rd International Conference on Software Engineering, ICSE 1978
作者: Hoare, C.A.R. Oxford University Computing Laboratory Programming Research Group United Kingdom
This paper argues that our recent progress in the development of a sound programming methodology should not lead us to ignore the more difficult aspects of engineering;and that in future we should pay more attention t... 详细信息
来源: 评论