7124 search results - page 96 / 1425 » Programming Languages and Operating Systems |
APLAS
2008
ACM
14 years 11 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
15 years 2 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...
SIGOPSE
2000
ACM
15 years 2 months ago
2000
ACM
USENIX
1994
14 years 11 months ago
1994
cql is a UNIX
IAT
2009
IEEE
15 years 4 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...