Bibliografie tematiche / Language Compiler languages PL

Letteratura scientifica selezionata sul tema "Language Compiler languages PL"

Autore: Grafiati
Pubblicato: 26 luglio 2024

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

Scegli il tipo di fonte:

Indice

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Language Compiler languages PL".

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 "Language Compiler languages PL"

1

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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, n. 1 (28 febbraio 2022): 1–20. http://dx.doi.org/10.5121/ijcseit.2022.12101.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Justo, David, Shaoqing Yi, Lukas Stadler, Nadia Polikarpova e Arun Kumar. "Towards a polyglot framework for factorized ML". Proceedings of the VLDB Endowment 14, n. 12 (luglio 2021): 2918–31. http://dx.doi.org/10.14778/3476311.3476372.

Testo completo
Abstract (sommario):
Optimizing machine learning (ML) workloads on structured data is a key concern for data platforms. One class of optimizations called "factorized ML" helps reduce ML runtimes over multi-table datasets by pushing ML computations down through joins, avoiding the need to materialize such joins. The recent Morpheus system automated factorized ML to any ML algorithm expressible in linear algebra (LA). But all such prior factorized ML/LA stacks are restricted by their chosen programming language (PL) and runtime environment, limiting their reach in emerging industrial data science environments with many PLs (R, Python, etc.) and even cross-PL analytics workflows. Re-implementing Morpheus from scratch in each PL/environment is a massive developability overhead for implementation, testing, and maintenance. We tackle this challenge by proposing a new system architecture, Trinity , to enable factorized LA logic to be written only once and easily reused across many PLs/LA tools in one go . To do this in an extensible and efficient manner without costly data copies, Trinity leverages and extends an emerging industrial polyglot compiler and runtime, Oracle's GraalVM. Trinity enables factorized LA in multiple PLs and even cross-PL workflows. Experiments with real datasets show that Trinity is significantly faster than materialized execution (> 8x speedups in some cases), while being largely competitive to a prior single PL-focused Morpheus stack.
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Gagan, B. R., Shivaprakash T, Thirumalai Shaktivel C, Vaishak P e Kushal Kumar B. N. "Design of a New Language Seeks Literature Survey". International Journal for Research in Applied Science and Engineering Technology 10, n. 3 (31 marzo 2022): 1623–27. http://dx.doi.org/10.22214/ijraset.2022.40949.

Testo completo
Abstract (sommario):
Abstract: In a scientific study, computing is a must-have tool. In general, scientists have various difficulties, requirements, and views when it comes to computation, which need to be addressed by the programming language that they use, this cannot be satisfied by general-purpose languages. Also, researchers need to concentrate on the issue they are working on rather than the optimizations for the calculations, so instead of using a general-purpose language, if there exists a language whose compiler would take care of those optimizations, it would make their work easier and faster. This is a survey of the work undertaken to design the programming language and its compiler. The primary goal of this research is to examine the function of work, implementation strategy, steps taken for improving the performance, the procedure of benchmarking, and finally, the outcome of the papers studied. The survey's main conclusions are that: the most common language mentioned among the papers was Python which appears to be more popular among developers due to its simple syntax and library support for computing. On the other hand, Python lacks performance, to compensate for this performance issue, the community has developed tools like Cython, Numba, Pythran, etc, which can be used to speed up Python. Domain-specific languages such as Wolfram, Seq, and ELI highlighted various methods for overcoming problems. Some languages like Wolfram and ELI moved from interpreter to compiler to get the performance boost. Most of the compilers use LLVM as the backend for optimizations and code generation. Keywords: scientific computation, compiler, programming language
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Chen, Zhe, Yunlong Zhu e Zhemin Wang. "Design and Implementation of an Aspect-Oriented C Programming Language". Proceedings of the ACM on Programming Languages 8, OOPSLA1 (29 aprile 2024): 642–69. http://dx.doi.org/10.1145/3649834.

Testo completo
Abstract (sommario):
Aspect-Oriented Programming (AOP) is a programming paradigm that implements crosscutting concerns in a modular way. People have witnessed the prosperity of AOP languages for Java and C++, such as AspectJ and AspectC++, which has propelled AOP to become an important programming paradigm with many interesting application scenarios, e.g., runtime verification. In contrast, the AOP languages for C are still poor and lack compiler support. In this paper, we design a new general-purpose and expressive aspect-oriented C programming language, namely Aclang, and implement a compiler for it, which brings fully-fledged AOP support into the C domain. We have evaluated the effectiveness and performance of our compiler against two state-of-the-art tools, ACC and AspectC++. In terms of effectiveness, Aclang outperforms ACC and AspectC++. In terms of performance, Aclang outperforms ACC in execution time and outperforms AspectC++ in both execution time and memory consumption.
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Paraskevopoulou, Zoe, John M. Li e Andrew W. Appel. "Compositional optimizations for CertiCoq". Proceedings of the ACM on Programming Languages 5, ICFP (22 agosto 2021): 1–30. http://dx.doi.org/10.1145/3473591.

