SD4 Formal Specification of Language Extensions

The objective of the Formal Specification of Language Extensions deliverable is to report the achievements in the integration of transactions to programming languages and to present the associated language extension specifications. As such, the document incorporates the following:
  • explanation of the transactional behaviour that will be provided to the programmer,
  • proposition of  a standardized interface for TM libraries in providing this transactional behavior,
  • specification  of the language constructs introduced to integrate transactions into the C++ and Java programming languages,
  • discussion of the implementation of the specified language constructs, and
  • demonstration of the simplicity of programming with transactional memory