Zaloguj się

Gotowe bibliografie tematyczne / Language Compiler languages PL

Spis treści

Artykuły w czasopismach
Rozprawy doktorskie
Książki
Części książek
Streszczenia konferencji

Gotowa bibliografia na temat „Language Compiler languages PL”

Autor: Grafiati

Data publikacji: 26 lipca 2024

Data aktualizacji: 19 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Language Compiler languages PL”.

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.

Artykuły w czasopismach na temat "Language Compiler languages PL"

1

Bodik, Rastislav. "Small languages in an undergraduate PL/Compiler course." ACM SIGPLAN Notices 43, no. 11 (2008): 39–44. http://dx.doi.org/10.1145/1480828.1480836.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

Dzhidzhoyev, Vladislav Muratovich, Ruben Arturovich Buchatskiy, Michael Vyacheslavovich Pantilimonov, and Alexander Nikolaevich Tomilin. "Dynamic Compilation of User-Defined Functions in PL/pgSQL Language." Proceedings of the Institute for System Programming of the RAS 32, no. 5 (2020): 67–80. http://dx.doi.org/10.15514/ispras-2020-32(5)-5.

Pełny tekst źródła

Streszczenie:

Many modern RDBMS provide procedural extensions for SQL programming language, which allow users to perform server-side complex computations. Use of such extensions improves modularity and code reuse, simplifies programming of application logic, and helps developers to avoid network overhead and enhance performance. Interpretation is mostly used to execute SQL queries and procedural extensions code, resulting in significant computational overhead because of indirect function calls and performing of generic checks. Moreover, most RDBMS use different engines for SQL queries execution and procedural extensions code execution, and it is necessary to perform additional computations to switch between different engines. Thus, interpretation of SQL queries combined with interpretation of procedural extensions code may drastically degrade performance of RDBMS. One solution is to use a dynamic compilation technique. In this paper, we describe the technique of dynamic compilation of PL/pgSQL procedural language for the PostgreSQL database system using LLVM compiler infrastructure. Dynamic compiler of PL/pgSQL procedural language is developed as part of PostgreSQL queries dynamic compiler. Proposed technique helps to get rid of computational overhead caused by interpretation usage. Synthetic performance tests show that the developed solution speeds up SQL queries execution by several times.

Style APA, Harvard, Vancouver, ISO itp.

3

Jain, Abhishek, Manohar Kumar, and Manohar Kumar. "System Programming Drawbacks." Journal of Advance Research in Computer Science & Engineering (ISSN: 2456-3552) 2, no. 4 (2015): 16–22. http://dx.doi.org/10.53555/nncse.v2i4.453.

Pełny tekst źródła

Streszczenie:

A system programming language usually refers to a programming language used for system programming; such languages are designed for writing system software, which usually requires different development approaches when compared to application software. System software is computer software designed to operate and control the computer hardware, and to provide a platform for running application software. System software includes software categories such as operating systems, utility software, device drivers, compilers, and linkers. In contrast with application languages, system programming languages typically offer more-direct access to the physical hardware of the machine: an archetypical system programming language in this sense was BCPL. System programming languages often lack built in input/output facilities because a system-software project usually develops its own input/output or builds on basic monitor I/O or screen management services facilities. The distinction between languages for system programming and applications programming became blurred with widespread popularity of PL/I, C and Pascal.

Style APA, Harvard, Vancouver, ISO itp.

4

Piyush, Choudhary. "STUDY OF FRONT END AND BACK END MODEL OF COMPILER." GLOBAL JOURNAL OF ENGINEERING SCIENCE AND RESEARCHES [FRTSSDS-18] (June 13, 2018): 33–39. https://doi.org/10.5281/zenodo.1288409.

Pełny tekst źródła

Streszczenie:

No two languages are alike, every language has their own unique style and methodology. If we talk about human languages there are wide no. of languages available in the world but technically computer understands only Machine Languages. Machine code is written in binary bits pattern (or hexadecimal pattern), which requires programmer exceptionally skilled with machine language.  Understanding the need of programmers, various tools are developed to convert one language into another language. One of the tools to transform one language into another is Compiler. This paper presents the study of structure of compiler viz. Front End and Back End Model of Compiler. First we define the definition of compiler along with the brief history of compiler and then moved towards compiler structure: Front End and Back End model of Compiler

Style APA, Harvard, Vancouver, ISO itp.

5

Ritu, Sindhu, Gehlot Neha, and Malik Indu. "A New Compiler: Code Conversion at Assembly Level." International Journal of Engineering and Advanced Technology (IJEAT) 9, no. 3 (2020): 2201–4. https://doi.org/10.35940/ijeat.C5172.029320.

