2604 search results - page 150 / 521 » General constant expressions for system programming language... |
162
Voted
CONCUR
1991
Springer
15 years 7 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
263
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
115
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
131
Voted
DCW
2000
Springer
15 years 8 months ago
2000
Springer
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...
141
Voted
ESOP
2010
Springer
16 years 29 days ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...