742 search results - page 148 / 149 » Formal Grammar for Java |
119
Voted
TSE
1998
15 years 23 days ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
115
Voted
TKDE
2002
15 years 23 days ago
2002
The construction and maintenance of data warehouses (views) in large-scale environments composed of numerous distributed and evolving information sources (ISs) such as the WWW has ...
134
Voted
RE
2008
Springer
15 years 18 days ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
153
Voted
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
115
Voted
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...