Pełny tekst źródła

Streszczenie:

Ever switched programming languages? If yes, you know how difficult it is to learn the syntax and get familiar with new language. But what if we write the code in our preferred language and it can run as any other language’s code. The thing is, whatever we write ultimately gets converted to 0’s and 1’s, the only difference is how these 0’s and 1’s is shown to our machine. We may need different languages, but what if the code with the syntax of one language, runs reasonably well as if it was written with syntax of some other language. This is where a compiler comes in[1]. The aim of this paper is to develop a compiler which could create a new code for another language, based on the machine code developed by other languages. This compiler solves two problems Syntax issue and Universal Compiler.

Style APA, Harvard, Vancouver, ISO itp.

6

Chitra, A., and G. Sudha Sadasivam. "DESIGN AND IMPLEMENTATION OF A COMPONENTISED IDL COMPILER." Journal of Integrated Design and Process Science: Transactions of the SDPS, Official Journal of the Society for Design and Process Science 6, no. 3 (2002): 75–91. http://dx.doi.org/10.3233/jid-2002-6305.

Pełny tekst źródła

Streszczenie:

An interface definition language (IDL) is a traditional language describing the interfaces between the components. IDL compilers generate stubs that provide communicating processes with the abstraction of local object invocation or procedure call. Typical IDL compilers are limited to a single IDL and target language, but the proposed IDL compiler is based on the insight that IDLs are true languages amenable to modern compilation techniques. Through the support of intermediate language representation called as Abstract Object Interface (AOI), our compiler can support multiple IDLs and target languages. Given an IDL (for example CORBA) the IDL compiler can generate stubs and skeletons for different target languages like Java and C++ and for different distributed object technologies like Remote Method Invocation/ Java Remote Method Protocol (RMI/JRMP), RMI/Internet Interoperable Protocol (RMI/IIOP) and Common Object Request Architecture (CORBA/IIOP). Further, interoperability can be achieved between them using a single compiler.

Style APA, Harvard, Vancouver, ISO itp.

7

Dhak, Bharat, Prachi Goje, Abhishek Raut, Ashwini Rane, and Avantika Tamsetwar. "Online Compiler with Whiteboard." International Journal for Research in Applied Science and Engineering Technology 11, no. 4 (2023): 2023–27. http://dx.doi.org/10.22214/ijraset.2023.50509.

Pełny tekst źródła

Streszczenie:

Abstract: The Internet has proved to be a life-changing invention of our time. Not only it is itself an invention, but it has been the key player to major things that have been invented in the twentieth century. The internet has proven itself in re-inventing almost everything, with education being no exception to it. CodeBox is also an effort, via the internet, to educate the young minds on the how-tos of coding and developing the spirit of competitive coding. It takes a lot of time and practice to get good at coding, and CodeBox aims to assist the user in this journey. In other code editors they offer facility to run languages which includes HTML, CSS, JAVASCRIPT. This Languages are web based totally languages the ones code editors are permit to run the programming languages that’s why programmers face many difficulties to run programming languages which include JAVA, php and many others. but in our venture, we add programming language which is java .by way of the usage of serverprimarily based code editor programmer can run programming language i.e., JAVA. The project: "Quiz utility" is a set of quantity of different forms of quizzes like technical, video games, sports, etc. A person can access/play all the quiz and may try any of the only. There could be restrained number of questions and for every correct solution person will get a credit score

Style APA, Harvard, Vancouver, ISO itp.

8

Navas-López, Eduardo Adam. "Modular and Didactic Compiler Design with Xml Inter-Phases Communication." International Journal of Computer Science, Engineering and Information Technology 12, no. 1 (2022): 1–20. http://dx.doi.org/10.5121/ijcseit.2022.12101.

Pełny tekst źródła

Streszczenie:

In Compiler Design courses, students learn how a program written in high level programming language and designed for humans understanding is systematically converted into low level assembly language understood by machines, through different representations. This article presents the design, educative characteristics and possibilities of a modular and didactic compiler for a Pascal-like programming minilanguage that is super-set of Niklaus Wirth's PL/0. The main feature is that it implements the compiling phases in such a way that the information delivered to each next one may be reflected as an XML document, which can be studied separately. It is also shown that its design is suitable for being included as learning tool into compiler design courses. It is possible to implement a compiler in a high-level language like Python.

Style APA, Harvard, Vancouver, ISO itp.

9

