Proposal for making Eiffel type-safe

被引：0

作者：

机构：

[1] Cook, W.R.

来源：

Cook, W.R. | 1600年 / 32期

关键词：

Computer Programming;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] A PROPOSAL FOR MAKING EIFFEL TYPE-SAFE
COOK, WR
COMPUTER JOURNAL, 1989, 32 (04): : 305 - 311
[2] Type-safe casting
Hsieh, Wilson C.
Fiuczynski, Marc E.
Pardyak, Przemyslaw
Bershad, Brian N.
Software - Practice and Experience, 1998, 28 (11): : 1245 - 1252
[3] Type-safe disks
Sivathanu, Gopalan
USENIX ASSOCIATION 7TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, 2006, : 15 - 28
[4] Type-safe cast
Weirich, S
JOURNAL OF FUNCTIONAL PROGRAMMING, 2004, 14 : 681 - 695
[5] Type-safe method inlining
Glew, N
Palsberg, J
ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2002, 2374 : 525 - 544
[6] Type-safe update programming
Erwig, Martin
Ren, Deling
2003, Springer Verlag (2618):
[7] Type-safe update programming
Erwig, M
Ren, D
PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 2618 : 269 - 283
[8] A type-safe database interface
Villoing, Florian
Briot, Emmanuel
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 144 - 157
[9] Type-safe multithreading in Cyclone
Grossman, D
ACM SIGPLAN NOTICES, 2003, 38 (03) : 13 - 25
[10] Type-Safe Modular Parsing
Zhang, Haoyuan
Li, Huang
Oliveira, Bruno C. D. S.
SLE'17: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, 2017, : 2 - 13