Homepage Inria website

Section: Research Program

Object-oriented programming and logical time

We formalize in the past object-oriented programming features, like e.g. delegation-based and trait inheritance. We view our logical time model as a mean to enhance the description of timing constraints and properties on top of existing specification formalism. When considering general purpose object-oriented languages like Java, type-theory is a natural way to provide such properties. Currently, such languages do not have constructs nor special types to manage instants, time structures and instant relations like subclocking, precedence, causality, equality, coincidence, exclusion, independence, etc. CCSL provide ad hoc constructors to specify clock constraints and logical time: enriching object oriented type theories with CCSL expressions could constitute an interesting research perspective towards a wider usage of CCSL. The new challenge is consider logical time constraints as behavioral type properties, and the design of programming language constructs and ad hoc type systems.