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 条
  • [31] Specifications in software prototyping
    Luqi
    Chang, CK
    Zhu, H
    JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 42 (02) : 125 - 140
  • [32] STEEL,TB - FORMAL LANGUAGE DESCRIPTION LANGUAGES FOR COMPUTER PROGRAMMING
    BARRON, DW
    NATURE, 1967, 213 (5072) : 129 - &
  • [33] Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover
    Andrea Asperti
    Wilmer Ricciotti
    Claudio Sacerdoti Coen
    Enrico Tassi
    Journal of Automated Reasoning, 2012, 49 : 427 - 451
  • [34] Formal foundations for optimising aggregation functions in database programming languages
    Poulovassilis, A
    Small, C
    DATABASE PROGRAMMING LANGUAGES, 1998, 1369 : 299 - 318
  • [35] Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover
    Asperti, Andrea
    Ricciotti, Wilmer
    Coen, Claudio Sacerdoti
    Tassi, Enrico
    JOURNAL OF AUTOMATED REASONING, 2012, 49 (03) : 427 - 451
  • [36] Formal languages for integer programming modeling of shift scheduling problems
    Cote, Marie-Claude
    Gendron, Bernard
    Quimper, Claude-Guy
    Rousseau, Louis-Martin
    CONSTRAINTS, 2011, 16 (01) : 54 - 76
  • [37] Formal languages for integer programming modeling of shift scheduling problems
    Marie-Claude Côté
    Bernard Gendron
    Claude-Guy Quimper
    Louis-Martin Rousseau
    Constraints, 2011, 16 : 54 - 76
  • [38] K: A Semantic Framework for Programming Languages and Formal Analysis Tools
    Rosu, Grigore
    DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2017, 50 : 186 - 206
  • [39] STEEL,TB - FORMAL LANGUAGE - DESCRIPTION LANGUAGES FOR COMPUTER PROGRAMMING
    HAINES, EC
    IEEE SPECTRUM, 1966, 3 (10) : 162 - &
  • [40] TOWARDS A FORMAL SEMANTICS FOR CONCURRENT LOGIC PROGRAMMING-LANGUAGES
    BECKMAN, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 335 - 349
12345