959 search results - page 119 / 192 » Fundamental Concepts in Programming Languages |
POPL
1996
ACM
15 years 4 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
123
click to vote
ASIAN
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
131
click to vote
TLDI
2010
ACM
15 years 2 days ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
105
click to vote
AOSD
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we propose an extension to JAsCo for supporting Adaptive Programming in a Component-Based Software Development context. JAsCo is an aspect-oriented programming langu...
111
click to vote
JSA
2000
14 years 11 months ago
2000
In this article, the problem of finding a tight estimate on the worst-case execution time (WCET) of a real-time program is addressed. The analysis is focused on straight-line code...