1210 search results - page 17 / 242 » Formal Techniques for Java Programs |
103
click to vote
COMPSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
131
click to vote
DAGSTUHL
2001
15 years 3 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...
116
click to vote
PROCOMET
1998
15 years 3 months ago
1998
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
120
click to vote
FMCO
2006
Springer
15 years 5 months ago
2006
Springer
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...
115
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Framework-intensive applications (e.g., Web applications) heavily use temporary data structures, often resulting in performance bottlenecks. This paper presents an optimized blend...