5343 search results - page 299 / 1069 » Keyword programming in java |
130
Voted
VMCAI
2004
Springer
15 years 8 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...
149
Voted
JAVA
2001
Springer
15 years 7 months ago
2001
Springer
We present efficient support for generalized arrays of parallel data driven objects. Array elements are regular C++ objects, and are scattered across the parallel machine. An indi...
127
Voted
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present Shekoosh, a novel framework for constraint-based generation of structurally complex inputs of large sizes. Given a Java predicate that represents the desired s...
129
click to vote
COMPSAC
2004
IEEE
15 years 7 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...
158
click to vote
CL
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...