517 search results - page 76 / 104 » Java as a systems programming language: three case studies |
174
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made ...
ICSM
2008
IEEE
15 years 4 months ago
2008
IEEE
Test-case prioritization is a typical scenario of regression testing, which plays an important role in software maintenance. With the popularity of Web Services, integrating Web S...
APSEC
1998
IEEE
15 years 2 months ago
1998
IEEE
The number of endusers using the Internet increases on the inside and outside of offices. Enduser-initiative development of applications has become important for automation of the...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
As part of the evolution of software systems, effort is often invested to discover in what parts of the source code a feature (or other concern) is implemented. Unfortunately, kn...