517 search results - page 37 / 104 » Java as a systems programming language: three case studies |
100
click to vote
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
177
click to vote
POPL
2001
ACM
15 years 10 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
CASCON
2004
14 years 11 months ago
2004
Java is implemented by 201 bytecodes that serve the same purpose as assembler instructions while providing object-file platform independence. A collection of core bytecodes provid...
ICFP
1999
ACM
15 years 2 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
102
click to vote
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...