Mathematical foundations for program transformations

被引：0
|
作者：
Ben Ayed, R [1 ]
Desharnais, J
Frappier, M
Mili, A
机构：
[1] Univ Tunis II, Sch Engn, Belvedere, Tunisia
[2] Univ Laval, Quebec City, PQ G1K 7P4, Canada
[3] Univ Sherbrooke, Sherbrooke, PQ J1K 2R1, Canada
[4] Inst Software Res, Fairmont, WV 26554 USA
来源：
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION | 1999年 / 1559卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：319 / 321
页数：3
相关论文
共 50 条
  • [1] Automating Mathematical Program Transformations
    Agarwal, Ashish
    Bhat, Sooraj
    Gray, Alexander
    Grossmann, Ignacio E.
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2010, 5937 : 134 - +
  • [2] Mathematical foundations
    [J]. 1600, Springer Verlag (216):
  • [3] Mathematical foundations of biomechanics
    Niederer, Peter F.
    [J]. Critical Reviews in Biomedical Engineering, 2010, 38 (06) : 533 - 577
  • [4] MATHEMATICAL FOUNDATIONS FOR MATHEMATICS
    HENKIN, L
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1971, 78 (05): : 463 - &
  • [5] MATHEMATICAL FOUNDATIONS FOR MANUFACTURING
    KIM, SH
    SUH, NP
    [J]. JOURNAL OF ENGINEERING FOR INDUSTRY-TRANSACTIONS OF THE ASME, 1987, 109 (03): : 213 - 218
  • [6] Foundations for Mathematical Structuralism
    Nodelman, Uri
    Zalta, Edward N.
    [J]. MIND, 2014, 123 (489) : 39 - 78
  • [7] MATHEMATICAL FOUNDATIONS OF THERMODYNAMICS
    DOUGHERT.JP
    [J]. PHILOSOPHICAL MAGAZINE, 1965, 11 (114): : 1321 - &
  • [8] Foundations of mathematical economics
    Leonard, D
    [J]. ECONOMIC RECORD, 2003, 79 (244) : 148 - 149
  • [9] MATHEMATICAL FOUNDATIONS OF METAPHYSICS
    Krylov, S. M.
    [J]. VESTNIK SAMARSKOGO GOSUDARSTVENNOGO TEKHNICHESKOGO UNIVERSITETA-SERIYA-FIZIKO-MATEMATICHESKIYE NAUKI, 2012, (01): : 233 - 242
  • [10] MATHEMATICAL FOUNDATIONS OF NEUROCOMPUTING
    AMARI, S
    [J]. PROCEEDINGS OF THE IEEE, 1990, 78 (09) : 1443 - 1463
12345