1210 search results - page 114 / 242 » Formal Techniques for Java Programs |
122
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
120
click to vote
COMPSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
Input validation refers to checking user inputs to a program to ensure that they conform to expectations of the program. Input validation is used to check the format of numbers and...
113
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however,...
CCS
2005
ACM
15 years 8 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
136
click to vote
PDP
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...