2803 search results - page 36 / 561 » A Type System for Prototyping Languages |
153
Voted
TIC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...
116
Voted
LREC
2010
15 years 5 months ago
2010
Automatic language recognition on spontaneous speech has experienced a rapid development in the last few years. This development has been in part due to the competitive technologi...
129
Voted
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
141
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
131
Voted
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...