Wermuth, Maria-Cornelia. "Language localization in scientific drug information." Journal of Internationalization and Localization 3, no. 1 (2016): 74–94. http://dx.doi.org/10.1075/jial.3.1.05wer.

Pełny tekst źródła

Streszczenie:

Although localization is, in the first place, related to the cultural adaptation and translation of software and websites, it is important for written materials as well. In this paper we investigate how specialized medical discourse used in the Summary of Product Characteristics (SmPC) is localized in patient leaflets (PL). Both documents are issued by the European Medicines Agency (EMA) and provide detailed information on the product compiled and distributed by the drug manufacturer, after EMA review and approval. We describe by means of a case study the formal and linguistic features of SmPCs and PLs and we investigate how the specialized source text is localized in its patient-friendly version. The aim of this investigation is to increase awareness and understanding of localization strategies adopted on the intralingual level in the communication of scientific-medical knowledge to a non-expert audience.

Style APA, Harvard, Vancouver, ISO itp.

10

Binder, David, Marco Tzschentke, Marius Müller, and Klaus Ostermann. "Grokking the Sequent Calculus (Functional Pearl)." Proceedings of the ACM on Programming Languages 8, ICFP (2024): 395–425. http://dx.doi.org/10.1145/3674639.

Pełny tekst źródła

Streszczenie:

The sequent calculus is a proof system which was designed as a more symmetric alternative to natural deduction. The 𝜆𝜇𝜇-calculus is a term assignment system for the sequent calculus and a great foundation for compiler intermediate languages due to its first-class representation of evaluation contexts. Unfortunately, only experts of the sequent calculus can appreciate its beauty. To remedy this, we present the first introduction to the 𝜆𝜇𝜇-calculus which is not directed at type theorists or logicians but at compiler hackers and programming-language enthusiasts. We do this by writing a compiler from a small but interesting surface language to the 𝜆𝜇𝜇-calculus as a compiler intermediate language.

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "Language Compiler languages PL"

1

Cardone, Richard Joseph. "Language and compiler support for mixin programming." Access restricted to users with UT Austin EID Full text (PDF) from UMI/Dissertation Abstracts International, 2002. http://wwwlib.umi.com/cr/utexas/fullcit?p3077428.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

Vacchi, E. "PROGRAMMING LANGUAGES À LA CARTE." Doctoral thesis, Università degli Studi di Milano, 2015. http://hdl.handle.net/2434/263620.

Pełny tekst źródła

Streszczenie:

Code reuse in computer language development is an open research problem. Feature-oriented programming is a vision of computer programming in which features can be implemented separately, and then combined to build a variety of software products; the idea of combining feature orientation and language development is relatively recent. Many frameworks for modular language development have been proposed during the years, but, although there is a strong connection between modularity and feature-orientation development, only few of these frameworks provide primitives to combine these two concepts. This work presents a model of modular language development that is directed towards feature orientation. We describe its implementation in the Neverlang framework. The model has been evaluated through several experiences: among the others, we present a code generator for a state machine language, that we use as a means to compare to other state-of-the-art frameworks, and a JavaScript interpreter implementation that further illustrates the capabilities of our solution.

Style APA, Harvard, Vancouver, ISO itp.

3

Kuklínek, Lukáš. "Compiler of a Language with User-Defined Syntax for New Constructs." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2013. http://www.nusl.cz/ntk/nusl-236221.

Pełny tekst źródła

Streszczenie:

Tato práce si klade za cíl navrhnout a implementovat experimentální programovací jazyk s podporou uživatelsky definovaných syntaktických konstrukcí. Nový jazyk je kompilován do nativní binární podoby a vyžaduje statickou typovou disciplínu v době překladu. Jazyk se skládá ze dvou hlavních komponent. První z nich je minimalistické jádro založené na principech zásobníkově orientovaných jazyků. Druhou částí je mechanismus pro definici nových syntaktických konstrukcí uživatelem. Poté jsou shrnuty poznatky nabyté při návrhu a experimentování s prototypem překladače tohoto jazyka.

Style APA, Harvard, Vancouver, ISO itp.

4

Sjöholm, Klas. "Debugging Equation-Based Languages in OpenModelica Environment." Thesis, Department of Computer and Information Science, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-19866.

Pełny tekst źródła

Streszczenie:

