345 search results - page 20 / 69 » A Programming Logic for Sequential Java |
126
Voted
ENTCS
2007
15 years 3 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
148
Voted
PADO
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
159
Voted
JTRES
2010
ACM
15 years 3 months ago
2010
ACM
Requirements to embedded systems increase steadily. In parallel, also the performance of the processors used in these systems is improved leading to multithreaded and/or multicore...
221
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Program monitoring is a well-established and efficient approach to security policy enforcement. An implementation of program monitoring that is particularly appealing for...
134
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...