CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

A Static Framework for Scalable Emulation of Evaluation Semantics

Andreas Priesnitz (Institutionen för data- och informationsteknik, Datavetenskap (Chalmers))
Proc. of the 6th Int. Workshop on Multiparadigm Programming With Object-Oriented Languages, an ECOOP workshop (2007)
[Konferensbidrag, refereegranskat]

The power of a programming language depends to a significant extent on its semantics of expression evaluation. It is therefore rewarding and popular to emulate nonexistent evaluation features by library constructs. For instance, one can emulate the functional programming idiom of a (partially) unbound function in an imperative language by providing special functor types. Their instances are created anonymously and represent late bindings if used as function arguments. This approach is of limited scalability to further emulations in this style, because each function implementation has to account for any possible combination of such special argument types. We propose a library-based framework that systematically supports the emulation of evaluation semantics without increasing the complexity order of function implementations. C++ as implementation language allows applying these constructs statically and therefore to avoid performance penalties at run time.



Denna post skapades 2007-09-21. Senast ändrad 2013-08-05.
CPL Pubid: 49415

 

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Datavetenskap (Chalmers)

Ämnesområden

Datalogi
Programvaruteknik

Chalmers infrastruktur