<p>The need for debugging tools for declarative programming languages has increased due to the rapid development of modeling and simulation tools/programs. Declarative equation-based programming languages have the problem of equation systems being over-, or under-constrained. This means that the system of equations has more equations than variables or more variables than equations respectively, making the system of equations unsolvable. In this study a static debugger is implemented in OpenModelica compiler for the equation-based programming language Modelica to make it easier for the programmer or modeler to locate the equation/s causing the unconstrained system of equations. The debugging techniques used by the debugger are developed by Peter Bunus. Those techniques are able to detect unconstrained systems of equations and give solutions by identifying the minimal set ofequation/s that should be removed or which variable/s should be added to an equation/s to make the system solvable. In this study the debugging techniques for detecting and giving a solution for over-constrained system of equations are shown suitable to be used for the programming language Modelica in the OpenModelica compiler.</p>

Style APA, Harvard, Vancouver, ISO itp.

5

Shear, Raymond F. "Implementation of a Modula 2 subset compiler supporting a "C" language interface using commonly available UNIX tools /." Online version of thesis, 1989. http://hdl.handle.net/1850/10505.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

Yang, Lian. "The object-oriented design of a hardware description language analyser for the DIADES silicon compiler system." PDXScholar, 1990. https://pdxscholar.library.pdx.edu/open_access_etds/4260.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

Haroon, Haslina. "The publication of Malay literary works in English translation : problems of translating from a language of limited diffusion (LLD)." Thesis, University of Warwick, 2001. http://wrap.warwick.ac.uk/2924/.

Pełny tekst źródła

Streszczenie:

This thesis addresses the issue of the publication of translations, specifically the under-representation of literary works in one language of limited diffusion (LLD), the Malay language, in English translation. It sets out to examine the role of two parties which are thought to play a vital role in the publication of Malay literary works in English translation for international consumption: publishers in the United Kingdom and the translation organisation in Malaysia. The aim of the research, more specifically, is to investigate how both parties bear upon the translation of Malay literary works into English. Some of the questions which are central to the issue of the publication of Malay literary works in English translation include: To what extent are the two parties involved in the publication of Malay literary works in English translation for international consumption? What are the policies of these organisations where the translation of Malay literary works and other literary works in LLD are concerned? Who decides what to translate? What factors are taken into account in deciding what to publish in English translation? Given that this thesis sets out to examine the role of the two parties mentioned above, two main strategies have been employed: surveys and case studies. Drawing on responses from individuals from publishing companies, translation organisations, and other organisations which support translation, I have been able to show that the problem in the publication of Malay literary works in English translation is not merely a translation problem but also a problem of image and promotion. This study thus details the different forces working against the translation of Malay literary works into English for international consumption.

Style APA, Harvard, Vancouver, ISO itp.

8

Jamai, A. "Language use and maintenance among the Moroccan minority in Britain." Thesis, University of Salford, 2008. http://usir.salford.ac.uk/2030/.

Pełny tekst źródła

Streszczenie:

The goal of this study is to investigate language use among a relatively young immigrant community in Britain with a view to finding out what role English plays in their lives, whether they still use their languages of origin, and what are the reasons for their particular language behaviour. Language use and maintenance in an immigrant minority setting is an important area of investigation if one is to understand some of the factors involved in the community's integration process, or the lack of it, in general, and to appreciate the role of language for integration in particular. Minority communities adopt a number of linguistic strategies for communication among themselves and their wider community. In most cases, these linguistic strategies are dictated by both the social and linguistic environment the immigrant minority finds itself living in. The thesis first looks at the sociolinguistic situation of Morocco in order to establish the linguistic background of this community. It then considers the British Moroccans from a socio-economic perspective with a view to identifying factors that may influence language shift behaviour. The empirical part of the thesis is concerned with establishing linguistic as well as non-linguistic determinants of language maintenance such as those that influence language choice, code-switching, attitudes and use of language-specific media. The study has two main hypotheses: first, the Moroccan community in Britain is undergoing a generational language shift, and second, typical Moroccan sociolinguistic patterns are reflected in the language use of Moroccan speakers in Britain as well. While the former hypothesis has, on the whole, proved correct, the latter did not hold true.

Style APA, Harvard, Vancouver, ISO itp.

9

Winch, Junko. "An investigation of Japanese educational cultural impact on Japanese language learning in an international context." Thesis, University of Southampton, 2012. https://eprints.soton.ac.uk/345955/.

Pełny tekst źródła

Streszczenie:

