Behavioural specifications in type theory

被引：0
|
作者：
Mylonakis, N
机构：
来源：
RECENT TRENDS IN DATA TYPE SPECIFICATION | 1996年 / 1130卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we give a new view of the type theory UTT (Uniform theory of dependent types) [5] as a system to formally develop programs from algebraic specifications, comparable to e.g. EML([9]). We will focus our attention on behavioural specifications since they have not been deeply studied in a type theoretical setting, and we describe how to develop proofs about behavioural satisfaction.
引用
收藏
页码：394 / 408
页数：15
相关论文
共 50 条
  • [1] Behavioural specifications in type theory
    Lect Notes Comput Sci, (394):
  • [2] BEHAVIOURAL CATEGORICITY OF ABSTRACT DATA TYPE SPECIFICATIONS.
    Lescanne, Pierre
    1600, (26):
  • [3] Behavioural and abstractor specifications
    Bidoit, M
    Hennicker, R
    Wirsing, M
    SCIENCE OF COMPUTER PROGRAMMING, 1995, 25 (2-3) : 149 - 186
  • [4] Foundations for structuring behavioural specifications
    Diaconescu, Razvan
    Tutu, Ionut
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2014, 83 (3-4) : 319 - 338
  • [5] Behavioural and abstractor specifications revisited
    Hennicker, Rolf
    Madeira, Alexandre
    Wirsing, Martin
    THEORETICAL COMPUTER SCIENCE, 2018, 741 : 32 - 43
  • [6] ON SPECIFICATIONS, SUBSET TYPES AND INTERPRETATION OF PROPOSITION IN TYPE THEORY
    SALVESEN, A
    BIT, 1992, 32 (01): : 84 - 101
  • [7] Reconfigurability of behavioural specifications for manufacturing systems
    Schmidt, Klaus Werner
    INTERNATIONAL JOURNAL OF CONTROL, 2017, 90 (12) : 2605 - 2617
  • [8] Verifying behavioural specifications in CafeOBJ environment
    Mori, A
    Futatsugi, K
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1625 - 1643
  • [9] Behavioural specifications from class models
    Cavarra, Alessandra
    Welch, James
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2007, 4591 : 118 - 137
  • [10] Extensions of Grafcet to structure behavioural specifications
    Guéguen, H
    Bouteille, N
    CONTROL ENGINEERING PRACTICE, 2001, 9 (07) : 743 - 756
12345