ACTRESS(ID:3653/act023)

An action semantics directed compiler generator

The ACTRESS project started at Glasgow University in 1989 and is based on the Ph.D. studies of two research students: Deryck Brown and Hermano Moura, both supervised by David A. Watt.
The project's aim was to implement a compiler generation system that would demonstrate the suitability of Action Semantics as the basis for generating efficient implementations.


References:
  • Brown, D. F. Moura H. and Watt. D. A. ACTRESS: an action semantics directed compiler generator. pp95-109 view details
          in Kastens, U. and P. Pfahler (editors), Compiler Construction '92. LNCS 641, Springer-Verlag, 1992. view details
  • Brown, D. F. Moura H. and Watt. D. A. ACTRESS: an action semantics directed compiler generator (summary). In R. Heldal, C. K. Holst and P. Walder (editors), Functional Programming, Glasgow 1991. BCS Workshops in Computing, pages 51-55. Springer-Verlag, 1992. 1993 view details
          in Kastens, U. and P. Pfahler (editors), Compiler Construction '92. LNCS 641, Springer-Verlag, 1992. view details
  • Moura, H. Action notation transformations. Ph.D. Thesis. University of Glasgow, Department of Computing Science, 1993. view details
          in Kastens, U. and P. Pfahler (editors), Compiler Construction '92. LNCS 641, Springer-Verlag, 1992. view details
  • Brown, D. F. and D. A. Watt. Sort inference in the ACTRESS compiler generator pp81-98 view details
          in Mosses P.D. (editor), Proceedings of the First International Workshop on Action Semantics, Edinburgh. BRICS Notes Series, NS-94-1, view details
  • Moura, H.and D. A. Watt. Action transformations in the ACTRESS compiler generator. pp16-30 view details
          in Compiler Construction '94. (Proc. 5th Intl. Conf. on Compiler Construction, Edinburgh, 1994) (CC'94) ed P.A. Fritzson, LNCS786 Springer Verlag view details
  • Brown. D. F. Sort inference in action semantics. Ph.D. Thesis. University of Glasgow, Department of Computing Science, 1996. view details
          in Compiler Construction '94. (Proc. 5th Intl. Conf. on Compiler Construction, Edinburgh, 1994) (CC'94) ed P.A. Fritzson, LNCS786 Springer Verlag view details
    Resources