Sciweavers

576 search results - page 64 / 116
» The Java Syntactic Extender
Sort
View
IGPL
2011
12 years 11 months ago
Generalized ordinal sums and translations
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...
Nikolaos Galatos
WEBNET
2000
13 years 9 months ago
Dinopolis - A Leading Edge Application Framework for the Internet and Intranets
Dinopolis is at the moment the most universal and extendable application framework available. It is fully written in Java and fully compliant to today's application standards...
Christof Dallermassl, Heimo Haub, Hermann A. Maure...
PPPJ
2006
ACM
14 years 1 months ago
The Project Maxwell assembler system
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
Bernd Mathiske, Douglas N. Simon, Dave Ungar
ECOOP
2005
Springer
14 years 1 months ago
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
Marco Pistoia, Robert J. Flynn, Larry Koved, Vugra...
HOTOS
1997
IEEE
13 years 12 months ago
Security for Extensible Systems
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
Robert Grimm, Brian N. Bershad