1194 search results - page 215 / 239 » A Calculus for Predicative Programming |
LPNMR
1997
Springer
14 years 3 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
CASES
2007
ACM
14 years 2 months ago
2007
ACM
Delayed branching is a technique to alleviate branch hazards without expensive hardware branch prediction mechanisms. For VLIW processors with deep pipelines and many issue slots,...
ICSE
1987
IEEE-ACM
14 years 2 months ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
ISSTA
2010
ACM
14 years 27 days ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
CSL
2008
Springer
14 years 22 days ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...