Accedi

Bibliografie tematiche / Programming language translation

Indice

Articoli di riviste
Tesi
Libri
Capitoli di libri
Atti di convegni
Rapporti di organizzazioni

Letteratura scientifica selezionata 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:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al 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.

Articoli di riviste sul tema "Programming language translation"

1

Darvas, Dániel, István Majzik, and Enrique Blanco Viñuela. "PLC Program Translation for Verification Purposes." Periodica Polytechnica Electrical Engineering and Computer Science 61, no. 2 (May 23, 2017): 151. http://dx.doi.org/10.3311/ppee.9743.

Testo completo

Abstract (sommario):

Programmable logic controllers are typically programmed in one of the five languages defined in the IEC 61131 standard. While the ability to choose the appropriate language for each program unit may be an advantage for the developers, it poses a serious challenge to verification methods. In this paper we analyse and compare these languages to show that the ST programming language can efficiently and conveniently represent all PLC languages for formal verification purposes. Furthermore, we provide a translation method from IL to ST programming languages (for the Siemens implementation), togethe

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Reznikova, Sofia, Victor Rivera, Joo Young Lee, and Manuel Mazzara. "Translation from Event-B into Eiffel." Modeling and Analysis of Information Systems 25, no. 6 (December 19, 2018): 623–36. http://dx.doi.org/10.18255/1818-1015-2018-6-623-636.

Testo completo

Abstract (sommario):

Formal modelling languages play a key role in the development of software: they enable users to specify functional requirements that serve as documentation as well; they enable users to prove the correctness of system properties, especially for critical systems. However, there is still an open question on how to map formal models to a specific programming language. In order to propose a solution, this paper presents a source-to-source mapping between Event-B models, a formal modelling language for reactive systems, and Eiffel programs, an Object Oriented (O-O) programming language. The mapping

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Ling, Wang, Luís Marujo, Chris Dyer, Alan W. Black, and Isabel Trancoso. "Mining Parallel Corpora from Sina Weibo and Twitter." Computational Linguistics 42, no. 2 (June 2016): 307–43. http://dx.doi.org/10.1162/coli_a_00249.

Testo completo

Abstract (sommario):

