3 research outputs found
The Recursive Record Semantics of Objects Revisited
In a call-by-value language, representing objects as recursive records requires using an unsafe fixpoint. We design, for a core language including extensible records, a type system which rules out unsafe recursion and still supports the reconstruction of a principal type. We illustrate the expressive power of this language with respect to object-oriented programming by introducing a sub-language for «mixin-based» programming
Wood machining with a focus on French research in the last 50 years
International audienceContext: Woodcutting is a very old technology but scientific research is scarce on the subject. In the last 50 years much work on basic mechanisms as well as industrial processes has been done in France. Aims: The specific nature of wood introduces strong differences between wood and metal cutting processes. The paper focuses on French teams' contributions. Results: The basic aspects of the toolâmaterial interaction for different basic modes in woodcutting are highlighted. In primary conversion such as sawing, veneer cutting or green wood chipping, huge progress comes from automation and the possibility of linking the process to log and product quality through new sensors. In secondary processing much has been done on the links between the cutting process, surface qualification and the properties of these surfaces for further processing, such as gluing or coating. Tool wear depends on the cutting process, timber quality, and species. Trade-offs are required in tool technology and coating technologies may improve tool life. Conclusion: A large amount of knowledge and innovation has come from 50 years of worldwide research effort, with France being particularly active in this period. The transfer of skills from metals cutting industry was often a key, but much is needed to move closer to both metal cutting sector and woodcutting skills among craftsmen