4386 search results - page 26 / 878 » A Tamper-Resistant Programming Language System |
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
IFIP
1998
Springer
13 years 12 months ago
1998
Springer
Java is the newest in a long line of systems programming languages. This paper looks at what makes it special and backs the findings up with three case studies. The projects exerc...
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper proposes a module-based vision for designing BDI-based multi-agent programming languages. The introduced concept of modules enables common programming techniques such...
ECOOPW
2004
Springer
14 years 1 months ago
2004
Springer
This report summarizes the Fifth Workshop on Programming Languages and Operating Systems (PLOS 2009), which was held in conjunction with the SOSP 2009 conference. This report pres...
SIGCSE
2004
ACM
14 years 1 months ago
2004
ACM
The educational literature recognizes that people go through a number of stages in their intellectual development. During the first stage, called received knowledge or dualism, p...