Microblogs such as Twitter, Facebook, and Sina Weibo (China's equivalent of Twitter) are a remarkable linguistic resource. In contrast to content from edited genres such as newswire, microblogs contain discussions of virtually every topic by numerous individuals in different languages and dialects and in different styles. In this work, we show that some microblog users post “self-translated” messages targeting audiences who speak different languages, either by writing the same message in multiple languages or by retweeting translations of their original posts in a second language. We introduce

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Et. al., Syed Abdul Basit Andrabi,. "A Review of Machine Translation for South Asian Low Resource Languages." Turkish Journal of Computer and Mathematics Education (TURCOMAT) 12, no. 5 (April 10, 2021): 1134–47. http://dx.doi.org/10.17762/turcomat.v12i5.1777.

Testo completo

Abstract (sommario):

Machine translation is an application of natural language processing. Humans use native languages to communicate with one another, whereas programming languages communicate between humans and computers. NLP is the field that involves a broad set of techniques for analysis, manipulation and automatic generation of human languages or natural languages with the help of computers. It is essential to provide access to information to people for their development in the present information age. It is necessary to put equal emphasis on removing the barrier of language between different divisions of so

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Chiba, Masaki, Toshiyuki Katayama, and Hajime Tanaka. "A database translator of nuclear reaction data for international data exchange." Journal of Information Science 12, no. 4 (June 1986): 153–65. http://dx.doi.org/10.1177/016555158601200402.

Testo completo

Abstract (sommario):

A practical experience in the development of a database translator is reported for use with nuclear reaction databases. The database translator provides for the exchange of nuclear reaction data between a national centre and an international centre with nuclear reaction databases. It is composed of three levels: block level, section level and code level. The translation technique adapted is one usual in programming language translation having very hospitable rules. Some difficulties similar to natural language translation are discussed, since these two databases have different schema of data c

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Gunarto, Hary. "Apps-based Machine Translation on Smart Media Devices - A Review." IJCCS (Indonesian Journal of Computing and Cybernetics Systems) 13, no. 1 (January 31, 2019): 95. http://dx.doi.org/10.22146/ijccs.43066.

Testo completo

Abstract (sommario):

Machine Translation Systems are part of Natural Language Processing (NLP) that makes communication possible among people using their own native language through computer and smart media devices. This paper describes recent progress in language dictionaries and machine translation commonly used for communications and social interaction among people or Internet users worldwide who speak different languages. Problems of accuracy and quality related to computer translation systems encountered in web & Apps-based translation are described and discussed. Possible programming solutions to the pro

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Anjani, Artica Rizza, Sisca Wulansari Saputri, and Aa Qona’atun. "A TRANSLATION EQUIVALENCE ANALYSIS OF ABSTRACT TRANSLATION IN FACULTY OF COMPUTER SCIENCE UNIVERSITY OF BANTEN JAYA 2019." Journal of English Language Teaching and Literature (JELTL) 4, no. 1 (February 28, 2021): 1–15. http://dx.doi.org/10.47080/jeltl.v4i1.1224.

Testo completo

Abstract (sommario):

The research is content analysis which explores the using of translation equivalences applied in Faculty of Computer Science. Considering that the Faculty of Computer Science indirectly and unconsciously often carry out the process of translation in daily activities in the programming language used. The research thus aims to provide how is translation equivalence and what is the dominant translation equivalence used in translation of abstract internship report in Faculty of Computer Science 7th semester in Banten Jaya University 2019. The data conducted from 3 sections of collecting data which

Gli stili APA, Harvard, Vancouver, ISO e altri

8

LEE, JOOHYUNG, NIKHIL LONEY, and YUNSONG MENG. "Representing hybrid automata by action language modulo theories." Theory and Practice of Logic Programming 17, no. 5-6 (August 23, 2017): 924–41. http://dx.doi.org/10.1017/s1471068417000412.

Testo completo

Abstract (sommario):

AbstractBoth hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them. We show how to succinctly represent hybrid automata in an action language which in turn is defined as a high-level notation for answer set programming modulo theories—an extension of answer set programs to the first-order level similar to the way satisfiability modulo theories (SMT) extends propositional satisfiability (SAT). We first show how to represent linear hybrid automata with convex invariants by an action language

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Lucatero, Alejandra, J. Raymundo Marcial-Romero, and J. A. Hernández. "A Scientific Calculator for Exact Real Number Computation Based on LRT, GMP and FC++." Acta Universitaria 22 (March 1, 2012): 35–41. http://dx.doi.org/10.15174/au.2012.339.

Testo completo

Abstract (sommario):

Language for Redundant Test (LRT) is a programming language for exact real number computation. Its lazy evaluation mechanism (also called call-by-need) and its infinite list requirement, make the language appropriate to be implemented in a functional programming language such as Haskell. However, a direction translation of the operational semantics of LRT into Haskell as well as the algorithms to implement basic operations (addition subtraction, multiplication, division) and trigonometric functions (sin, cosine, tangent, etc.) makes the resulting scientific calculator time consuming and so ine

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Gupta, Rahul, Aditya Kanade, and Shirish Shevade. "Deep Reinforcement Learning for Syntactic Error Repair in Student Programs." Proceedings of the AAAI Conference on Artificial Intelligence 33 (July 17, 2019): 930–37. http://dx.doi.org/10.1609/aaai.v33i01.3301930.

Testo completo

Abstract (sommario):

Novice programmers often struggle with the formal syntax of programming languages. In the traditional classroom setting, they can make progress with the help of real time feedback from their instructors which is often impossible to get in the massive open online course (MOOC) setting. Syntactic error repair techniques have huge potential to assist them at scale. Towards this, we design a novel programming language correction framework amenable to reinforcement learning. The framework allows an agent to mimic human actions for text navigation and editing. We demonstrate that the agent can be tr

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Tesi sul tema "Programming language translation"

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

Più fonti

Libri sul tema "Programming language translation"

1

Programming language translation: A practical approach. Wokingham, England: Addison-Wesley Pub. Co., 1986.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Design of compilers: Techniques of programming language translation. Boca Raton: CRC Press, 1992.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Müller, Peter. Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Cham: Springer Nature, 2020.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

K, Narayana Murthy, Chaudhuri B. B, University of Hyderabad. Dept. of Computer and Information Sciences., Society for Computer Applications in Indian Languages., and IEEE Computer Society, eds. Proceedings: Language Engineering Conference : LEC 2002 : 13-15 December, 2002, Hyderabad, India. Los Alamitos, Calif: IEEE Computer Society, 2003.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Millington, Mark. Theories of translation correctness for concurrent programming languages. Edinburgh: University of Edinburgh,Department of Computer Science, 1987.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Minker, Wolfgang. Stochastically-based semantic analysis. Boston: Kluwer Academic, 1999.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Freytag, Johann Christoph. Translating relational queries into iterative programs. Berlin: Springer-Verlag, 1987.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Türkisch-Deutsch: Morphosyntaktische Untersuchungen mit PLL (programming language for linguistics) und ein Modell zur maschinellen Übersetzung. Frankfurt am Main: P. Lang, 1993.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Freytag, Johann Christoph. Translating relationalqueries into iterative programs. Berlin: Springer-Verlag, 1987.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Papegaaij, Bart C. Word expert semantics: An interlingual knowledge-based approach. Dordrecht: Foris, 1986.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Capitoli di libri sul tema "Programming language translation"

1

Axelsen, Holger Bock. "Clean Translation of an Imperative Reversible Programming Language." In Lecture Notes in Computer Science, 144–63. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19861-8_9.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Carpenter, Bryan, Geoffrey Fox, Han-Ku Lee, and Sang Boem Lim. "Translation Schemes for the HPJava Parallel Programming Language." In Languages and Compilers for Parallel Computing, 18–32. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-35767-x_2.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Thomas, Adrian. "Intermediate, Assembler Language Programming Macro Expansions, and Expression Translation." In Integrated Graphic and Computer Modelling, 223–72. London: Springer London, 2009. http://dx.doi.org/10.1007/978-1-84800-179-4_7.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Zhu, Yabing, Yanfeng Zhang, Huili Yang, and Fangjing Wang. "GANCoder: An Automatic Natural Language-to-Programming Language Translation Approach Based on GAN." In Natural Language Processing and Chinese Computing, 529–39. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32236-6_48.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Simner, Ben, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, and Peter Sewell. "ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures." In Programming Languages and Systems, 626–55. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-44914-8_23.

Testo completo

Abstract (sommario):

AbstractComputing relies on architecture specifications to decouple hardware and software development. Historically these have been prose documents, with all the problems that entails, but research over the last ten years has developed rigorous and executable-as-test-oracle specifications of mainstream architecture instruction sets and “user-mode” concurrency, clarifying architectures and bringing them into the scope of programming-language semantics and verification. However, the system semantics, of instruction-fetch and cache maintenance, exceptions and interrupts, and address translation, remains obscure, leaving us without a solid foundation for verification of security-critical systems software.In this paper we establish a robust model for one aspect of system semantics: instruction fetch and cache maintenance for ARMv8-A. Systems code relies on executing instructions that were written by data writes, e.g. in program loading, dynamic linking, JIT compilation, debugging, and OS configuration, but hardware implementations are often highly optimised, e.g. with instruction caches, linefill buffers, out-of-order fetching, branch prediction, and instruction prefetching, which can affect programmer-observable behaviour. It is essential, both for programming and verification, to abstract from such microarchitectural details as much as possible, but no more. We explore the key architecture design questions with a series of examples, discussed in detail with senior Arm staff; capture the architectural intent in operational and axiomatic semantic models, extending previous work on “user-mode” concurrency; make these models executable as test oracles for small examples; and experimentally validate them against hardware behaviour (finding a bug in one hardware device). We thereby bring these subtle issues into the mathematical domain, clarifying the architecture and enabling future work on system software verification.

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Chou, Ching-Tsun, Jiun-Lang Huang, and Masahiro Fujital. "A High-Level Language for Programming Complex Temporal Behaviors and Its Translation into Synchronous Circuits." In Hardware Description Languages and their Applications, 74–76. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-0-387-35064-6_6.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Abadi, Martín. "Protection in Programming-Language Translations." In Secure Internet Programming, 19–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48749-2_2.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Abadi, Martín. "Protection in programming-language translations." In Automata, Languages and Programming, 868–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055109.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Pnneli, A., O. Shtriehman, and M. Siegel. "Translation validation for synchronous languages." In Automata, Languages and Programming, 235–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055057.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Mason, Ian A., and Carolyn L. Talcott. "A semantics preserving actor translation." In Automata, Languages and Programming, 369–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63165-8_193.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Programming language translation"

1

Exman, Iaakov, and Olesya Shapira. "Fast and Reliable Software Translation of Programming Languages to Natural Language." In 7th International Workshop on Software Knowledge. SCITEPRESS - Science and Technology Publications, 2016. http://dx.doi.org/10.5220/0006081200570064.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Hossny, Ahmad, Khaled Shaalan, and Aly Fahmy. "Machine translation model using inductive logic programming." In 2009 International Conference on Natural Language Processing and Knowledge Engineering (NLP-KE). IEEE, 2009. http://dx.doi.org/10.1109/nlpke.2009.5313850.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Matsuzawa, Yoshiaki, Takashi Ohata, Manabu Sugiura, and Sanshiro Sakai. "Language Migration in non-CS Introductory Programming through Mutual Language Translation Environment." In SIGCSE '15: The 46th ACM Technical Symposium on Computer Science Education. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2676723.2677230.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

D'Antras, Amanieu, Cosmin Gorgovan, Jim Garside, and Mikel Luján. "Low overhead dynamic binary translation on ARM." In PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3062341.3062371.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Lopes, Nuno P., Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr. "Alive2: bounded translation validation for LLVM." In PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3453483.3454030.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Cai, Cheng, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Xu, and Zhendong Su. "Calling-to-reference context translation via constraint-guided CFL-reachability." In PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3192366.3192378.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Mahmud, Junayed, Fahim Faisal, Raihan Islam Arnob, Antonios Anastasopoulos, and Kevin Moran. "Code to Comment Translation: A Comparative Study on Model Effectiveness & Errors." In Proceedings of the 1st Workshop on Natural Language Processing for Programming (NLP4Prog 2021). Stroudsburg, PA, USA: Association for Computational Linguistics, 2021. http://dx.doi.org/10.18653/v1/2021.nlp4prog-1.1.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Suchy, Brian, Simone Campanoni, Nikos Hardavellas, and Peter Dinda. "CARAT: a case for virtual memory through compiler- and runtime-based address translation." In PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3385412.3385987.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Li, Juhua, Kazunori Sakamoto, Hironori Washizaki, and Yoshiaki Fukazawa. "Promotion of Educational Effectiveness by Translation-based Programming Language Learning Using Java and Swift." In Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences, 2017. http://dx.doi.org/10.24251/hicss.2017.016.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Vallejo, Juan Sebastian Mejia, Daniel Lazkani Feferman, and Christian Esteve Rothenberg. "Network Address Translation using a Programmable Dataplane Processor." In XVII Workshop em Desempenho de Sistemas Computacionais e de Comunicação. Sociedade Brasileira de Computação - SBC, 2018. http://dx.doi.org/10.5753/wperformance.2018.3333.

Testo completo

Abstract (sommario):

A short-term solution for the depletion of Internet Protocol (IP) addresses and scaling problems in network routing is the reuse of IP address by placing Network Address Translators (NAT) at the borders of stub domains. In this article, we propose an implementation of NAT using Programming ProtocolIndependent Packet Processors (P4) language, taking advantage of its features such as target-agnostic dataplane programmability. Through the MACSAD framework, we generate a software switch that achieves high performance with the support of different hardware (H/W) and Software (S/W) platforms. The ma

Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Programming language translation"

1

Thomas, Bruce Hunter. A scheme for translating control flow in the C programming language to Grafcet with examples. Gaithersburg, MD: National Bureau of Standards, 1988. http://dx.doi.org/10.6028/nbs.ir.88-3741.

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!