479 search results - page 46 / 96 » On Static Properties of Specialized Programs |
SIGADA
1998
Springer
15 years 4 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
86
Voted
APL
1998
ACM
15 years 4 months ago
1998
ACM
This article describes how array predicates were used to reduce the computational complexity of four APL primitive functions when one of their arguments is a permutation vector. T...
122
Voted
COCOA
2008
Springer
15 years 2 months ago
2008
Springer
The World Wide Web may be viewed as a graph each of whose vertices corresponds to a static HTML web page, and each of whose edges corresponds to a hyperlink from one web page to an...
99
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
122
Voted
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...