44 search results - page 1 / 9 » Implicit Parameters: Dynamic Scoping with Static Types |
POPL
2000
ACM
13 years 9 months ago
2000
ACM
SCP
2008
13 years 5 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
ECOOP
2006
Springer
13 years 7 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
KBSE
2009
IEEE
14 years 8 hour ago
2009
IEEE
—Ruby on Rails (or just “Rails”) is a popular web application framework built on top of Ruby, an objectoriented scripting language. While Ruby’s powerful features such as d...