The current language teaching and learning environment in British higher educational establishments appears to have two main characteristics. Firstly, an unprecedented number of students from various cultural backgrounds now study in the UK, including students with a cultural background that is very different from the Anglophone educational culture. Secondly, Communicative Language Teaching (CLT) remains the prevailing teaching method used in higher educational establishments, however, CLT is based on assumptions that relate closely to the Anglophone language teaching and learning environment. This study poses a question of whether CLT should continue to be valued and relied upon in this new international teaching and learning environment. Out of many non-Anglophone educational cultures in the world, Japanese educational culture was selected as the focus of this study to help explore this question. In the empirical study, two teaching methods, Japanisation and CLT, were used to investigate the impact of Japanese educational culture in a British university's Japanese language teaching classes where the British educational culture currently dominates. The study was conducted for one semester at the University of Southampton. The concept of Japanisation is drawn from the study of the Japanese car manufacturing industry and is transferred to a language teaching context. The study was investigated by tests (two assignments and Reading and Written Test) that provided quantitative data, questionnaires that provided quantitative and qualitative data and classroom observation that provided qualitative data. There was no statistically significant difference between the two teaching methods regarding attainment in the two assignments. However, Japanisation was associated with significantly improved results in the Reading and Writing Test, compared with CLT. These results seem to suggest that embedding elements of Japanisation and Japanese educational culture into the teaching of Japanese to non-Japanese speakers in British language classrooms might possibly enhance students' learning of reading and writing skills. This study also presents possibilities as to how the Japanese educational cultural method of teaching could be incorporated into the teaching of Japanese to non-Japanese speakers. In addition, this study indicates that language teachers facing a multicultural classroom might consider the international students' educational cultural expectations and needs in learning. Those who develop the teaching curriculum are encouraged at a strategic level to examine other educational cultures and teaching practices from non-Anglophone countries and assess how they may be combined with CLT to reflect the new international characteristics of teaching and learning environments.

Style APA, Harvard, Vancouver, ISO itp.

10

Chau, Meng Huat. "From language learners to dynamic meaning makers : a longitudinal investigation of Malaysian secondary school students' development of English from text and corpus perspectives." Thesis, University of Birmingham, 2015. http://etheses.bham.ac.uk//id/eprint/6087/.

Pełny tekst źródła

Streszczenie:

This thesis considers how language development takes place over time by a group of 124 secondary school students of English. A series of five studies were conducted for this purpose using the tools and methods from corpus linguistics and written discourse analysis. Specifically, the thesis presents a detailed analysis of (1) how a set of function words (that, to and of) were used by these students over a 24-month period, and (2) how narrating practices concerning the structure of selected individual texts changed over time. The two distinct strands of investigation, both of which based on an inductive methodology, highlight, on the one hand, the extent to which there are common as well as unique aspects of language use observed across time and space (Francis et al., 1996, 1998) and, on the other, the role of human agency and meaning making practices in using linguistic resources over time and in shaping and constructing texts within and across individuals. Taken together, the overall inductive methodology and an emphasis on treating all instances of the conventionally labelled ‘learner language’ as equally valid features of natural human language use, show clear advantages over alternative approaches based on a deficit model.

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Książki na temat "Language Compiler languages PL"

1

National Institutes of Health (U.S.). Division of Research Resources and Bolt, Beranek, and Newman, inc, eds. PL/PROPHET: A user's guide to PL/Prophet : the Prophet system's programming language. The Division, 1985.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

Sue, Green, Teague Peter, and British Computer Society. PL/I Specialist Group., eds. Practical PL/I. Published by Cambridge University Press on behalf the British Computer Society, 1985.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Bill, Pribyl, and Dawes Chip, eds. Oracle PL/SQL Language: Pocket Reference. 2nd ed. O'Reilly, 2003.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

Pribyl, Bill. Learning Oracle PL/SQL. O'Reilly, 2001.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

Allen, Christopher. Oracle PL/SQL 101. Osborne / McGraw-Hill, 2001.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

Reddy, Rama N. PL/I: Structured programming and problem solving. West Pub. Co., 1986.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

Bill, Pribyl, ed. Oracle PL/SQL programming. 5th ed. O'Reilly, 2009.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

Luers, Tom. Teach yourself PL/SQL in 21 days. Sams Pub., 1997.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

Timothy, Atwood, and Gennick Jonathan, eds. Teach Yourself PL/ SQL in 21 Days. Sams Publishing, 1997.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

Library of Congress. Library of Congress classification. PL-PM. Languages of Eastern Asia, Africa, Oceania. Hyperborean, Indian, and artificial languages. 2nd ed. Library of Congress, Cataloging Distribution Service, 2001.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Części książek na temat "Language Compiler languages PL"

1

Perconti, James T., and Amal Ahmed. "Verifying an Open Compiler Using Multi-language Semantics." In Programming Languages and Systems. Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54833-8_8.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