Testo completo
Abstract (sommario):
Compositional compiler verification is a difficult problem that focuses on separate compilation of program components with possibly different verified compilers. Logical relations are widely used in proving correctness of program transformations in higher-order languages; however, they do not scale to compositional verification of multi-pass compilers due to their lack of transitivity. The only known technique to apply to compositional verification of multi-pass compilers for higher-order languages is parametric inter-language simulations (PILS), which is however significantly more complicated than traditional proof techniques for compiler correctness. In this paper, we present a novel verification framework for lightweight compositional compiler correctness . We demonstrate that by imposing the additional restriction that program components are compiled by pipelines that go through the same sequence of intermediate representations , logical relation proofs can be transitively composed in order to derive an end-to-end compositional specification for multi-pass compiler pipelines. Unlike traditional logical-relation frameworks, our framework supports divergence preservation—even when transformations reduce the number of program steps. We achieve this by parameterizing our logical relations with a pair of relational invariants . We apply this technique to verify a multi-pass, optimizing middle-end pipeline for CertiCoq, a compiler from Gallina (Coq’s specification language) to C. The pipeline optimizes and closure-converts an untyped functional intermediate language (ANF or CPS) to a subset of that language without nested functions, which can be easily code-generated to low-level languages. Notably, our pipeline performs more complex closure-allocation optimizations than the state of the art in verified compilation. Using our novel verification framework, we prove an end-to-end theorem for our pipeline that covers both termination and divergence and applies to whole-program and separate compilation, even when different modules are compiled with different optimizations. Our results are mechanized in the Coq proof assistant.
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Tesi sul tema "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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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/.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
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/.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
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/.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Libri sul tema "Language Compiler languages PL"

1

Beresniewicz, John. Expert PL/SQL practices: For Oracle developers and DBAs. [New York]: Apress, 2011.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

National Institutes of Health (U.S.). Division of Research Resources e Bolt, Beranek, and Newman, inc, a cura di. PL/PROPHET: A user's guide to PL/Prophet : the Prophet system's programming language. [Bethesda, Md.?]: The Division, 1985.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Clarke, Gordon R. Practical PL/I. Cambridge [Cambridgeshire]: Published by Cambridge University Press on behalf the British Computer Society, 1985.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Bill, Pribyl, e Dawes Chip, a cura di. Oracle PL/SQL Language: Pocket Reference. 2a ed. Beijing: O'Reilly, 2003.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Pribyl, Bill. Learning Oracle PL/SQL. Sebastopol, CA: O'Reilly, 2002.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Luers, Tom. Teach Yourself PL/ SQL in 21 Days. Indianapolis, U.S.A: Sams Publishing, 1997.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Capitoli di libri sul tema "Language Compiler languages PL"

1

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Chen, Li, Lei Liu, Shenglin Tang, Lei Huang, Zheng Jing, Shixiong Xu, Dingfei Zhang e Baojiang Shou. "Unified Parallel C for GPU Clusters: Language Extensions and Compiler Implementation". In Languages and Compilers for Parallel Computing, 151–65. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19595-2_11.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Brezany, Peter, Alok Choudhary e 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, 343–50. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49530-4_25.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Language Compiler languages PL"

1

Marr, Stefan, Benoit Daloze e 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. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2989225.2989232.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Kasampalis, Theodoros, Daejun Park, Zhengyao Lin, Vikram S. Adve e 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. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3445814.3446751.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Zampirolli, Francisco de Assis, Fernando Teubl, Guiou Kobayashi, Rogério Neves, Luiz Rozante e 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.

Testo completo
Abstract (sommario):
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%.
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Mukherjee, Sankar, e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Garg, Rahul, Sameer Jagdale e 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. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2774959.2774967.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Dimitrov, Dimitar, e 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.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Castanos, Jose, David Edelsohn, Kazuaki Ishizaki, Priya Nagpurkar, Toshio Nakatani, Takeshi Ogasawara e Peng Wu. "On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages". In the ACM international conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2384616.2384631.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Adamovich, Igor Alexeevich, e 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.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Spencer, Renata, e Augusto Sampaio. "De occam para o transputer: compilação via reescrita de termos". In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 1996. http://dx.doi.org/10.5753/sbes.1996.24440.

Testo completo
Abstract (sommario):
The aim of this work is the development of a prototype compiler from occam to the transputer, in such a way that the correctness of the compiler is ensured by construction. The method used reduces the source program, through a series of algebraic transformations, to a normal form which can be directly mapped into the instructions of the target machine. Using the term rewriting facilities provided by OBJ3, the correctness proof gives as a byproduct a compiler prototype, so that at the end of the process, a running prototype will be available. This compilation method was already available, and its application was illustrated for a very simple language; our purpose here is to extend the method to deal with realistic languages and machines, such as occam and the transputer.
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi estesi di opere sul tema "Language Compiler languages PL":
Articoli di riviste Tesi Libri
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!

Vai alla bibliografia