2803 search results - page 19 / 561 » A Type System for Prototyping Languages |
DBPL
1989
Springer
14 years 15 days ago
1989
Springer
Several proposals have been published in recent years for database programming languages (DBPLs), many of which have been object-oriented. Our goal in this paper is not to argue f...
ACSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
CATS
2006
13 years 9 months ago
2006
OOPSLA
1998
Springer
14 years 20 days ago
1998
Springer
ICFP
2004
ACM
14 years 8 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...