Ishikawa, Yutaka, Hiroki Konaka, Atsushi Hori, Munenori Maeda, and Takashi Tomokiyo. "Introduction of RWC Massively Parallel Programming Languages." In Parallel Language and Compiler Research in Japan. Springer US, 1995. http://dx.doi.org/10.1007/978-1-4615-2269-0_4.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Thomas, Justin, P. J. Antony, K. N. Balapradeep, K. D. Mithun, and Narasimha Maiya. "Natural Language Compiler for English and Dravidian Languages." In Emerging Research in Computing, Information, Communication and Applications. Springer India, 2015. http://dx.doi.org/10.1007/978-81-322-2550-8_31.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

Artigas, Pedro V., Manish Gupta, Samuel P. Midkiff, and José E. Moreira. "High Performance Numerical Computing in Java: Language and Compiler Issues." In Languages and Compilers for Parallel Computing. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44905-1_1.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

Tanabe, Yudai, Luthfan Anshar Lubis, Tomoyuki Aotani, and Hidehiko Masuhara. "Compilation Semantics for a Programming Language with Versions." In Programming Languages and Systems. Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-99-8311-7_1.

Pełny tekst źródła

Streszczenie:

AbstractProgramming with versions is a paradigm that allows a program to use multiple versions of a module so that the programmer can selectively use functions from both older and newer versions of a single module. Previous work formalized $$\lambda _{\textrm{VL}}$$ λ VL , a core calculus for programming with versions, but it has not been integrated into practical programming languages. In this paper, we propose VL, a Haskell-subset surface language for $$\lambda _{\textrm{VL}}$$ λ VL along with its compilation method. We formally describe the core part of the VL compiler, which translates from the surface language to the core language by leveraging Girard’s translation, soundly infers the consistent version of expressions along with their types, and generates a multi-version interface by bundling specific-version interfaces. We conduct a case study to show how VL supports practical software evolution scenarios and discuss the method’s scalability.

Style APA, Harvard, Vancouver, ISO itp.

6

Chen, Li, Lei Liu, Shenglin Tang, et al. "Unified Parallel C for GPU Clusters: Language Extensions and Compiler Implementation." In Languages and Compilers for Parallel Computing. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19595-2_11.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

Kanabar, Hrutvik, Kacper Korban, and Magnus O. Myreen. "Verified Inlining and Specialisation for PureCake." In Programming Languages and Systems. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57267-8_11.

Pełny tekst źródła

Streszczenie:

AbstractInlining is a crucial optimisation when compiling functional programming languages. This paper describes how we have implemented and verified function inlining and loop specialisation for PureCake, a verified compiler for a Haskell-like (purely functional, lazy) programming language. A novel aspect of our formalisation is that we justify inlining by pushing and pulling "Image missing"-bindings. All of our work has been mechanised in the HOL4 interactive theorem prover.

Style APA, Harvard, Vancouver, ISO itp.

8

Schumi, Richard, and Jun Sun. "SpecTest: Specification-Based Compiler Testing." In Fundamental Approaches to Software Engineering. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71500-7_14.

Pełny tekst źródła

Streszczenie:

AbstractCompilers are error-prone due to their high complexity. They are relevant for not only general purpose programming languages, but also for many domain specific languages. Bugs in compilers can potentially render all programs at risk. It is thus crucial that compilers are systematically tested, if not verified. Recently, a number of efforts have been made to formalise and standardise programming language semantics, which can be applied to verify the correctness of the respective compilers. In this work, we present a novel specification-based testing method named SpecTest to better utilise these semantics for testing. By applying an executable semantics as test oracle, SpecTest can discover deep semantic errors in compilers. Compared to existing approaches, SpecTest is built upon a novel test coverage criterion called semantic coverage which brings together mutation testing and fuzzing to specifically target less tested language features. We apply SpecTest to systematically test two compilers, i.e., the Java compiler and the Solidity compiler. SpecTest improves the semantic coverage of both compilers considerably and reveals multiple previously unknown bugs.

Style APA, Harvard, Vancouver, ISO itp.

9

Blazy, Sandrine. "From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert." In Fundamental Approaches to Software Engineering. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57259-3_1.

Pełny tekst źródła

Streszczenie:

AbstractCompCert is a formally verified compiler for C that is specified, programmed and proved correct with the Coq proof assistant. CompCert was used in industry to compile critical embedded software. Its correctness proof states that the compiler does not introduce bugs. This semantic preservation property involves the formal semantics of the source and target languages of the compiler.Reasoning on C semantics to prove compiler correctness is challenging, as C is a real language that was not designed with semantics in mind. This paper presents the operational style that was designed for the C semantics of CompCert in order to facilitate the mechanized reasoning on terminating and diverging programs, and details the semantics of the Clight source language of CompCert.

Style APA, Harvard, Vancouver, ISO itp.

10

Brezany, Peter, Alok Choudhary, and Minh Dang. "Language and Compiler Support for Out-of-Core Irregular Applications on Distributed-Memory Multiprocessors." In Languages, Compilers, and Run-Time Systems for Scalable Computers. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49530-4_25.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Language Compiler languages PL"

1

Marr, Stefan, Benoit Daloze, and Hanspeter Mössenböck. "Cross-language compiler benchmarking: are we fast yet?" In SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity. ACM, 2016. http://dx.doi.org/10.1145/2989225.2989232.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

Kasampalis, Theodoros, Daejun Park, Zhengyao Lin, Vikram S. Adve, and Grigore Roşu. "Language-parametric compiler validation with application to LLVM." In ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, 2021. http://dx.doi.org/10.1145/3445814.3446751.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Zampirolli, Francisco de Assis, Fernando Teubl, Guiou Kobayashi, Rogério Neves, Luiz Rozante, and Valério Ramos Batista. "Introductory Computer Science Course by Adopting Many Programming Languages." In Simpósio Brasileiro de Informática na Educação. Sociedade Brasileira de Computação - SBC, 2021. http://dx.doi.org/10.5753/sbie.2021.217464.

Pełny tekst źródła

Streszczenie:

Teaching programming logic by means of a single Programming Language (PL) may lead the whole process to a particular syntax and specific libraries. In order to let every student choose their preferred PL we have developed a method that includes didactic material in many PLs by means of notebooks in Colab. We created a filter that generates Lecture Notes in different combinations of PLs from these notebooks. Moreover, each student can choose different PLs to practice with exercises and send their solutions as programming codes, which are individualized because of the parametric questions generated with MCTest+Moodle+VPL. Herewith we present our method, which is easily adaptable, validated with 5 remote classes comprising a total of 221 students, whose average pass rate was 90%.

Style APA, Harvard, Vancouver, ISO itp.

4

Mukherjee, Sankar, and Shyamal Kumar Das Mandal. "PL-ILT: A web tool for creation of pronunciation lexicon in Indian languages." In 2013 International Conference Oriental COCOSDA held jointly with 2013 Conference on Asian Spoken Language Research and Evaluation (O-COCOSDA/CASLRE). IEEE, 2013. http://dx.doi.org/10.1109/icsda.2013.6709858.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

Garg, Rahul, Sameer Jagdale, and Laurie Hendren. "Velociraptor: a compiler toolkit for array-based languages targeting CPUs and GPUs." In PLDI '15: ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, 2015. http://dx.doi.org/10.1145/2774959.2774967.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

Dimitrov, Dimitar, and Ivaylo Penev. "DESIGN OF A TRAINING COMPILER FOR INCREASING THE EFFICIENCY OF LANGUAGE PROCESSORS LEARNING." In eLSE 2021. ADL Romania, 2021. http://dx.doi.org/10.12753/2066-026x-21-077.

Pełny tekst źródła

Streszczenie:

The paper presents the design of a training compiler which is developed for the purposes of education in compilers and language processors in computer science courses. The presented compiler has the following main advantages compared to known training compilers used in various universities - a simplified modular structure and the building of an explicit abstract syntactic tree of the input program. The modules in the compiler structure are lexical analyzer, syntactic analyzer, semantic analyzer and code generator. This separation allows students to effectively study the main stages of compilation - lexical analysis, parsing, semantic analysis and code generation. Building and visualizing an explicit abstract syntax tree helps students to understand the translation of the program into the compiler's front-end and make the transition to the compiler's back-end. The compiler translates a program written in a high-level language into virtual machine code. An interpreter to execute the generated virtual machine code is also presented. The presented design is compared to other known training compilers used in various university courses. The input language is procedurally oriented and is a subset of the C and Java languages, which makes it easier for students to use it. Language has enough resources to solve many practical problems. The input program for the compiler is a sequence of definitions of variables and functions. The language of the training compiler is strongly typed. Variables, constants and expressions are related to a specific type. Input-output operations require a certain type of arguments, arithmetic-logical operations are defined for specific types of arguments and type of returned result. At the end of the paper are presented the results of the work of the training compiler in translating a sample input program to code for a virtual machine. The results demonstrate the output of each compiler module - a token stream, an abstract syntax tree, and a set of virtual machine instructions. The structure of the presented training compiler can be used for different input languages in training on compilers and language processors.

