咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程
  • 1 篇 理学
    • 1 篇 数学

主题

  • 2 篇 regular expressi...
  • 2 篇 structured inter...
  • 1 篇 two-dimensional ...
  • 1 篇 network algebra
  • 1 篇 regular algebra
  • 1 篇 interactive prog...
  • 1 篇 kleene theorem
  • 1 篇 parallel program...
  • 1 篇 finite interacti...
  • 1 篇 specification
  • 1 篇 verification
  • 1 篇 formal methods
  • 1 篇 2-dimensional la...
  • 1 篇 relational seman...
  • 1 篇 contours

机构

  • 2 篇 univ bucharest d...

作者

  • 1 篇 banu-demergian i...
  • 1 篇 banu-demergian i...
  • 1 篇 stefanescu g.
  • 1 篇 paduraru c. i.
  • 1 篇 stefanescu gheor...

语言

  • 2 篇 英文
检索条件"主题词=structured interactive programming"
2 条 记 录,以下是1-10 订阅
排序:
Towards a Formal Representation of interactive Systems
收藏 引用
FUNDAMENTA INFORMATICAE 2014年 第3-4期131卷 313-336页
作者: Banu-Demergian, Iulia Teodora Stefanescu, Gheorghe Univ Bucharest Dept Comp Sci Bucharest 010014 Romania
Powerful algebraic techniques have been developed for classical sequential computation. Many of them are based on regular expressions and the associated regular algebra. For parallel and interactive computation, exten... 详细信息
来源: 评论
A New Representation of Two-Dimensional Patterns and Applications to interactive programming  1
收藏 引用
5th IPM International Conference on Fundamentals of Software Engineering (FSEN)
作者: Banu-Demergian, I. T. Paduraru, C. I. Stefanescu, G. Univ Bucharest Dept Comp Sci Bucharest Romania
Regular expressions and the associated regular algebra provide a rich formalism for specifying and analysing sequential models of computation. For parallel computation, extensions to handle two-dimensional patterns ar... 详细信息
来源: 评论