Accedi

Bibliografie tematiche / Programming language translation / Tesi

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Programming language translation.

Tesi sul tema "Programming language translation"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 3 febbraio 2022

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-24 saggi (tesi di laurea o di dottorato) per l'attività di ricerca sul tema "Programming language translation".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi le tesi di molte aree scientifiche e compila una bibliografia corretta.

1

Ibrahim-Sakre, Mohammed M. A. "A fast and expert machine translation system involving Arabic language." Thesis, Cranfield University, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305302.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Khan, Mohammad Abid. "The use of text-based approach in natural language translation by computer." Thesis, Cranfield University, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.278760.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Sanjabi, 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.

Testo completo

Abstract (sommario):

We analyse the semantics of aspect-oriented extensions to functional languages by presenting compositional translations of these primitives into languages with traditional notions of state and control. As a first step, we examine an existing semantic description of aspects which allows the labelling of program points. We show that a restriction of these semantics to aspects which do not preempt the execution of code can be fully abstractly translated into a functional calculus with higher order references, but that removing this restriction requires a notion of exception handling to be added t

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Karlsson, Nina. "Language Manager Version 2.0." Thesis, Örebro universitet, Institutionen för naturvetenskap och teknik, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-30043.

Testo completo

Abstract (sommario):

This report describes an examination project made for the IT consultingcompany Sogeti. The purpose of the project was to develop and modify the translation tool Language Manager (LM) built by Sogeti to be used for translating applications. Employees at Sogeti considered some disadvantages with Language Manager, version 1.0 which among others was that language files for projects were saved at two locations. Partly in resource maps among with the source code of the applications and partly in a database. This was dual work for employees at Sogeti and it also caused redundancy inthe system. Also e

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Ravalli, Gilbert, and gravalli@swin edu au. "Translation of on object role model schema into the formal language Z." Swinburne University of Technology, 2005. http://adt.lib.swin.edu.au./public/adt-VSWT20060502.130326.

Testo completo

Abstract (sommario):

In the development of information systems for business, structured approaches are widely used in practice. Structured approaches provide a prescription and guidelines for how to go about the process of developing an information system, are relatively easy to learn and provide tools which are well suited to their task. However, the products of structured approaches are sometimes seen to be vague and imprecise since requirements are written using natural language or represented in the form of models which do not have a formal foundation. This vagueness or ambiguity can be the source of problems

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Podkalicka, Aneta Monika. "Lost in translation? Language policy, media and community in the EU and Australia : some lessons from the SBS." Queensland University of Technology, 2007. http://eprints.qut.edu.au/16696/.

Testo completo

Abstract (sommario):

Cultural diversity is a central issue of our times, although with different emphases in the European and Australian context. Media and communication studies have begun to draw on work in translation studies to understand how diversity is experienced across hybrid cultures. Translation is required both for multilingual (multicultural) societies such as Australia and for trans-national entities such as the European Union. Translation is also of increasing importance politically and even emotionally as individual nations and regions face the challenge of globalisation, migration, and the American

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Pippin, William E. Jr. "Optimizing Threads of Computation in Constraint Logic Programs." The Ohio State University, 2003. http://rave.ohiolink.edu/etdc/view?acc_num=osu1041551800.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Andersson, Gustav. "Translation of CAN Bus XML Messages to C Source Code." Thesis, Linnéuniversitetet, Institutionen för datavetenskap och medieteknik (DM), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-96424.

Testo completo

Abstract (sommario):

The concept of translating source code into other target programming languages is extensively used in a wide area of applications. Danfoss Power Solutions AB, a company located in Älmhult, strives to streamline their way of software development for microcontrollers by implementing this idea. Their proprietary software tool PLUS+1 GUIDE is based on the CAN bus communication network, which allows electronic control units to share data represented in the XML format. Due to compatibility problems, the application in the electronic control units requires this data to be translated into the source c

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Laube, Annett, and Hans-Ulrich Karl. "Konzeption eines dreistufigen Transfers für die maschinelle Übersetzung natürlicher Sprachen." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-100746.

Testo completo

Abstract (sommario):

