DEVELOPMENT TRANSFORMATION BASED ON HIGHER-ORDER TYPE THEORY

被引：0
|
作者：
LU, JG [1 ]
XU, JF [1 ]
机构：
[1] NANJING UNIV,INST COMP SOFTWARE,NANJING 210008,PEOPLES R CHINA
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 613卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：58 / 70
页数：13
相关论文
共 50 条
  • [1] A Theory of Higher-Order Subtyping with Type Intervals
    Stucki, Sandro
    Giarrusso, Paolo G.
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5
  • [2] A CONSISTENT HIGHER-ORDER THEORY WITHOUT A (HIGHER-ORDER) MODEL
    FORSTER, T
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (05): : 385 - 386
  • [3] Conservativity of Type Theory over Higher-Order Arithmetic
    Otten, Daniel
    van den Berg, Benno
    [J]. 32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
  • [4] Theory and development of higher-order CMAC neural networks
    Lane, Stephen H.
    Handelman, David A.
    Gelfand, Jack J.
    [J]. IEEE Control Systems Magazine, 1992, 12 (02): : 23 - 30
  • [5] HIGHER-ORDER THEORY OF GRAVITATION
    PANDEY, SN
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1988, 27 (06) : 695 - 702
  • [6] HIGHER-ORDER LEVERMORE THEORY
    POMRANING, GC
    [J]. JOURNAL OF QUANTITATIVE SPECTROSCOPY & RADIATIVE TRANSFER, 1984, 32 (03): : 185 - 190
  • [7] A Higher-Order Theory of Presupposition
    Martin, Scott
    Pollard, Carl
    [J]. STUDIA LOGICA, 2012, 100 (04) : 727 - 751
  • [8] A Higher-Order Theory of Presupposition
    Scott Martin
    Carl Pollard
    [J]. Studia Logica, 2012, 100 : 727 - 751
  • [9] Higher-order matching for program transformation
    de Moor, O
    Sittampalam, G
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 269 (1-2) : 135 - 162
  • [10] GENERALIZATION FROM PARTIAL PARAMETRIZATION IN HIGHER-ORDER TYPE THEORY
    HAGIYA, M
    [J]. THEORETICAL COMPUTER SCIENCE, 1989, 63 (02) : 113 - 139
12345