1932 search results - page 35 / 387 » Molecule-oriented programming in Java |
125
click to vote
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
341
Voted
JTRES
2010
ACM
15 years 24 days ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
105
Voted
FMOODS
2008
15 years 2 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
101
Voted
ECOOPW
2001
Springer
15 years 5 months ago
2001
Springer
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
82
Voted
ICSE
2003
IEEE-ACM
16 years 21 days ago
2003
IEEE-ACM
In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...