576 search results - page 1 / 116 » The Java Syntactic Extender |
OOPSLA
2001
Springer
13 years 9 months ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...
ICCL
1998
IEEE
13 years 8 months ago
1998
IEEE
We present a design and implementation of transactions and general-purpose persistence for Java. These additions allow Java programmers to manipulate any Java object using transac...
ACSAC
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
FIDJI
2004
Springer
13 years 10 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
COLING
2002
13 years 4 months ago
2002