ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...