PROPOSAL FOR A NATURAL FORMALIZATION OF FUNCTIONAL PROGRAMMING CONCEPTS

被引：0
|
作者：
BELLOT, P [1 ]
SARNI, D [1 ]
机构：
[1] UNIV SCI & TECH ALGER,BAR EL BEIDA,ALGERIA
来源：
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS | 1988年 / 22卷 / 03期
关键词：
D O I：
10.1051/ita/1988220303411
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：341 / 360
页数：20
相关论文
共 50 条
  • [41] In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming
    Bry, Francois
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (01) : 99 - 146
  • [42] Prefixation in Spanish: a proposal for computational formalization based on cognitive models
    Gonzalez, Isabel
    Montenegro, Genesis
    Pulido, Rosangela
    Riveros, Miguel
    Romero, Hillary
    Urdaneta, Lino
    [J]. LENGUA Y HABLA, 2019, 23 : 506 - 516
  • [43] Gestalt Algebra-A Proposal for the Formalization of Gestalt Perception and Rendering
    Michaelsen, Eckart
    [J]. SYMMETRY-BASEL, 2014, 6 (03): : 566 - 577
  • [44] A natural language help system shell through functional programming
    Plant, R
    Murrell, S
    [J]. KNOWLEDGE-BASED SYSTEMS, 2005, 18 (01) : 19 - 35
  • [45] Realization of natural language interfaces using lazy functional programming
    Frost, Richard A.
    [J]. ACM COMPUTING SURVEYS, 2006, 38 (04)
  • [46] Formalization of functional variation in HOL Light
    Zhang, Jingzhi
    Wang, Guohui
    Shi, Zhiping
    Guan, Yong
    Li, Yongdong
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 106 : 29 - 38
  • [47] A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes
    Mendoza Morales, Luis E.
    Capel Tunon, Manuel I.
    Perez, Maria A.
    [J]. ENTERPRISE INFORMATION SYSTEMS, 2011, 73 : 388 - +
  • [48] CONCEPTS FOR CONCURRENT PROGRAMMING
    SCHNEIDER, FB
    ANDREWS, GR
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 224 : 669 - 716
  • [49] The "Belemnitico rosso" facies in the East Balkan - a proposal of lithostratigraphic formalization
    Sinnyovsky, Dimitar
    Vangelov, Dian
    [J]. SPISANIE NA B LGARSKOTO GEOLOGICHESKO DRUZHESTOV-REVIEW OF THE BULGARIAN GEOLOGICAL SOCIETY, 2022, 83 : 153 - 156
  • [50] CONFUSIONS, CLARIFICATIONS AND METHODOLOGICAL PROPOSAL FOR THE ANALYSIS OF "FUNCTIONAL" AND "SKOPOS" FUNCTIONALIST CONCEPTS IN THE PRACTICE OF TRANSLATION
    Garcia Alvarez, Ana Maria
    [J]. SENDEBAR-REVISTA DE TRADUCCION E INTERPRETACION, 2006, (17): : 187 - 218
12345