Sekerinski, Emil

name

• Sekerinski, Emil

Authored works

• A theory of prioritizing composition
• Deriving control programs by weakest preconditions

Works contributed to

• Adding type-bound actions to action-oberon
• An action system approach to the steam boiler problem
• Developing components in the presence of re-entrance
• Ensuring correctness of Java frameworks : a formal look at JCF
• Refining concurrent objects
• The fragile base class problem and its solution

Works about Sekerinski, Emil