809 search results - page 5 / 162 » Formal Semantics for the Java Modeling Language |
FMICS
2008
Springer
15 years 27 days ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
INFORMS
1998
14 years 11 months ago
1998
101
click to vote
DAGSTUHL
2001
15 years 22 days ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
SIGCSE
2002
ACM
14 years 11 months ago
2002
ACM
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
AGTIVE
2003
Springer
15 years 4 months ago
2003
Springer
OptimixJ is a graph rewrite tool that generates Java code from rewrite specifications. Java classes are treated as graph schemas, enabling OptimixJ to extend legacy Java applicati...