2736 search results - page 10 / 548 » Understanding programmer language |
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
ACL
1993
14 years 11 months ago
1993
JACIII
2006
14 years 9 months ago
2006
TPHOL
2000
IEEE
15 years 1 months ago
2000
IEEE
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
CANDC
2009
ACM
15 years 4 months ago
2009
ACM
The RiTa Toolkit for Computation Literature is a suite of open-source components, tutorials, and examples, providing support for a range of tasks related to the practice of creati...