Ralph-Johan Back

Known as: R. J. R. Back 
Ralph-Johan Back is a Finnish computer scientist. Back originated the refinement calculus, an important approach to the formal development of… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1994-2013
0119942013

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Kaisa Sere, a wonderful person and scientist, passed away on December 5, 2012, after a long and devastating illness. Apart… (More)
Is this relevant?
2006
2006
Imperative programming languages are widely used in practice in most of the software development projects. Examples of such… (More)
Is this relevant?
2005
2005
We propose here a mathematical framework for incremental software construction and controlled software evolution. The framework… (More)
Is this relevant?
1999
1999
types of SML structures of SML 
  • figure 4.3
  • figure 6.2
  • figure 6.4
  • figure 6.5
  • figure 6.8
Is this relevant?
Review
1994
Review
1994
ion of the non-negative natural numbers. The correctness of the com-<lb>plete analysis then follows from the subject reduction… (More)
Is this relevant?