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 条

[1] Prototyping realistic programming languages based on formal specifications
PoetzschHeffter, A
ACTA INFORMATICA, 1997, 34 (10) : 737 - 772
[2] Prototyping realistic programming languages based on formal specifications
Arnd Poetzsch-Heffter
Acta Informatica, 1997, 34 : 737 - 772
[3] Prototyping realistic programming languages based on formal specifications
Acta Inf, 10 (737):
[4] Rapid prototyping using formal specifications
Winikoff, M
Dart, P
Kazmierczak, E
PROCEEDINGS OF THE 21ST AUSTRALASIAN COMPUTER SCIENCE CONFERENCE, ACSC'98, 1998, 20 (01): : 279 - 293
[5] FORMAL SPECIFICATIONS, PROTOTYPING AND INTEGRATION TESTS
CHOPPY, C
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 172 - 179
[6] FORMAL DESCRIPTION OF PROGRAMMING LANGUAGES
NEUHOLD, EJ
IBM SYSTEMS JOURNAL, 1971, 10 (02) : 86 - &
[7] FOZCIL: A Framework for Converting Formal Specifications in Object-Z to Design Contracts in OO Programming Languages
George, Nixon Sunny
Zhang, Cui
Radimsky, Anne-Louise
2011 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2011, : 218 - 221
[8] Programming languages and systems for prototyping concurrent applications
Hasselbring, W
ACM COMPUTING SURVEYS, 2000, 32 (01) : 43 - 79
[9] PRECEDENCES IN SPECIFICATIONS AND IMPLEMENTATIONS OF PROGRAMMING-LANGUAGES
AASA, A
THEORETICAL COMPUTER SCIENCE, 1995, 142 (01) : 3 - 26
[10] PRECEDENCES IN SPECIFICATIONS AND IMPLEMENTATIONS OF PROGRAMMING-LANGUAGES
AASA, A
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 183 - 194

← 1 2 3 4 5 →