Back, Ralph-Johan

name

• Back, Ralph-Johan

Authored works

• 13V : a program proof management system
• A calculus of refinement for program derivations
• A computational interpretation of truth logic
• A fair and efficient implementation of CSP with output guards
• A python specification of the Tkinter Text-widget
• Action system with synchronous communication
• Adding type-bound actions to action-oberon
• An exercise in deriving parallel algorithms : Gaussian elimination
• Atomicity refinement in a refinement calculus framework
• Centipede : a program refinement environment
• Centre for Reliable Software Technology : a Centre of Excellence for Formal Methods in Programming : progress report 2003
• Class refinement as Semantics of correct object substitutability
• Class refinement as Semantics of correct subclassing
• Co-operation in distributed systems using symmetric multi-process handshaking
• Combining angels, demons and miracles in program specifications
• Command lattices, variable environments and data refinement
• Compositional action system refinement
• Constructing verifiable programs : a design method and a case study
• Contracts as mathematical entities in programming logic
• Contracts, games and refinement
• Crest, Centre for Reliable Software Technology : progress report 2002-2003
• Data refinement in the refinement calculus
• Decentralization of process nets with centralized control
• Derivation of efficient marking algorithms for acyclic lists
• Deriving an occam implementation of action systems
• Distributed co-operation with action systems
• Doing high school mathematics carefully
• Duality in specification languages : a lattice-theoretical approach
• Encoding, decoding and data refinement
• Enforcing behavior with contracts
• Evaluating the XP customer model and design by contract
• Experience on using stepwise feature introduction in software construction
• Exploring summation and product operators in the calculus refinement
• Fairness in action systems
• Field tests of the structured derivations method
• Formal methods in program construction : final report on a research project sponsored by the Academy of Finland 1982-1985
• Formal semantics of inheritance and object substitutability
• Formalising UML use cases in the refinement calculus
• From action systems to modular systems
• Generalizing Lindstrom's tree marking algorithm to acyclic and cyclic lists
• Incremental software construction with refinement diagrams
• Interpreting nondeterminism in the refinement calculus
• Invariant based programming revisited
• Modeling component environments and interactive programs using iterative choice
• Multi-process handshaking on broadcasting networks
• On the correctness of refinement steps in program development
• Procedural abstraction in the refinement calculus
• Products in the refinement calculus
• Program construction by situation analysis
• Programs on product spaces
• Proving total correctness of nondeterministic programs in infinitary logic
• Reasoning about pointers in refinement calculus
• Reasoning about recursive procedures with parameters
• Refinement concepts formalized in higher order logic
• Refining atomicy in parallel algorithms
• Semantics of unbounded nondeterminism
• Software construction by stepwise feature introduction
• Software development and experimentation in an academic environment : the Gaudi experience
• Specification of a microprocessor
• Statement inversion and strongest postcondition
• Stepwise refinement of action systems
• Stepwise refinement of parallel algorithms
• Structured derivations : a method for doing high-school mathematics carefully
• Superposition refinement of reactive systems
• Symbolic simulation of hybrid systems
• Testing and verifying invariant based programs in the SOCOS environment
• Tietorakenteisiin perustuva ohjelmien modularisointi ja suojattujen tietorakenteiden käyttö FORTRAN-ohjelmissa
• Tool support for invariant based programming
• Trace refinement of action systems
• Tutkimuksessa käytettävien tietokoneohjelmien laadusta : havaintoja Helsingin yliopiston laitosten ylläpitämästä ohjelmistokannasta
• Verification and refinement of action contracts

Works contributed to

• 5-year report 1984-1989
• A programming environment for a transputer-based multiprocessor system
• An experiment on extreme programming and stepwise feature introduction
• An implementation of multiprocess handshaking on transputer networks
• Analysis of three-dimensional nuclear data on a transputer-based multiprocessor system
• Annual report 1999
• Construction of large-size interconnection : networks with high performance
• Efficient implementation of multi-process handshaking on broadcasting networks
• Hathi-2 : users guide, version 1.0
• Millipede - a programming environment providing visual support for parallel programming
• Multiprocessor applications in the Hathi project
• Proceedings of COMPMOD 2008 : Workshop on Computational Models for Cell Processes, May 27, 2008, Turku, Finland
• Proceedings of the 5th Nordic Workshop on Program Correctness
• Proceedings of the Winter School on Theoretical Computer Science : January 3-January 6, 1984, Lammi, Finland
• Refinement calculus : Part 2, Parallel and reactive programs
• The Hathi project : a research project on parallel programming technology : 1986-1988 (final report)
• Åbo akademi, Department of Computer Science : Annual report 1989,1990

Works about Back, Ralph-Johan

• Till åhörande av den offentliga föreläsning professorn i informationsbehandling filosofie doktorn Ralph-Johan Reinholdt Back håller fredagen den 16 november 1984 kl 18 i anledning av att han tillträtt sitt ämbete inbjudes vetenskapens gynnare, idkare och vänner vördsamt av matematisk-naturvetenskapliga fakultetens vid Åbo akademi dekanus Carl Ehlers