91 search results - page 1 / 19 » Dynamic Denotational Semantics of Java |
JAVA
1999
Springer
13 years 9 months ago
1999
Springer
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...
NRHM
2002
13 years 4 months ago
2002
In this article we claim that the linguistic-centred view within hypermedia systems needs refinement through a semiotic-based approach before real interoperation between media can...
ECOWS
2006
Springer
13 years 8 months ago
2006
Springer
Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to dec...
DAGSTUHL
2001
13 years 6 months 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...
TPHOL
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...