5343 search results - page 517 / 1069 » Keyword programming in java |
170
click to vote
PPDP
2007
Springer
16 years 4 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
172
click to vote
ERLANG
2004
ACM
15 years 11 months ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...
148
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
120
click to vote
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a simple Unix-based repository that supports programming intensive courses. Initially motivated by the need to capture sample artifacts for the capstone cours...
167
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...