7124 search results - page 92 / 1425 » Programming Languages and Operating Systems |
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
169
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
IPSN
2007
Springer
15 years 3 months ago
2007
Springer
This demonstration shows the programming development suite of the RETOS operating system for sensor networks, which provides a robust and multithreaded programming interface to ap...
ECOOPW
1999
Springer
15 years 2 months ago
1999
Springer
Safe language technology can be used for protection within a single address space. This protection is enforced by the language’s type system, which ensures that references to obj...