A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

Scanning Electron Microscopy Studies on Tear and Wear Failure of Short Kevlar Fiber-Thermoplastic- Polyurethane Composite

Tear and wear properties of short kevlar fiber, thermoplastic polcurethane (TPU) composite with respect to fiber loading-and fiber onentation has been studied and the fracture surfaces were examined under scanning electron microscope (SEM). Tear strength first decreased up to 20 phr fiber loading and then gradually increased with increasing fiber loading. Anisotropy in tear strength was evident beyond a fiber loading of 20 phr. Tear fracture surface of unfilled TPU showed sinusoidal folding characteristics of high strength matrix. At low fiber loading the tear failure was mainly due to fibermatrix failure whereas at higher fiber loading the failure occurred by fiber breakage. Abrasion loss shows a continuous rise with increasing fiber loading, the loss in the transverse orientation of fibers being higher than that in the longitudinal orientation. The abraded surface showed lone cracks and ridges parallel to the direction of abrasion indicating an abrasive wear mechanism. In the presence of fber the abrasion loss was mainly due to fiber low.

“Studies on new base materials for microcellular soles"

The most important part of any footwear is the sole (or sole and heel) which withstands all the hannful external factors such as rouglmess of the ground or road, sharp objects, thorns and stones, heat, dampness and cold during walking. The properties desirable in soling material, therefore, would be 1. lightness 2. resistance to wear and tear for long service life 3. flexibility/softness for wearing comfort 4. thennal insulation Rubber soling surpasses all other soling materials in better performance and lower cost. Because MC sole is soft and very light, and has good abrasion resistance, flex properties and set behaviour it has become very popular all over the world and demand for better quality product is ever increasing. Due to the traditional approach adopted by the footwear industry in foot wear design, the rubber based footwear export surprisingly contributes only a small percentage. The essence of success for any industry lies in the expansion of the export market. Microcellular soles are manufactured for the last three decades without much change in the traditional design and colour pattern. In recent years domestic customers have also started demanding better quality products. In view of the changing taste of the customer and growing competition from other countries, substantial improvement in the export potential will require new base materials for regular or fashion rubber based footwears. The main objective of the present study is to develop new base materials for making MC soles with good quality, viz., light weight, durability and bright colours

Konzeption eines generischen Vorgehensmodells zur strategieorientierten und partizipativen Einführung komplexer Softwaresysteme unter Berücksichtigung organisatorischer Gestaltungsprozesse

