Open PhD position at Mines Nantes
by Remi Douence, April 9, 2015Open PhD position at Mines Nantes: Lazy Causal Programming for SOA
http://www.emn.fr/z-info/ascola/doku.php?id=internet:open-pos
"Lazy Causal Programming for Service Oriented Architectures"
Summary: Lazy evaluation is an important software engineering technique. It enables to define general (hence reusable) software components, then to compose them in order to get efficient applications. Lazy evaluation is not an optimization technique, it “only” makes programs simpler and more reusable. Laziness is quite natural in functional languages. Oddly enough, its quite different for imperative languages. Although this technique is well-know and widely spread (for instance, buffered file access, game trees incrementally built, and web pages loaded on demand are laziness in disguise), in imperative languages, the programmer is responsible for manually programming laziness. This is tedious and this generates bugs. This PhD thesis will provide language mechanisms and tools to support lazy evaluation in an imperative context in general, and in a service-oriented context in particular.
Contact:
Rémi Douence, [email protected] Ascola group, EMNantes - Inria - LINA [email protected] http://www.emn.fr/sudholt
