XML (eXtensible Markup Language) est un format standard pour l'échange de données semi-structurées, qui est utilisé dans services web, les bases de données, et comme format de sérialisation pour échanger des données entre applications. Afin d'avoir un meilleur traitement de données XML, plusieurs langages statiquement typés pour XML ont été récemment définis, tels XDuce, CDuce, XJ, XTatic, XACT, XHaskell, OCamlDuce. Ces langages peuvent vérifier si un programme n'engendra d'erreurs de types à l'exécution. Mais la plupart de ces langages n'incluent pas le polymorphisme paramétrique ou l'incluent sous un forme très limitée. Cependant, le traitement de données XML nécessite du polymorphisme paramétrique, c'est pourquoi il a été demandé et discuté à plusieurs reprises dans diverses groupes de travail de standardisation (par example, RELAX-NG et XQuery). Nous étudions dans cette thèse les techniques pour étendre par le polymorphisme paramétrique les langages de traitement XML. Notre solution se deroule sur deux étapes: (i) nous définissons et étudions une relation de sous-typage polymorphe sémantique pour un système de type avec types récursifs, types des produits, types des flèches, et types des ensemblistes (c'est-à-dire, l'union, l'intersection et la négation); et (ii) nous concevons et étudions un langage fonctionnel d'ordre supérieur qui tire pleinement parti des nouvelles fonctionnalités du système de type. La solution que nous proposons dans cette thèse est générale. Ainsi elle a des domaines d'application autres que les langages pour le traitement de données XML.

En ajoutant au lambda-calcul des structures de données algébriques, des types dépendants et un système de modules, on obtient un langage de programmation avec peu de primitives mais une très grande expressivité. L'assistant de preuve Coq s'appuie sur un tel langage (le CIC) à la sémantique particulièrement claire. L'utilisateur n'écrit pas directement de programme en CIC car cela est ardu et fastidieux. Coq propose un environnement de programmation qui facilite la tâche en permettant d'écrire des programmes incrémentalement grâce à des constructions de haut niveau plus concises. Typiquement, les types dépendants imposent des contraintes fortes sur les données. Une analyse de cas peut n'avoir à traiter qu'un sous-ensemble des constructeurs d'un type algébrique, les autres étant impossibles par typage. Le type attendu dans chacun des cas varie en fonction du constructeur considéré. L'impossibilité de cas et les transformations de type doivent être explicitement écrites dans les termes de Coq. Pourtant, ce traitement est mécanisable et cette thèse décrit un algorithme pour réaliser cette automatisation. Par ailleurs, il est nécessaire à l'interaction avec l'utilisateur de calculer des programmes du CIC sans faire exploser la taille syntaxique de la forme réduite. Cette thèse présente une machine abstraite conçu dans ce but. Enfin, les points fixes permettent une manipulation aisée des structure de données récursives. En contrepartie, il faut s'assurer que leur exécution termine systématiquement. Cette question sensible fait l'objet du dernier chapitre de cette thèse.

No description available.

Bibliography: leaves [238]-244 / xi, 244 leaves : ill ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / Thesis (Ph.D.)--University of Adelaide, Dept. of Computer Science, 1985

Thesis (M.Eng.)--Memorial University of Newfoundland, 1999. / Bibliography: leaves 100-102.

No description available.

[pt] Muitas aplicações são tornadas programáveis para usuários finais avançados adicionando recursos como scripting e macros. Outras aplicações dão a uma linguagem de programação um papel central na sua interface com o usuário. Esse é o caso, por exemplo, da linguagem de fórmulas de planilhas de cálculo. Enquanto a área de scripting se beneficiou dos avanços das pesquisas em linguagens de programação, produzindo linguagens maduras e reusáveis, o estado das linguagens em nível de interface não teve o mesmo grau de desenvolvimento. Argumentamos que um melhor entendimento desta classe de linguagens se faz necessário. Neste trabalho, modelamos semânticas de linguagens de usuário final existentes, em três diferentes domínios: multimídia, planilhas e engenharia. Nosso foco é em linguagens de dataflow, um paradigma representativo em aplicações programáveis por usuários finais. Com base nessa análise, temos como objetivo prover um melhor entendimento do design de linguagens de dataflow no contexto de programação de usuários finais e propor linhas-guia para o projeto de linguagens de nível de interface baseadas neste paradigma para aplicações programáveis. / [en] Many applications are made programmable for advanced end-users by adding facilities such as scripting and macros. Other applications take a programming language to the center stage of its UI. That is the case, for example, of the spreadsheet formula language. While scripting has benefited from the advances of programming language research, producing mature and reusable languages, the state of UI-level languages lags behind. We claim that a better understanding of such languages is necessary. In this work, we model the semantics of existing end-user programming languages in three different domains: multimedia, spreadsheets and engineering. Our focus is on dataflow languages, a representative paradigm for end-user programmable applications. Based on this analysis, we aim to provide a better understanding of dataflow semantics as used in the context of end-user programming and propose guidelines for the design of UI-level languages for end-user programmable applications.

Sverige och världen blir mer digitaliserat för varje år. Varje år implementeras ny teknik i allabranscher vilket innebär att tekniken kan komma att styra arbetsbranschen. Detta har gjort attSverige och andra länder har börjat med programmering i grundskolan. Anledning till det ärför att utveckla individens datalogiska tänkande. I den här studien undersöks datalogiskttänkande som en egenskap som en individ innehar och hur arbetsgivaren inom mjukvaruutvecklingprioriterar datalogiskt tänkande vid en potentiell anställning som programmerare.Genom intervjuer och enkäter har forskarna samlat in data och konstruerat egna kategorierifrån programmering och datalogiskt tänkande för att sedan jämföra dessa mot den insamladedata från olika arbetsgivare. Studien har visat att arbetsgivaren faktiskt prioriterar datalogiskttänkande över programmeringskunskaper vilket stödjer den senaste implementationen avdatalogiskt tänkande. Den här studien är unik då det finns få eller ingen tidigare forskning om datalogiskt tänkandedär en kategorisering har genomförts inom de två områdena. Författarna tror starkt på attakademiska intressenter inom data- och systemvetenskap men även företag som bedriverprogrammering kan ha stor nytta av att ta del av den här studien. Studien belyser ett uniktresultat som troligtvis inte genomförts tidigare. Möjliga positiva konsekvenser av den härstudien är att författarna hoppas på att datalogiskt tänkande får mer uppmärksamhet avbranschen. Ett tydligt kunskapsbidrag till den tidigare forskningen om datalogiskt tänkandepresenteras i studien vilket kan påverka den framtida forskningen och implementationen avbegreppet datalogiskt tänkande. / Sweden and the rest of the world are constantly evolving in the digital aspect. Every yearmore technology is being implemented in all the fields which make the technology in controlof all the working fields. These changes have made Sweden and other countries to start withprogramming in the elementary school. This is to develop the individual’s computationalthinking. In this thesis, computational thinking is researched as a property of an individualand how employers prioritize computational thinking at a potential employment within theirbusiness as a software developer. Through interviews and surveys the researches havecollected data and constructed their own categories from programming and computationalthinking which was used in comparison with collected data from different employers. Thisstudy has shown that employers actually prefer computational thinking over programmingskillswhich support the recent implementation of computational thinking. This thesis is unique because none or very few previous researchers with a study revolvingcomputational thinking where categorizes have been used to compare the two different fields.The researches strongly believe that academic stakeholders within computer science andorganizations that uses software developing can have great use of this thesis’ results. Thisstudy enlightens a unique result which most likely has not been conducted before. Potentialconsequences of this study are that the authors hope that computational thinking will acquiremore attention. A clear knowledge grant of the previous research about computationalthinking is being presented in this study which can affect the future research andimplementation of the term computational thinking.

Linda is a new parallel programming language that is built around an interprocess communication model called generative communication that differs from previous models in specifying that shared data be added in tuple form to an environment called tuple space, where a tuple exists independently until some process chooses to use it. Interesting properties arise from the model, including space and time uncoupling as well as structured naming. We delineate the essential Linda operations, then discuss the properties of generative communication. We are particularly concerned with implementing Linda on top of two traditional parallel programming paradigms - process communication through globally shared memory via monitors, and process communication in local memory architectures through the use of message passing constructs. We discuss monitors and message passing, then follow with a description of the two Linda implementations.

Role-based modeling has been proposed almost 40 years ago as a means to model complex and dynamic domains, because roles are able to capture both context-dependent and collaborative behavior of objects. Unfortunately, while several researchers have introduced the notion of roles to modeling and programming languages, only few have captured both the relational and the context-dependent nature of roles. In this work, we classify various proposals since 2000 and show the discontinuity and fragmentation of the whole research field. To overcome discontinuity, we propose a family of metamodels for role-based modeling languages. Each family member corresponds to a design decision captured in a feature model. In this way, it becomes feasible to generate a metamodel for each role-based approach. This allows for the combination and improvement of the different role-based modeling and programming languages and paves the way to reconcile the research field.