0 VORWORT Die für die Übersetzung von Programmiersprachen benötigten Analyse- und Synthesealgorithmen können bereits seit geraumer Zeit relativ gut sprachunabhängig formuliert werden. Dies findet seinen Ausdruck unter anderem in einer Vielzahl von Generatoren, die den Übersetzungsproze? ganz oder teilweise automatisieren lassen. Die Syntax der zu verarbeitenden Sprache steht gewöhnlich in Datenform (Graphen, Listen) auf der Basis formaler Beschreibungsmittel (z.B. BNF) zur Verfügung. Im Bereich der Übersetzung natürlicher Sprachen ist die Trennung von Sprache und Verarbeitungsalgorithmen - wen

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Laube, Annett, and Hans-Ulrich Karl. "Konzeption eines dreistufigen Transfers für die maschinelle Übersetzung natürlicher Sprachen." Technische Universität Dresden, 1997. https://tud.qucosa.de/id/qucosa%3A26316.

Testo completo

Abstract (sommario):

0 VORWORT Die für die Übersetzung von Programmiersprachen benötigten Analyse- und Synthesealgorithmen können bereits seit geraumer Zeit relativ gut sprachunabhängig formuliert werden. Dies findet seinen Ausdruck unter anderem in einer Vielzahl von Generatoren, die den Übersetzungsproze? ganz oder teilweise automatisieren lassen. Die Syntax der zu verarbeitenden Sprache steht gewöhnlich in Datenform (Graphen, Listen) auf der Basis formaler Beschreibungsmittel (z.B. BNF) zur Verfügung. Im Bereich der Übersetzung natürlicher Sprachen ist die Trennung von Sprache und Verarbeitungsalgorithmen - wen

Gli stili APA, Harvard, Vancouver, ISO e altri

11

Tonchev, Ognyan, and Mohammed Salih. "High-level programming languages translator." Thesis, Blekinge Tekniska Högskola, Avdelningen för för interaktion och systemdesign, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2560.

Testo completo

Abstract (sommario):

This paper discusses a high level language translator. If we divide translators of programming languages in two types: those working for two specific languages and universal translators that can be used for translation between different programming languages, the solution that will be presented in this work can be classified as both, specific language oriented and an universal translator. For the purpose of the research it was limited to translate only from Java to C++, but it can easily be extended to translate between any other high level languages. For simplifying the process of translation

Gli stili APA, Harvard, Vancouver, ISO e altri

12

Millington, M. "Theories of translation correctness for concurrent programming languages." Thesis, University of Edinburgh, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.370892.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

13

Aspen, Said. "Determining the feasibility of automatically translating SMILE to a Java framework." Thesis, Linköping University, Department of Computer and Information Science, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-15789.

Testo completo

Abstract (sommario):

<p> </p><p>MTsim (Mobile Traffic Simulator) is an Ericsson AB internal software application that is part of 2Gsim. It is used to simulate elements of a GSM (Global System for Mobile communications) network for feature testing and automated testing. It is written in the programming language TSS Language, also known as SMILE which is a proprietary Ericsson programming language. SMILE is based on the principles of state matrix programming which in essence means that each program is on its own a finite state machine. The language is old and was originally intended as a macro language for smaller t

Gli stili APA, Harvard, Vancouver, ISO e altri

14

Wu, David M. Eng Massachusetts Institute of Technology. "Abstraction systems for translating and customizing a blocks-based programming language." Thesis, Massachusetts Institute of Technology, 2018. https://hdl.handle.net/1721.1/122912.

Testo completo

Abstract (sommario):

This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (page 62).<br>StarLogo Nova is a tool that allows users to analyze complex systems by programming agent-based models with a block-based programming language. It can be used in education to study complex systems in a more modern way a

Gli stili APA, Harvard, Vancouver, ISO e altri

15

Ahlert, Hubert. "Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1994. http://hdl.handle.net/10183/9006.

Testo completo

Abstract (sommario):

Esta tese de doutorado apresenta um modelo de especificação, textual e grafico, para sistemas transacionais em banco de dados (ER/T+) e, também, um modelo de implementação desta especificação. Sugere uma técnica de proceduralização de especificações declarativas, usando um grafo de dependencia de fluxos de dados para estabelecer a relação de precedecia entre os fluxos do diagrama da linguagem gráfica de especificação. Apresenta, também, os mecanismos de execução da linguagem de especificação proposta e as regras de mapeamento da linguagem de especificação, em seus aspectos estruturais (dados)

Gli stili APA, Harvard, Vancouver, ISO e altri

16

Lee, Chen-Hsiu. "A tabular propositional logic: and/or Table Translator." CSUSB ScholarWorks, 2003. https://scholarworks.lib.csusb.edu/etd-project/2409.

