PROGRAM CONCEPTION AND PROOF FROM DATA DECOMPOSITION

被引：0
|
作者：
GUIHO, G [1 ]
GRESSE, C [1 ]
BIDOIT, M [1 ]
机构：
[1] CO GEN ELECT,LAB MARCOUSIS,CTR RECH,MARCOUSIS,FRANCE
来源：
RAIRO-INFORMATIQUE-COMPUTER SCIENCE | 1980年 / 14卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
下载
收藏
页码：319 / 351
页数：33
相关论文
共 50 条
  • [1] FROM CONCEPTION TO DECOMPOSITION + EISENMAN,PETER
    FUJII, H
    A + U-ARCHITECTURE AND URBANISM, 1980, (112): : 249 - 252
  • [2] DATA REIFICATION AND PROGRAM DECOMPOSITION
    ANDREWS, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 389 - 422
  • [3] Vatreptacog Alfa from Conception to Clinical Proof of Concept
    Persson, Egon
    Olsen, Ole H.
    Bjorn, Soren E.
    Ezban, Mirella
    SEMINARS IN THROMBOSIS AND HEMOSTASIS, 2012, 38 (03): : 274 - 281
  • [4] The Biomedical Data Translator Program: Conception, Culture, and Community
    Fecho, Karamarie
    Clemons, Paul A.
    Ahalt, Stanley C.
    Altman, Russ B.
    Burtt, Noel
    Chute, Christopher G.
    Dumontier, Michel
    Francis, Tricia
    Glusman, Gustavo
    Guha, Rajarshi
    Haendel, Melissa
    Hoatlin, Maureen
    Ideker, Trey
    Knijnenburg, Theo
    Might, Matthew
    Peden, David B.
    Tropsha, Alexander
    Wawer, Mathias
    Weng, Chunhua
    CTS-CLINICAL AND TRANSLATIONAL SCIENCE, 2019, 12 (02): : 91 - 94
  • [5] Proof of the equilibrium thesis from the -probability conception of epistemic equality
    Cordes, Moritz
    ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 2023, 77 (01): : 7 - 16
  • [6] CONCEPTION OF A GENERAL PROGRAM FOR TREATMENT AND STATISTICAL INTERROGATIONS OF LOGIST DATA
    CHAU, N
    PATRIS, A
    MARTIN, J
    BENAMGHAR, L
    KOHLER, F
    LAMBERT, JP
    LEGRAS, B
    INTERNATIONAL JOURNAL OF BIO-MEDICAL COMPUTING, 1985, 16 (02): : 95 - 118
  • [7] Program extraction from large proof developments
    Cruz-Filipe, L
    Spitters, B
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 205 - 220
  • [8] The Objectivist Conception of Standards of Proof: Problems and Projects
    Dei Vecchi, Diego
    DOXA-CUADERNOS DE FILOSOFIA Y DERECHO, 2022, 45 : 337 - 373
  • [9] From syntactic theories to interpreters: Automating the proof of unique decomposition
    Xiao, Yong
    Sabry, Amr
    Ariola, Zena M.
    Higher-Order and Symbolic Computation, 2001, 14 (04) : 387 - 409
  • [10] THE CPSU PROGRAM - THE CONCEPTION OF COMMUNISM
    SCHLESINGER, R
    SOVIET STUDIES, 1962, 13 (04): : 383 - 406
12345