Type-safe casting

被引：0

作者：

Hsieh, Wilson C. ^{[1
]}

Fiuczynski, Marc E. ^{[1
]}

Pardyak, Przemyslaw ^{[1
]}

Bershad, Brian N. ^{[1
]}

机构：

[1] Univ of Utah, Salt Lake City, United States

来源：

Software - Practice and Experience | 1998年 / 28卷 / 11期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：1245 / 1252

共 50 条

[1] Short Communication - Type-safe casting
Hsieh, WC
Fiuczynski, ME
Pardyak, P
Bershad, BN
SOFTWARE-PRACTICE & EXPERIENCE, 1998, 28 (11): : 1245 - 1252
[2] Type-safe disks
Sivathanu, Gopalan
USENIX ASSOCIATION 7TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, 2006, : 15 - 28
[3] Type-safe cast
Weirich, S
JOURNAL OF FUNCTIONAL PROGRAMMING, 2004, 14 : 681 - 695
[4] Type-safe method inlining
Glew, N
Palsberg, J
ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2002, 2374 : 525 - 544
[5] Type-safe update programming
Erwig, Martin
Ren, Deling
2003, Springer Verlag (2618):
[6] Type-safe update programming
Erwig, M
Ren, D
PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 2618 : 269 - 283
[7] A type-safe database interface
Villoing, Florian
Briot, Emmanuel
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 144 - 157
[8] Type-safe multithreading in Cyclone
Grossman, D
ACM SIGPLAN NOTICES, 2003, 38 (03) : 13 - 25
[9] 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
[10] Type-safe pattern combinators
Rhiger, Morten
JOURNAL OF FUNCTIONAL PROGRAMMING, 2009, 19 : 145 - 156