OPTRAN - A LANGUAGE SYSTEM FOR THE SPECIFICATION OF PROGRAM TRANSFORMATIONS - SYSTEM OVERVIEW AND EXPERIENCES

被引：0
|
作者：
LIPPS, P
MONCKE, U
WILHELM, R
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 371卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：52 / 65
页数：14
相关论文
共 50 条
  • [41] Separated parents' experiences with the Australian school system: an overview
    Desmarchelier, Renee
    Bryce, India
    Schaffer, Krystal
    Lawrence, Jill
    Cantrell, Kate
    [J]. AUSTRALIAN EDUCATIONAL RESEARCHER, 2024, 51 (01): : 255 - 274
  • [42] Separated parents’ experiences with the Australian school system: an overview
    Renee Desmarchelier
    India Bryce
    Krystal Schaffer
    Jill Lawrence
    Kate Cantrell
    [J]. The Australian Educational Researcher, 2024, 51 : 255 - 274
  • [43] TL - A SYSTEM SPECIFICATION SYSTEM
    BENDERS, LPM
    STEVENS, MPJ
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 835 - 842
  • [44] EXPERIENCES WITH A MODERN LANGUAGE PROGRAM
    DUNGWORTH, D
    [J]. PROGRAMMED LEARNING & EDUCATIONAL TECHNOLOGY, 1966, 3 (03): : 171 - 175
  • [45] EXPERIENCES WITH THE RAP SYSTEM - A SPECIFICATION INTERPRETER COMBINING TERM REWRITING AND RESOLUTION
    GESER, A
    HUSSMANN, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 : 339 - 350
  • [46] An Abstract Specification Language for Static Program Analysis
    Vistein, Michael
    Ortmeier, Frank
    Reif, Wolfgang
    Huuck, Ralf
    Fehnker, Ansgar
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 254 : 181 - 197
  • [47] PROGRAM TESTING TECHNOLOGY BASED ON SPECIFICATION LANGUAGE
    SARKISYAN, AA
    SHUKURYAN, YG
    [J]. CYBERNETICS, 1990, 26 (06): : 795 - 804
  • [48] HMSL (HIERARCHICAL MUSIC SPECIFICATION LANGUAGE) - A THEORETICAL OVERVIEW
    POLANSKY, L
    BURK, P
    ROSENBOOM, D
    [J]. PERSPECTIVES OF NEW MUSIC, 1990, 28 (02) : 136 - 178
  • [49] The rapid prototyping methodology and its support language - Visual system specification and design language
    Tan, WA
    Xuhong
    Zhou, BS
    [J]. OBJECT-ORIENTED TECHNOLOGY, 1998, : 82 - 87
  • [50] THE INTERPRETIVE LANGUAGE USED TO PROGRAM THE CPR SYSTEM
    LAUMER, M
    [J]. BYTE, 1982, 7 (06): : 126 - 126
12345