589 search results - page 41 / 118 » Io: a small programming language |
136
click to vote
CCS
2009
ACM
16 years 6 days ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
140
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...
152
click to vote
FASE
2007
Springer
15 years 11 months ago
2007
Springer
Aspects are defined as well-modularized crosscutting concerns. Despite being a core tenet of Aspect Oriented Programming, little research has been done in characterizing and measur...
162
click to vote
ICALT
2003
IEEE
15 years 10 months ago
2003
IEEE
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...
250
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...