SPECIFICATION AND PROTOTYPING OF A COMPILER FOR A SMALL APPLICATIVE LANGUAGE

被引：0
|
作者：
HUSSMANN, H
RANK, C
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 394卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：403 / 418
页数：16
相关论文
共 50 条
  • [31] The StatiC compiler & language
    Gray, P
    [J]. DR DOBBS JOURNAL, 2005, 30 (03): : 58 - +
  • [32] IMP LANGUAGE AND COMPILER
    STEPHENS, PD
    [J]. COMPUTER JOURNAL, 1974, 17 (03): : 216 - 223
  • [33] SDL as a system level specification language for application-specific hardware in a rapid prototyping environment
    Muth, A
    Färber, G
    [J]. 13TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, PROCEEDINGS, 2000, : 157 - 162
  • [34] Optimal partitioning of formal specification in protocol compiler
    Li, M
    Wu, XB
    Zhu, XH
    Wang, H
    [J]. Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, Vols 1and 2, 2004, : 829 - 832
  • [35] THE EQUATIONAL SPECIFICATION OF EFFICIENT COMPILER CODE GENERATION
    HATCHER, PJ
    [J]. COMPUTER LANGUAGES, 1991, 16 (01): : 81 - 95
  • [36] SpecTest: Specification-Based Compiler Testing
    Schumi, Richard
    Sun, Jun
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2021), 2021, 12649 : 269 - 291
  • [37] Formal specification and prototyping of CORBA systems
    Bastide, R
    Sy, O
    Palanque, P
    [J]. ECOOP'99 - OBJECT-ORIENTED PROGRAMMING, 1999, 1628 : 474 - 494
  • [38] A DISTRIBUTED SPECIFICATION MODEL AND ITS PROTOTYPING
    WANG, Y
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (08) : 1090 - 1097
  • [39] Formal specification and prototyping of a program specializer
    Blazy, S
    Facon, P
    [J]. TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 666 - 680
  • [40] OPTIMIZED COMBINATORIC CODE FOR APPLICATIVE LANGUAGE IMPLEMENTATION
    MEIRA, SL
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 167 : 206 - 216
12345