Prototyping realistic programming languages based on formal specifications

被引：0
|
作者：
Poetzsch-Heffter, Arnd [1 ]
机构：
[1] Fern Universitaet, Hagen, Germany
来源：
Acta Informatica | 1998年 / 34卷 / 10期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
38
引用
收藏
页码：737 / 772
相关论文
共 50 条
  • [21] Programming languages and compiler design for realistic quantum hardware
    Chong, Frederic T.
    Franklin, Diana
    Martonosi, Margaret
    NATURE, 2017, 549 (7671) : 180 - 187
  • [22] A Prototyping System for Hardware Distributed Objects with Diversity of Programming Languages
    Ohkawa, Takeshi
    Yokota, Takashi
    Ootsu, Kanemitsu
    PROCEEDINGS OF THE 2013 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (FPT), 2013, : 474 - 477
  • [23] Use Of Formal Languages To Represent The ERTMS/ETCS System Requirements Specifications
    Piccolo, Antonio
    Galdi, Vincenzo
    Senesi, Fabio
    Malangone, Raffaele
    2015 INTERNATIONAL CONFERENCE ON ELECTRICAL SYSTEMS FOR AIRCRAFT, RAILWAY, SHIP PROPULSION AND ROAD VEHICLES (ESARS), 2015,
  • [24] DESIGN OF REDUNDANT FORMAL SPECIFICATIONS BY LOGIC PROGRAMMING - MERGING FORMAL TEXT AND GOOD COMMENTS
    RENAULT, S
    DERANSART, P
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (03) : 369 - 390
  • [25] How to reconcile formal specifications and automatic programming: The Descartes system
    Lucas, JY
    Dormoy, JL
    Ginoux, B
    Jimenez-Dominguez, C
    Pierre, L
    1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 38 - 45
  • [26] Formal semantics and interpreters in a principles of programming languages course
    Bruce, KB
    PROCEEDINGS OF THE THIRTIETH SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 1999, : 331 - 335
  • [27] A FORMAL APPROACH TO UNDO OPERATIONS IN PROGRAMMING-LANGUAGES
    LEEMAN, GB
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (01): : 50 - 87
  • [28] Runtime assurance based on formal specifications
    Lee, I
    Kannan, S
    Kim, M
    Sokolsky, O
    Viswanathan, M
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 279 - 287
  • [29] Specifications in software prototyping
    Naval Postgraduate Sch, Monterey, United States
    J Syst Software, 2 (125-140):
  • [30] Specifications in software prototyping
    Luqi
    SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 1996, : 189 - 197
12345