咨询与建议

限定检索结果

文献类型

  • 3 篇 会议
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 3 篇 软件工程
  • 1 篇 管理学
    • 1 篇 图书情报与档案管...

主题

  • 1 篇 pattern matching
  • 1 篇 graphic methods
  • 1 篇 computer program...
  • 1 篇 artificial intel...

机构

  • 3 篇 programming rese...
  • 2 篇 programming meth...
  • 1 篇 programming meth...
  • 1 篇 department of co...
  • 1 篇 programming meth...

作者

  • 3 篇 wadler philip
  • 1 篇 chorvat ta
  • 1 篇 dromey rg
  • 1 篇 hughes r.j.m.

语言

  • 4 篇 英文
检索条件"机构=Programming Methodology Research Group"
4 条 记 录,以下是1-10 订阅
排序:
STRUCTURE CLASHES - AN ALTERNATIVE TO PROGRAM INVERSION
收藏 引用
COMPUTER JOURNAL 1990年 第2期33卷 126-132页
作者: DROMEY, RG CHORVAT, TA Programming Methodology Research Group Computing and Information Technology Griffith University Nathan Brisbane 4111Australia
A method for handling boundary structure clashes is presented. It provides a simple alternative to Jackson's program inversiontechnique. It is a constructive approach based on the use of prototypes. Development be... 详细信息
来源: 评论
Views: A way for pattern matching to Cohabit with data abstraction  87
Views: A way for pattern matching to Cohabit with data abstr...
收藏 引用
14th ACM SIGACT-SIGPLAN Symposium on Principles of programming Languages, POPL 1987
作者: Wadler, Philip Programming Research Group Oxford University United Kingdom Programming Methodology Group Chalmers University Sweden
Pattern matching and data abstraction are important concepts in designing programs, but they do not fit well together. Pattern matching depends on making public a free data type representation, while data abstraction ... 详细信息
来源: 评论
A new array operation
A new array operation
收藏 引用
International Workshop on Graph Reduction, 1986
作者: Wadler, Philip Programming Research Group Oxford University United Kingdom Programming Methodology Group Chalmers University Göteborg Sweden
A new monolithic array operation has been proposed. The operation is similar to earlier proposals, except that it uses the fold operation to combine multiple values with the same index. The new operation conveniently ... 详细信息
来源: 评论
Projections for strictness analysis  3rd
收藏 引用
3rd International Conference on Functional programming Languages and Computer Architecture, 1987
作者: Wadler, Philip Hughes, R.J.M. Programming Research Group Oxford University United Kingdom Programming Methodology Group Chalmers University Göteborg Sweden Department of Computer Science University of Glasgow United Kingdom
Contexts have been proposed as a means of performing strictness analysis on non-flat domains. Roughly speaking, a context describes how much a sub-expression will be evaluated by the surrounding program. This paper sh... 详细信息
来源: 评论