Testo completo

Abstract (sommario):

The goal of this project is to design a tool to help users translate any logic statement into Disjunctive Normal Form and present the result as an AND/OR TABLE, which makes the logic relation easier to express by using a two-dimensional grid of values or expressions. This tool is implemented through a web-based and Java-based application. Thus, the user can utilize this tool via World Wide Web.

Gli stili APA, Harvard, Vancouver, ISO e altri

17

Li, Kaiyan. "Unified modeling language class diagram translator for the online design pattern library system." CSUSB ScholarWorks, 2003. https://scholarworks.lib.csusb.edu/etd-project/2194.

Testo completo

Abstract (sommario):

The Unified Modeling Language (UML) is the successor to the wave of object-oriented analysis and design (OOA&D) methods that appeared in the late '80s and early '90s. The class diagram is one of the most useful diagrams in UML. The class diagram technique has become truly central within object-oriented methods.

Gli stili APA, Harvard, Vancouver, ISO e altri

18

Long, Wendy. "CATY : an ASN. 1-C++ translator in support of distributed object-oriented applications /." Master's thesis, This resource online, 1994. http://scholar.lib.vt.edu/theses/available/etd-10242009-020105/.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

19

Gessenharter, Dominik [Verfasser]. "Semantics-driven translation of UML-models into object-oriented programming languages : aligning the semantics of UML static structures and dynamic behavior in an approach for model-driven development / Dominik Gessenharter." Ulm : Universität Ulm, 2020. http://d-nb.info/1212115295/34.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

20

Jaber, Ghaleb. "Le langage pascal/relationnel : un langage de programmation de bases de donnees." Toulouse 3, 1987. http://www.theses.fr/1987TOU30222.

Testo completo

Abstract (sommario):

Presentation du langage pascal/relationnel construit a partir de pascal par adjonction de constructions venant du domaine des bases de donnees ainsi que la conception et l'implantation du traducteur du langage. Les instructions relationnelles sont inspirees du calcul des predicats et permettent les operations classiques offertes par les systemes de gestion de bases de donnees relationnelles

Gli stili APA, Harvard, Vancouver, ISO e altri

21

Ditu, Gabriel Cristian Computer Science &amp Engineering Faculty of Engineering UNSW. "The programming language TransLucid." 2007. http://handle.unsw.edu.au/1959.4/40701.

Testo completo

Abstract (sommario):

This thesis presents TransLucid, a low-level, purely declarative, intensional programming language. Built on a simple algebra and with just a small number of primitives, TransLucid programs define arbitrary dimensional infinite data structures, which are then queried to produce results. The formal foundations of TransLucid come from the work in intensional logic by Montague and Scott. The background chapters give a history of intensional logic and its predecessors in the Western world, as well as a history of intensional programming and Lucid, the first intensional programming language. The

Gli stili APA, Harvard, Vancouver, ISO e altri

22

Ravalli, Gilbert. "Translation of on object role model schema into the formal language Z." 2002. http://adt.lib.swin.edu.au/public/adt-VSWT20060502.130326/index.html.

Testo completo

Abstract (sommario):

Thesis (MSc.) - Swinburne University of Technology, Faculty of Information & Communication Technologies, 2002.<br>Dissertation for the degree of Master of Science (Research), Faculty of Information and Communication Technologies, Swinburne University of Technology, 2002. Typescript. Bibliography p. 142-146.

Gli stili APA, Harvard, Vancouver, ISO e altri

23

Wang, Lih-der, and 王立德. "The Implementation of Automated Translator from Programming Language to Timed Automata." Thesis, 2004. http://ndltd.ncl.edu.tw/handle/y8d82v.

Testo completo

Abstract (sommario):

碩士<br>國立臺灣大學<br>電機工程學研究所<br>92<br>General purpose programming languages are rich in functionalities and therefore have complicated structures. Hence verifying software programs written in such programming languages can be very difficult. Even if the technical specifications had been verified to be error-free, there may still be errors introduced by the actual implementation. It is important that the verification is performed on the final program. Based on the work flow, a program can be considered as a real-time system with many processes, where each process is represented by a fragment of the

Gli stili APA, Harvard, Vancouver, ISO e altri

24

Dueck, Gerald David Paul. "On the design of a computer language and its translator for programming with abstract data types." 1985. http://hdl.handle.net/1993/29047.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!