1210 search results - page 80 / 242 » Formal Techniques for Java Programs |
114
click to vote
SIGCSE
2008
ACM
15 years 2 months ago
2008
ACM
Traditional coverage of network programming techniques in a computer networking course addresses sockets, remote procedure call, and object-oriented remote procedure call. We prop...
133
Voted
GPCE
2008
Springer
15 years 3 months ago
2008
Springer
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
153
click to vote
SERP
2010
15 years 12 days ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
96
Voted
ZUM
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
140
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...