Ralph-Johan Back

Ralph-Johan Back

Ralph-Johan Back is a Finnish computer scientist.

Back originated the Refinement Calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 PhD thesis at the University of Helsinki, "On the Correctness of Refinement Steps in Program Development". He has undertaken much subsequent research in this area. He has held positions at CWI Amsterdam, the Academy of Finland and the University of Tampere.

Since 1983 he has been Professor of Computer Science at the Åbo Akademi University in Turku. For 2002–2007 he is an Academy Professor at the Academy of Finland. He is Director of CREST (Center for Reliable Software Technology) at Åbo Akademi.

His wife, Barbro Back, is Professor of Information Systems, also at Åbo Akademi University, and he has three children.

External links

* [http://www.abo.fi/~backrj/ Home page]
* [http://www.abo.fi/~backrj/index.php?page=Curriculum%20vitae.html&menu=4 Curriculum Vitae]
* [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Back:Ralph=Johan.html DBLP bibliography]


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Back (disambiguation) — Back may refer to:People*Adam Back *Charles Back *Ernst Emil Alexander Back *Frédéric Back *George Back *Natasja Crone Back *Neil Back *Ralph Johan BackOther uses* In anatomy, the dorsal side of the torso in humans and other primates ** The human …   Wikipedia

  • Predicate transformer semantics — is an extension of Floyd Hoare Logic invented by Dijkstra and extended and refined by other researchers. It was first introduced in Dijkstra s paper Guarded commands, nondeterminacy and formal derivation of programs . It is a method for defining… …   Wikipedia

  • Denotational semantics of the Actor model — The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b]. Contents 1 Actor fixed point semantics 2 Compositionality in… …   Wikipedia

  • Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… …   Wikipedia

  • Unbounded nondeterminism — In computer science, unbounded nondeterminism or unbounded indeterminacy is a property of concurrency by which the amount of delay in servicing a request can become unbounded as a result of arbitration of contention for shared resources while… …   Wikipedia

  • Power domains — In denotational semantics and domain theory, power domains are domains of nondeterministic and concurrent computations.The idea of power domains for functions is that a nondeterministic function may be described as a deterministic set valued… …   Wikipedia

  • Refinement calculus — is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable program is specified as an abstract and perhaps non executable program , which is then refined by a series of correctness… …   Wikipedia

  • Michael Butler (computer scientist) — Michael J. Butler is Professor of Computer Science at the University of Southampton, UK. Butler was originally from Ireland and received his Bachelors degree in Computer Science from Trinity College, Dublin in 1988. He then undertook an MSc and… …   Wikipedia

  • Semántica de transformación de predicados — La semántica de transformación de predicados es una extensión de Lógica de Floyd Hoare ideada por Edsger Dijkstra y extendida y refinada por otros investigadores. Esta extensión fue presentada por Dijkstra en sus artículos titulados Guarded… …   Wikipedia Español

  • Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… …   Википедия

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”