Style APA, Harvard, Vancouver, ISO itp.

7

Castanos, Jose, David Edelsohn, Kazuaki Ishizaki, et al. "On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages." In the ACM international conference. ACM Press, 2012. http://dx.doi.org/10.1145/2384616.2384631.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

Tian, Yongqiang, Zhenyang Xu, Yiwen Dong, Chengnian Sun, and Shing-Chi Cheung. "Revisiting the Evaluation of Deep Learning-Based Compiler Testing." In Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/542.

Pełny tekst źródła

Streszczenie:

A high-quality program generator is essential to effective automated compiler testing. Engineering such a program generator is difficult, time-consuming, and specific to the language under testing, thus requiring tremendous efforts from human experts with language-specific domain knowledge. To avoid repeatedly writing program generators for different languages, researchers recently proposed a language-agnostic approach based on deep learning techniques to automatically learn a program generator (referred to as DLG) from existing programs. Evaluations show that DLGs outperform Language-Specific Program Generators (LSGs) in testing compilers. However, we argue that it is unfair to use LSGs as baselines to evaluate DLGs. LSGs aim to validate compiler optimizations by only generating compilable, well-defined test programs; this restriction inevitably impairs the diversity of the language features used in the generated programs. In contrast, DLGs do not aim to validate the correctness of compiler optimizations, and its generated programs are not guaranteed to be well-defined or even compilable. Therefore, it is not surprising that DLG-generated programs are more diverse in terms of used language features than LSG-generated ones. This study revisits the evaluation of DLGs, and proposes a new, fair, simple yet strong baseline named Kitten for evaluating DLGs. Given a dataset consisting of human-written programs, instead of using deep learning techniques to learn a program generator, Kitten directly derives new programs by mutating the programs in the dataset. Extensive experiments with more than 1,500 CPU-hours demonstrate that the state-of-the-art DLGs fail to compete against such a simple baseline: 3 v.s. 1,750 hang bugs, 1 v.s. 34 distinct compiler crashes. We believe that DLGs still have a large room for improvement.

Style APA, Harvard, Vancouver, ISO itp.

9

Adamovich, Igor Alexeevich, and Yuri Andreevich Klimov. "Specialization of interpreters written in object-oriented languages can be effective." In 24th Scientific Conference “Scientific Services & Internet – 2022”. Keldysh Institute of Applied Mathematics, 2022. http://dx.doi.org/10.20948/abrau-2022-18.

Pełny tekst źródła

Streszczenie:

Barriers of real object-oriented program specialization can be often overcome using modern metacomputation techniques. One of the barriers is the resolution of polymorphism at the stage of program analysis before the 4 execution of the program. The last problem is successfully solved for a number of cases in the JaSpe specializer, as shown in this paper. The paper is devoted to the program compilation by specialization methods, without the use of a compiler. We have applied the partial evaluator JaSpe to two arithmetic expression language interpreters written in Java. The interpreters were implemented using the recursive descent method and the visitor pattern. As a result of the successful specialization of these interpreters by the square root program written on arithmetic expression language, compiled versions of the latter were obtained. In this case, the acceleration was from 12 to 22 times.

Style APA, Harvard, Vancouver, ISO itp.

10

Pereira, Ramon Fraga, Maurício Cecílio Magnaguagno, Felipe Meneguzzi, and Anibal Sólon Heinsfeld. "LOCUS: An environment description language for JASON." In Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações. Sociedade Brasileira de Computação, 2015. https://doi.org/10.5753/wesaac.2015.33309.

Pełny tekst źródła

Streszczenie:

JASON is an AGENTSPEAK interpreter for multi-agent system devel opment, in which agents are described in the AGENTSPEAK language. There fore, we only have to describe the agent behavior, but the environment does not follow this style, it requires a Java description of how the actions and percep tions operate. This choice of implementation guarantees that even complex envi ronments can be created for JASON, but it requires knowledge about both Java and JASON’s Application Programming Interface (API). In this paper we aim to fill the gap between the languages with an AGENTSPEAK-like description of the environment. To overcome this gap we propose LOCUS, a source-to-source compiler which generates a Java description of the environment for JASON, pro viding the user with an easier starting point to create complex environments with a consistent description for both the agents and the environment. The output of LOCUS can be further modified if required, not limiting the user to the features already provided by LOCUS.

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!