Rozprawy doktorskie na temat „Programming language semantics”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Programming language semantics”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
Berry, Dave. "Generating program animators from programming language semantics". Thesis, University of Edinburgh, 1990. http://hdl.handle.net/1842/10791.
Pełny tekst źródłaAzevedo, Terceiro Antonio Soares de. "Semantics for an algebraic specification language". reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2006. http://hdl.handle.net/10183/8126.
Pełny tekst źródłaProsoft is a research project at Instituto de Informática da UFRGS, developed by the research group with the same name and coordinated by Professor Daltro José Nunes. The project’s goal is to develop a full software development environment, the Prosoft Environment, based on the concepts of Models, Lambda Calculus, Abstract Data Types and Object orientation. One of the components of the Prosoft Environment is its algebraic specification language: Algebraic Prosoft. Although being the basis and theme of several works in the Prosoft research group, Algebraic Prosoft doesn’t have its semantics properly defined. Works done up to now were based on operational notions and presented different interpretations of Algebraic Prosoft. This thesis presents a denotational semantics specification for Algebraic Prosoft, comprising, among other features, its “inter-data type” communication primitive, called ICS, and its graphical notation for representing instantiations of abstract data types. This thesis also presents a study of semantic prototyping using the Haskell programming language. The concept of Literate Programing and the proximity between lambda calculus and Haskell were crucial to the rapid development of a prototype implementation of Algebraic Prosoft, based on its specified semantics. This thesis’ main contributions include: a precise and unambiguous interpretation of Algebraic Prosoft, through a semantics specification; the definition of semantics to the ICS, a unique (to the best of our knowledge) concept that provides a messagepassing mechanism between algebraic data types; a prototype implementation of Algebraic Prosoft, which can actually be used to experiment and test the Algebraic Prosoft language definition and semantics specification; results regarding semantics prototyping of both denotational and operational semantics specifications using the Haskell programming language for rapid development of semantics-based prototypes of languages. Since a large portion of Prosoft Environment’s development is done through international cooperation projects and this thesis will strongly influence its future development, the text was written in English in order to facilitate the information exchange between the Prosoft research group and its foreign partners.
Szymczak, Marcin. "Programming language semantics as a foundation for Bayesian inference". Thesis, University of Edinburgh, 2018. http://hdl.handle.net/1842/28993.
Pełny tekst źródłaBotting, Richard. "Iterative construction of data modelling language semantics". Thesis, Coventry University, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.362076.
Pełny tekst źródłaBrown, Deryck Forsyth. "Sort inference in action semantics". Thesis, University of Glasgow, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360173.
Pełny tekst źródłaHarrison, Dave. "Functional real-time programming : the language Ruth and its semantics". Thesis, University of Stirling, 1988. http://hdl.handle.net/1893/12116.
Pełny tekst źródłaArenas-Sarmiento, Alvard Enrique. "Implementation of an asynchronous real-time programming language". Thesis, University of Oxford, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365697.
Pełny tekst źródłaPareschi, Remo. "Type-driven natural language analysis". Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/19215.
Pełny tekst źródłaWu, Xiaoqing. "Component-based language implementation with object-oriented syntax and aspect-oriented semantics". Birmingham, Ala. : University of Alabama at Birmingham, 2007. http://www.mhsl.uab.edu/dt/2007p/wu.pdf.
Pełny tekst źródłaAdditional advisors: Jeff Gray, Marjan Mernik, Alan Sprague, Murat Tanik. Description based on contents viewed June 25, 2007; title from title screen. Includes bibliographical references (p. 132-138).
Gabbay, Murdoch James. "A theory of inductive definitions with α-equivalence : semantics, implementation, programming language". Thesis, University of Cambridge, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.620988.
Pełny tekst źródłaStark, Jamie. "Proof planning for imperative program development". Thesis, Heriot-Watt University, 2000. http://hdl.handle.net/10399/589.
Pełny tekst źródłaHalmay, Edit. "Formal method for the retrospective specification of the functionality of existing software systems". Thesis, London South Bank University, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.329142.
Pełny tekst źródłaOwei, Vesper T. "Framework for a conceptual query language for capturing relationship semantics in databases". Diss., Georgia Institute of Technology, 1994. http://hdl.handle.net/1853/30684.
Pełny tekst źródłaSanjabi, Sam Bakhtiar. "A semantics for aspects by compositional translation". Thesis, University of Oxford, 2008. http://ora.ox.ac.uk/objects/uuid:9cb4d365-afb9-4f9f-b18b-59857e2c85d6.
Pełny tekst źródłaMonteiro, Borba Paulo Henrique. "Semantics and refinement for a concurrent object oriented language". Thesis, University of Oxford, 1995. http://ora.ox.ac.uk/objects/uuid:33161f48-b329-4553-aed9-70f48e3c57cb.
Pełny tekst źródłaMallon, Ryan Peter Kingsley. "The Semantics, Formal Correctness and Implementation of History Variables in an Imperative Programming Language". Thesis, University of Canterbury. Computer Science and Software Engineering, 2006. http://hdl.handle.net/10092/1173.
Pełny tekst źródłaAlghamdi, Aliaa. "Queued and Pooled Semantics for State Machines in the Umple Model-Oriented Programming Language". Thesis, Université d'Ottawa / University of Ottawa, 2015. http://hdl.handle.net/10393/31961.
Pełny tekst źródłaJenkins, Stephen Graham. "An object oriented and visual data analysis environment : semantics and pragmatics of multi language programming". Thesis, University of the West of England, Bristol, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.274390.
Pełny tekst źródłaWendelborn, Andrew Lawrence. "Data flow implementations of a lucid-like programming language". Title page, contents and summary only, 1985. http://web4.library.adelaide.edu.au/theses/09PH/09phw471.pdf.
Pełny tekst źródłaKumar, Sanjeev. "A formal semantics of teamwork and multi-agent conversations as the basis of a language for programming teams of autonomous agents /". Full text open access at:, 2006. http://content.ohsu.edu/u?/etd,17.
Pełny tekst źródłaShadrin, Andrey [Verfasser], i Wolfgang J. [Akademischer Betreuer] Paul. "Mixed low- and high level programming language semantics and automated verification of a small hypervisor / Andrey Shadrin. Betreuer: Wolfgang J. Paul". Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2012. http://d-nb.info/1052550223/34.
Pełny tekst źródłaLlopard, Ivan. "Programming embedded manycore : refinement and optimizing compilation of a parallel action language for hierarchical state machines". Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066157/document.
Pełny tekst źródłaModeling languages propose convenient abstractions and transformations to handle the complexity of today's embedded systems. Based on the formalism of \acrlong{hsm}, they enable the expression of hierarchical control parallelism. However, they face two importants challenges when it comes to model data-intensive applications: no unified approach that also accounts for data-parallel actions; and no effective code optimization and generation flows. In this thesis, we propose a modeling language extended with parallel action semantics and hierarchical indexed-state machines suitable for computationally intensive applications. Together with its formal semantics, we present an optimizing model compiler aiming for the generation of efficient data-parallel implementations
Attar, Pejman. "Towards a safe and secure synchronous language". Phd thesis, Université Nice Sophia Antipolis, 2013. http://tel.archives-ouvertes.fr/tel-00920152.
Pełny tekst źródłaKammar, Ohad. "Algebraic theory of type-and-effect systems". Thesis, University of Edinburgh, 2014. http://hdl.handle.net/1842/8910.
Pełny tekst źródłaWarren, Jared. "Using Haskell to Implement Syntactic Control of Interference". Thesis, Kingston, Ont. : [s.n.], 2008. http://hdl.handle.net/1974/1237.
Pełny tekst źródłaLallouet, Arnaud. "Modularité, validation et parallélisme de données en programmation logique". Orléans, 1996. http://www.theses.fr/1996ORLE2012.
Pełny tekst źródłaDas, Barman Kuntal. "Type theoretic semantics for programming languages". Nice, 2004. http://www.theses.fr/2004NICE4029.
Pełny tekst źródłaSemantics of programming languages gives the meaning of program constructs. Operational and denotational semantics are two main approaches for programming languages semantics. Operational semantics is usually given by inductive relations. Denotational semantics is given by partial functions. Implementing the denotational semantics inside type theory is difficult as the type theory expects total functions. In this dissertation we develop a functional semantics for a small imperative language inside type theory and show its equivalence with operational semantics. We then exploit this functional semantics to obtain a more direct proof search tool, while developing a way to describer and manipulate unknown expressions, in the symbolic computation of programs for formal proof development. In a third part, we address the problem of encoding complex programs inside type theory and we show how to circumvent the limitations of guardedness conditions as the are used in the Calculus of Inductive Constructions
Abou-Saleh, Faris. "A coalgebraic semantics for imperative programming languages". Thesis, Imperial College London, 2014. http://hdl.handle.net/10044/1/13693.
Pełny tekst źródłaPlaice, John. "Sémantique et compilation de LUSTRE, un langage déclaratif synchrone". Grenoble INPG, 1988. http://www.theses.fr/1988INPG0032.
Pełny tekst źródłaWolczko, M. I. "Semantics of object-oriented languages". Thesis, University of Manchester, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.234230.
Pełny tekst źródłaClark, Anthony Neil. "Semantic primitives for object-oriented programming languages". Thesis, Queen Mary, University of London, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.363089.
Pełny tekst źródłaEades, Harley D. III. "The semantic analysis of advanced programming languages". Diss., University of Iowa, 2014. https://ir.uiowa.edu/etd/1312.
Pełny tekst źródłaRoyer, Véronique. "Compilation dirigee par la semantique : une methode constructive". Toulouse 3, 1986. http://www.theses.fr/1986TOU30170.
Pełny tekst źródłaCaswell, Matthew J. A. "The action semantics of object-oriented languages". Thesis, Loughborough University, 1998. https://dspace.lboro.ac.uk/2134/28283.
Pełny tekst źródłaAtzemoglou, George Philip. "Higher-order semantics for quantum programming languages with classical control". Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:9fdc4a26-cce3-48ed-bbab-d54c4917688f.
Pełny tekst źródłaKing, Christopher T. "An axiomatic semantics for functional reactive programming". Worcester, Mass. : Worcester Polytechnic Institute, 2008. http://www.wpi.edu/Pubs/ETD/Available/etd-042908-133033/.
Pełny tekst źródłaTamarit, Muñoz Salvador. "Analysis Techniques for Concurrent Programming Languages". Doctoral thesis, Universitat Politècnica de València, 2013. http://hdl.handle.net/10251/31651.
Pełny tekst źródłaConcurrent languages are increasingly present in our society, both in new technologies and in the systems used on a daily basis. Moreover, given the current systems distribution and their internal architecture, one can expect that this remains so in the coming years. In this context, the development of tools to support the implementation of concurrent programs becomes essential. Futhermore, the behavior of concurrent systems is particularly difficult to analyse, so that any tool that helps in this task, even if in a limited way, will be very useful. For example, one can find tools for debugging, analysis, testing, optimisation, or simplification of programs, which are widely used by programmers nowadays. The purpose of this thesis is to introduce, through various concurrent programming languages, some analysis techniques that can help to improve the experience of the software development and release for concurrent models. This thesis introduces both static (approximating all possible executions) and dynamic (considering a specific execution) analysis. The topics considered here differ enough from each other to be fully independent. Nevertheless, they have a common link: they can be used to analyse properties of a concurrent programming language. All the analyses presented here have been formally defined and their correctness have been proved, ensuring that the results will have the reliability degree which is needed for some systems (for instance, for critical systems). It also includes a description of the software tools that implement the different ideas proposed. This gives the work a usefulness well beyond the theoretical aspect, allowing us to put it in practice and to test the different analyses with real-world examples All the ideas here presented are, by themselves, approaches that can be applied in many current contexts and problems. Moreover, individually they serve as a starting point for other derived analysis, as well as for the adaptation to other languages of the same family. This gives an added value to this work, a fact confirmed by some later works that are already benefiting from the results obtained in this thesis.
Tamarit Muñoz, S. (2013). Analysis Techniques for Concurrent Programming Languages [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/31651
TESIS
Vittek, Marian. "Elan : un cadre logique pour le prototypage de langages de programmation avec contraintes". Nancy 1, 1994. http://www.theses.fr/1994NAN10372.
Pełny tekst źródłaReid, N. K. "A formal semantics of parallel features of Fortran 95". Thesis, Queen's University Belfast, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.273424.
Pełny tekst źródłaMcIver, Linda Kathryn 1971. "Syntactic and semantic issues in introductory programming education". Monash University, School of Computer Science and Software Engineering, 2001. http://arrow.monash.edu.au/hdl/1959.1/8800.
Pełny tekst źródłaWhite, Alexa. "Towards a Complete Formal Semantics of Rust". DigitalCommons@CalPoly, 2021. https://digitalcommons.calpoly.edu/theses/2262.
Pełny tekst źródłaAyers, Robert. "Enhancing the semantic power of functional database languages". Thesis, Birkbeck (University of London), 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.307446.
Pełny tekst źródłaLindhult, Johan. "Operational Semantics for PLEX : A Basis for Safe Parallelization". Licentiate thesis, Västerås : School of Innovation, Design and Engineering, Mälardalen University, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-631.
Pełny tekst źródłaGruer, Juan Pablo. "Eléments de synchronisation pour un langage temps-réel de commande de procédés". Mulhouse, 1989. http://www.theses.fr/1989MULH0105.
Pełny tekst źródłaFerreira, William. "Semantic theories for concurrent ML". Thesis, University of Sussex, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.307726.
Pełny tekst źródłaHünke, Yorck. "Semantics and type checking of dependently-typed lazy functional programs /". Oxford : Oxford University Computing Laboratory, 2004. http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-04-15.html.
Pełny tekst źródłaColledan, Andrea. "Abstract Machine Semantics for Quipper". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/22835/.
Pełny tekst źródłaXie, Linchi. "The design of semantic database model SDBM". Thesis, University of British Columbia, 1987. http://hdl.handle.net/2429/26113.
Pełny tekst źródłaBusiness, Sauder School of
Graduate
Al-Hafez, Muhammad Yassin. "A semantic knowledge-based computational dictionary for support of natural language processing systems". Thesis, Cranfield University, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.385765.
Pełny tekst źródłaCrous, Theodorus. "Semantos : a semantically smart information query language". Pretoria : [s.n.], 2008. http://upetd.up.ac.za/thesis/available/etd-11292009-190944/.
Pełny tekst źródła