Die Dissertation befasst sich mit der Einführung komplexer Softwaresysteme, die, bestehend aus einer Kombination aus parametrisierter Standardsoftware gepaart mit Wettbewerbsvorteil sichernden Individualsoftwarekomponenten, keine Software-Engineering-Projekte im klassischen Sinn mehr darstellen, sondern einer strategieorientierten Gestaltung von Geschäftsprozessen und deren Implementierung in Softwaresystemen bedürfen. Die Problemstellung einer adäquaten Abwägung zwischen TCO-optimierender Einführung und einer gleichzeitigen vollständigen Unterstützung der kritischen Erfolgsfaktoren des Unternehmens ist hierbei von besonderer Bedeutung. Der Einsatz integrierter betriebswirtschaftlicher Standardsoftware, mit den Möglichkeiten einer TCO-Senkung, jedoch ebenfalls der Gefahr eines Verlustes von Alleinstellungsmerkmalen am Markt durch Vereinheitlichungstendenzen, stellt ein in Einführungsprojekten wesentliches zu lösendes Problem dar, um Suboptima zu vermeiden. Die Verwendung von Vorgehensmodellen, die sich oftmals an klassischen Softwareentwicklungsprojekten orientieren oder vereinfachte Phasenmodelle für das Projektmanagement darstellen, bedingt eine fehlende Situationsadäquanz in den Detailsituationen der Teilprojekte eines komplexen Einführungsprojektes. Das in dieser Arbeit entwickelte generische Vorgehensmodell zur strategieorientierten und partizipativen Einführung komplexer Softwaresysteme im betriebswirtschaftlichen Anwendungsbereich macht - aufgrund der besonders herausgearbeiteten Ansätze zu einer strategieorientierten Einführung, respektive Entwicklung derartiger Systeme sowie aufgrund der situationsadäquaten Vorgehensstrategien im Rahmen der Teilprojektorganisation � ein Softwareeinführungsprojekt zu einem Wettbewerbsfaktor stärkenden, strategischen Element im Unternehmen. Die in der Dissertation diskutierten Überlegungen lassen eine Vorgehensweise präferieren, die eine enge Verschmelzung des Projektes zur Organisationsoptimierung mit dem Softwareimplementierungsprozess impliziert. Eine Priorisierung der Geschäftsprozesse mit dem Ziel, zum einen bei Prozessen mit hoher wettbewerbsseitiger Priorität ein organisatorisches Suboptimum zu vermeiden und zum anderen trotzdem den organisatorischen Gestaltungs- und den Systemimplementierungsprozess schnell und ressourcenschonend durchzuführen, ist ein wesentliches Ergebnis der Ausarbeitungen. Zusätzlich führt die Ausgrenzung weiterer Prozesse vom Einführungsvorgang zunächst zu einem Produktivsystem, welches das Unternehmen in den wesentlichen Punkten abdeckt, das aber ebenso in späteren Projektschritten zu einem System erweitert werden kann, welches eine umfassende Funktionalität besitzt. Hieraus ergeben sich Möglichkeiten, strategischen Anforderungen an ein modernes Informationssystem, das die kritischen Erfolgsfaktoren eines Unternehmens konsequent unterstützen muss, gerecht zu werden und gleichzeitig ein so weit als möglich ressourcenschonendes, weil die Kostenreduktionsaspekte einer Standardlösung nutzend, Projekt durchzuführen. Ein weiterer wesentlicher Aspekt ist die situationsadäquate Modellinstanziierung, also die projektspezifische Anpassung des Vorgehensmodells sowie die situationsadäquate Wahl der Vorgehensweisen in Teilprojekten und dadurch Nutzung der Vorteile der verschiedenen Vorgehensstrategien beim konkreten Projektmanagement. Der Notwendigkeit der Entwicklung einer Projektorganisation für prototypingorientiertes Vorgehen wird in diesem Zusammenhang ebenfalls Rechnung getragen. Die Notwendigkeit der Unternehmen, sich einerseits mit starken Differenzierungspotenzialen am Markt hervorzuheben und andererseits bei ständig sinkenden Margen einer Kostenoptimierung nachzukommen, lässt auch in Zukunft das entwickelte Modell als erfolgreich erscheinen. Hinzu kommt die Tendenz zu Best-Of-Breed-Ansätzen und komponentenbasierten Systemen im Rahmen der Softwareauswahl, die eine ausgesprochen differenzierte Vorgehensweise in Projekten verstärkt notwendig machen wird. Durch die in das entwickelte Modell integrierten Prototyping-Ansätze wird der auch in Zukunft an Bedeutung gewinnenden Notwendigkeit der Anwenderintegration Rechnung getragen.

On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata

This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS), which both are useful models in computational linguistics. For PCGSs we study two complexity measures called 'generation complexity' and 'distribution complexity', and we prove that a PCGS Pi, for which the generation complexity and the distribution complexity are both bounded by constants, can be transformed into a freely rewriting restarting automaton of a very restricted form. From this characterization it follows that the language L(Pi) generated by Pi is semi-linear, that its characteristic analysis is of polynomial size, and that this analysis can be computed in polynomial time.

The bravest ever bear.

Historias que tratan de un oso, de otro oso, de tres osos, de veinticuatro osos negros, de un pingüino, de una salchicha. Pero también de una princesa, de un lobo, de un gnomo, de un dragón, de una salchicha. El problema es que cada uno de estos personajes no se siente a gusto con la historia que se cuenta sobre él y quiere escribir su propia versión.

A scaled-down conference model for courses covering ever-changing fields in computer science undergraduate degree programs

Resumen tomado de la publicación

The best Christmas pageant ever: creating a captioned version

This paper discusses a study done of hearing impaired children and watching a captioned film.

"Ever-growing Amman", Jordan: Urban expansion, social polarisation and contemporary urban planning issues

Amman the primate capital city of the Hashemite Kingdom of Jordan currently has a population in excess of 2 million, but in 1924 it consisted of little more than a collection of dwellings and some 2000-3000 inhabitants. The present paper sets out to document and explain the phenomenal expansion of "ever-growing Amman". The physical geography of the urban region and the early growth of the city are considered at the outset and this leads directly to consideration of the highly polarised social structuring that characterises contemporary Amman. In doing this, original data derived from the recent Greater Amman Municipality's Geographical Information System are presented. In this respect, the essential modernity of the city is exemplified. The employment and industrial bases of the city and a range of pressing contemporary issues are then considered, including transport and congestion, the provision of urban water under conditions of water stress and privatisation, and urban and regional development planning for the city. The paper concludes by emphasizing the growing regional and international geopolitical salience of the city of Amman at the start of the 21st century. (C) 2008 Elsevier Ltd. All rights reserved.