Journals in DBLP

Formal Asp. Comput.
2006, volume: 18, number: 2

1. David Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
   A formal relationship between program slicing and partial evaluation. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:2, pp:103-119 [Journal]
   
2. Steve McKeever, Wayne Luk
   Provably-correct hardware compilation tools based on pass separation techniques. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:2, pp:120-142 [Journal]
   
3. Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
   The verified software repository: a step towards the verifying compiler. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:2, pp:143-151 [Journal]
   
4. Karl Lermer, Colin J. Fidge
   Procedure compilation in the refinement calculus. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:2, pp:152-180 [Journal]
   
5. Christie Bolton, Jim Davies
   A singleton failures semantics for Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:2, pp:181-210 [Journal]
   
6. Harald Fecher, Mila E. Majster-Cederbaum
   Action Refinement Applied to Late Decisions. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:2, pp:211-230 [Journal]
   
7. Regivan H. Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly
   Formal Aspects of Correctness and Optimality of Interval Computations. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:2, pp:231-243 [Journal]
   
8. Sabine Glesner
   Finite Integer Computations: An Algebraic Foundation for Their Correctness. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:2, pp:244-262 [Journal]