Academic literature on the topic 'Compiler'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Compiler.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Compiler"

1

Liu, Changlan, Yingsong Zhang, Peng Zuo, and Peng Wang. "Compiler Identification with Divisive Analysis and Support Vector Machine." Symmetry 17, no. 6 (2025): 867. https://doi.org/10.3390/sym17060867.

Full text
Abstract:
Compilers play a crucial role in software development, as most software must be compiled into binaries before release. Analyzing the compiler version from binary files is of great importance in software reverse engineering, maintenance, traceability, and information security. In this work, we propose a novel framework for compiler version identification. Firstly, we generated 1000 C language source codes using CSmith and subsequently compiled them into 16,000 binary files using 16 distinct versions of compilers. The symmetric distribution of the dataset among different compiler versions may en
APA, Harvard, Vancouver, ISO, and other styles
2

Chowdhary, K. R., Rajendra Purohit, and Sunil Dutt Purohit. "Source-to-source translation for code-optimization." Journal of Information and Optimization Sciences 44, no. 3 (2023): 407–16. http://dx.doi.org/10.47974/jios-1350.

Full text
Abstract:
Multi-core design intends to serve a large market with user-oriented and highproductivity management as opposed to any other parallel system. Small numbers of processors, a frequent feature of current multi-core systems, are ideal for future generation of CPUs, where automated parallelization succeeds on shared space architectures. The multi-core compiler optimization platform CETUS (high-level to high-level compiler) offers initiates automatic parallelization in compiled programmes. This compiler’s infrastructure is built with C programmes in mind and is user-friendly and simple to use. It of
APA, Harvard, Vancouver, ISO, and other styles
3

Ren, Xiao Guang. "Optimize OpenFOAM from the Compiler Perspective." Applied Mechanics and Materials 687-691 (November 2014): 3183–86. http://dx.doi.org/10.4028/www.scientific.net/amm.687-691.3183.

Full text
Abstract:
OpenFOAM is a widely used open source computational fluid dynamics (CFD) , and the performance of its application is critical for the CFD user, and many researchers try to optimize it from various perspectives. In this paper, we try to optimization OpenFOAM application from the compiler perspective, which is the simplest way to get the optimization affect. We compare two mainstream compilers: Intel compiler icc and an open source compiler, as well as a serious of optimization option flags. Through the experiment, we find that Intel compiler has a much better performance than gcc, which is up t
APA, Harvard, Vancouver, ISO, and other styles
4

Alfonseca, Enrique. "Writing a compilers compiler in APL." ACM SIGAPL APL Quote Quad 29, no. 3 (1999): 69–75. http://dx.doi.org/10.1145/327600.327620.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Baldwin, Doug. "A compiler for teaching about compilers." ACM SIGCSE Bulletin 35, no. 1 (2003): 220–23. http://dx.doi.org/10.1145/792548.611974.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

KHARIN, I. A., and M. V. RASKATOVA. "ANALYSIS OF THE ALGORITHMS OF THE CONSTITUENT PARTS OF THE COMPILER AND ITS OPTIMIZATION." Computational Nanotechnology 10, no. 2 (2023): 26–35. http://dx.doi.org/10.33693/2313-223x-2023-10-2-26-35.

Full text
Abstract:
Program optimization arose as a response to the emergence of high-level programming languages, and includes special techniques and methods used in building compilers to produce sufficiently efficient object code. A combination of these techniques constituted in the past and are now an integral part of so-called optimizing compilers, the purpose of which is to create object code, saving computer resources such as processor time and memory. For modern supercomputers, the requirement to make proper use of hardware features is also added. In this context, issues related to compiler optimization de
APA, Harvard, Vancouver, ISO, and other styles
7

Melnyk, Anatoliy, and Nazar Kozak. "Easy Universal Translator as an Alternative Compiler-Compiler." Advances in Cyber-Physical Systems 4, no. 2 (2019): 105–9. http://dx.doi.org/10.23939/acps2019.02.105.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
9

Noor, Abdul Rafae, Dhruv Baronia, Akash Kothari, Muchen Xu, Charith Mendis, and Vikram S. Adve. "MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations." Proceedings of the ACM on Programming Languages 9, PLDI (2025): 1269–92. https://doi.org/10.1145/3729301.

Full text
Abstract:
Using program synthesis to select instructions for and optimize input programs is receiving increasing attention. However, existing synthesis-based compilers are faced by two major challenges that prohibit the deployment of program synthesis in production compilers: exorbitantly long synthesis times spanning several minutes and hours; and scalability issues that prevent synthesis of complex modern compute and data swizzle instructions, which have been found to maximize performance of modern tensor and stencil workloads. This paper proposes MISAAL, a synthesis-based compiler that employs a nove
APA, Harvard, Vancouver, ISO, and other styles
10

Baev, Roman Vyacheslavovich, Leonid Vladlenovich Skvortsov, Evgeny Alekseevich Kudryashov, Ruben Arturovich Buchatskiy, and Roman Aleksandrovich Zhuykov. "Prevention of vulnerabilities arising from optimization of code with Undefined Behavior." Proceedings of the Institute for System Programming of the RAS 33, no. 4 (2021): 195–210. http://dx.doi.org/10.15514/ispras-2021-33(4)-14.

Full text
Abstract:
Aggressive optimization in modern compilers may uncover vulnerabilities in program code that did not lead to bugs prior to optimization. The source of these vulnerabilities is in code with undefined behavior. Programmers use such constructs relying on some particular behavior these constructs showed before in their experience, but the compiler is not obliged to stick to that behavior and may change the behavior if it’s needed for optimization since the behavior is undefined by language standard. This article describes approaches to detection and elimination of vulnerabilities arising from opti
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Compiler"

1

Harron, Thomas W. "Requirements compiler /." Connect to unofficial online version of: Requirements compiler, 2006. http://minds.wisconsin.edu/bitstream/1793/18753/1/HarronTom.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bendjeddou, Nadia. "The development of a new compiler-compiler front-end." Thesis, Aston University, 1989. http://publications.aston.ac.uk/10649/.

Full text
Abstract:
The increasing cost of developing complex software systems has created a need for tools which aid software construction. One area in which significant progress has been made is with the so-called Compiler Writing Tools (CWTs); these aim at automated generation of various components of a compiler and hence at expediting the construction of complete programming language translators. A number of CWTs are already in quite general use, but investigation reveals significant drawbacks with current CWTs, such as lex and yacc. The effective use of a CWT typically requires a detailed technical understan
APA, Harvard, Vancouver, ISO, and other styles
3

Van, Dijk Jacques. "An Estelle compiler." Master's thesis, University of Cape Town, 1988. http://hdl.handle.net/11427/17736.

Full text
Abstract:
The increasing development and use of computer networks has necessitated international standards to be defined. Central to the standardization efforts is the concept of a Formal Description Technique (FDT) which is used to provide a definition medium for communication protocols and services. This document describes the design and implementation of one of the few existing compilers for the one such FDT, the language "Estelle" ([ISO85], [ISO86], [ISO87]).
APA, Harvard, Vancouver, ISO, and other styles
4

Sarkar, Dipanwita. "Nanopass compiler infrastructure." [Bloomington, Ind.] : Indiana University, 2008. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3337263.

Full text
Abstract:
Thesis (Ph.D.)--Indiana University, Dept. of Computer Science, 2008.<br>Title from PDF t.p. (viewed on Jul 29, 2009). Source: Dissertation Abstracts International, Volume: 69-12, Section: B, page: 7627. Adviser: R. Kent Dybvig.
APA, Harvard, Vancouver, ISO, and other styles
5

Bone, David. "A syntax-directed compiler/compiler emitting LR(1) object-oriented code." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ39110.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kim, Dongkeun. "Compiler-based pre-execution." College Park, Md. : University of Maryland, 2004. http://hdl.handle.net/1903/1957.

Full text
Abstract:
Thesis (Ph. D.) -- University of Maryland, College Park, 2004.<br>Thesis research directed by: Electrical Engineering. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
APA, Harvard, Vancouver, ISO, and other styles
7

Cox, Russell Stensby. "An extension-oriented compiler." Thesis, Massachusetts Institute of Technology, 2008. http://hdl.handle.net/1721.1/45619.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2008.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Includes bibliographical references (leaves 107-110).<br>The thesis of this dissertation is that compilers can and should allow programmers to extend programming languages with new syntax, features, and restrictions by writing extension modules that act as plugins for the compiler. We call compilers designed around this idea exte
APA, Harvard, Vancouver, ISO, and other styles
8

Davis, Stephen Brooks. "Towards a liquid compiler." Thesis, Massachusetts Institute of Technology, 1993. http://hdl.handle.net/1721.1/34048.

Full text
Abstract:
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.<br>Includes bibliographical references (leaves 41-42).<br>by Stephen Brooks Davis.<br>M.S.
APA, Harvard, Vancouver, ISO, and other styles
9

Bierlee, Hendrik. "The MiniZinc-SAT Compiler." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-438608.

Full text
Abstract:
Combinatorial (optimization) problems occur in nature and society. Constraint modeling languages such as MiniZinc allow the user to declaratively specify such problems in terms of its decision variables and constraints. Subsequently, the MiniZinc model can be compiled into an equivalent (Boolean) SAT formula to be solved by a SAT solver. This thesis reports on the design, implementation and experimental evaluation of the new MiniZinc-SAT compiler, which supports single or even mixed usage of three distinct integer variable encoding methods.
APA, Harvard, Vancouver, ISO, and other styles
10

Kienle, Holger M. "A SUIF Java compiler." [S.l.] : Universität Stuttgart , Fakultät Informatik, 1998. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB6783619.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Compiler"

1

Hammer, Dieter, ed. Compiler Compilers. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-53669-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

1958-, Cytron Ron K., and LeBlanc Richard J. 1950-, eds. Crafting a compiler. Addison-Wesley, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hammer, Dieter, ed. Compiler Compilers and High Speed Compilation. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51364-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Linda, Torczon, ed. Engineering a compiler. 2nd ed. Elsevier/Morgan Kaufmann, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Barrett, William A. Compiler construction: Theory and practice. 2nd ed. Science Research Associates, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lee, Peter. Realistic compiler generation. MIT Press, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Wilhelm, Reinhard, and Helmut Seidl. Compiler Design. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14909-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Krishnamurthi, Shriram, and Martin Odersky, eds. Compiler Construction. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-71229-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

de Moor, Oege, and Michael I. Schwartzbach, eds. Compiler Construction. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00722-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Gupta, Rajiv, ed. Compiler Construction. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-11970-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Compiler"

1

Nipkow, Tobias, and Gerwin Klein. "Compiler." In Concrete Semantics. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10542-0_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Oberg, Michael. "Compiler." In Computer und Sprache. Deutscher Universitätsverlag, 2000. http://dx.doi.org/10.1007/978-3-322-95345-2_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Castro, José Román Bilbao. "Compiler." In Encyclopedia of Systems Biology. Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4419-9863-7_1269.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Ozdemir, Alex, Riad S. Wahby, Fraser Brown, and Clark Barrett. "Bounded Verification for Finite-Field-Blasting." In Computer Aided Verification. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37709-9_8.

Full text
Abstract:
AbstractZero Knowledge Proofs (ZKPs) are cryptographic protocols by which a prover convinces a verifier of the truth of a statement without revealing any other information. Typically, statements are expressed in a high-level language and then compiled to a low-level representation on which the ZKP operates. Thus, a bug in a ZKP compiler can compromise the statement that the ZK proof is supposed to establish. This paper takes a step towards ZKP compiler correctness by partially verifying a field-blasting compiler pass, a pass that translates Boolean and bit-vector logic into equivalent operatio
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
Abstract:
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 utili
APA, Harvard, Vancouver, ISO, and other styles
6

Kojima, Hideharu, and Rolf Adams. "jShio — A Customization Language Compiler—Compiler." In OOIS 2001. Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0719-4_36.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Holt, Alan, and Chi-Yu Huang. "Compiler Toolchains." In Embedded Operating Systems. Springer London, 2014. http://dx.doi.org/10.1007/978-1-4471-6603-0_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Capon, P. C., and P. J. Jinks. "Compiler organisation." In Compiler Engineering Using Pascal. Macmillan Education UK, 1988. http://dx.doi.org/10.1007/978-1-349-10401-7_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Böhmer, Martin. "Der Compiler." In Programmieren mit TURBO BASIC. Vieweg+Teubner Verlag, 1988. http://dx.doi.org/10.1007/978-3-663-13969-0_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Koranne, Sandeep. "Compiler Construction." In Handbook of Open Source Tools. Springer US, 2010. http://dx.doi.org/10.1007/978-1-4419-7719-9_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Compiler"

1

Zaafrani, Abderrazek, and Xinmin Tian. "Performance Portability of XL HPF Compiler on IBM SP2 and SMP Multiprocessors." In International Symposium on Computer Architecture and High Performance Computing. Sociedade Brasileira de Computação, 1999. http://dx.doi.org/10.5753/sbac-pad.1999.19767.

Full text
Abstract:
High Performance Fortran (HPF) is a data-parallel programming language that allows the programmer to specify the data decomposition onto the processors while the compiler takes care of the tedious tasks of communication generation and computation partitioning. Shifting some of the complex tasks from the user to the compiler should encourage programmers to write and port code to parallel machines especially if the compiler implements these tasks efficiently. In this paper, performance results and analysis of a subset of the SPEC92 is presented for the XL HPF compiler on IBM SP2 machines. In add
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
Abstract:
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 compilat
APA, Harvard, Vancouver, ISO, and other styles
3

Baldwin, Doug. "A compiler for teaching about compilers." In the 34th SIGCSE technical symposium. ACM Press, 2003. http://dx.doi.org/10.1145/611892.611974.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Alfonseca, Enrique. "Writing a compilers compiler in APL." In the APL98 conference. ACM Press, 1998. http://dx.doi.org/10.1145/327559.327620.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Amaral, José Nelson, Christopher Barton, Andrew C. Macdonell, and Matthew McNaughton. "Using the SGI Pro64 Open Source Compiler Infra-Structure for Teaching and Research." In Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho. Sociedade Brasileira de Computação, 2001. http://dx.doi.org/10.5753/sbac-pad.2001.22210.

Full text
Abstract:
Modem optimizing compilers are complex programs that require from tens to hundreds of people-years to be developed. Thus professors must use third-party compiler infra-structures to introduce students to compiler optimizations. Until recently only infra-structures developed at universities, research institutes, or by GNU were widely available for teaching. However, in May 2000, SGI made public the source code for Pro64, a highly optimized suite of compilers for the Intel Architecture 64 (IA-64) that is an evolution of the established MIPSPro suite of compilers. The use of a production-level co
APA, Harvard, Vancouver, ISO, and other styles
6

Schmitz, Lothar. "The visual compiler-compiler SIC (abstract)." In Addendum to the proceedings. ACM Press, 1992. http://dx.doi.org/10.1145/157709.157814.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Engelke, Alexis, and Tobias Schwarz. "Compile-Time Analysis of Compiler Frameworks for Query Compilation." In 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). IEEE, 2024. http://dx.doi.org/10.1109/cgo57630.2024.10444856.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Borgwardt, Stefan, Jörg Hoffmann, Alisa Kovtunova, and Marcel Steinmetz. "Making DL-Lite Planning Practical." In 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}. International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/kr.2021/61.

Full text
Abstract:
Planning in the presence of background ontologies is a topic of long-standing interest in AI. It combines the problems of (1) belief update complexity and (2) state-space combinatorics. DL-Lite offers an attractive solution to (1), with belief updates possible at the ABox level. Indeed, it has been shown that DL-Lite planning can be compiled into the commonly used planning language PDDL. Yet that compilation was previously found to be infeasible for off-the-shelf planning systems. Here we analyze the reasons for this problem and find that the bottleneck lies in the planner pre-processes, in pa
APA, Harvard, Vancouver, ISO, and other styles
9

Harshithan, K. S. "Batwing Compiler: An Artificial Intelligence based Compiler." In 2023 Second International Conference on Advances in Computational Intelligence and Communication (ICACIC). IEEE, 2023. http://dx.doi.org/10.1109/icacic59454.2023.10434977.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Watanobe, Yutaka, Nikolay Mirenkov, and Yuya Watanabe. "AIDA compiler." In the 2012 Joint International Conference. ACM Press, 2012. http://dx.doi.org/10.1145/2160749.2160767.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Compiler"

1

Heuring, Vincent P., William M. Waite, and Gerhard Fischer. Automatic Compiler Construction. Defense Technical Information Center, 1990. http://dx.doi.org/10.21236/ada218777.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Nataf, J. M., and F. Winkelmann. Automatic code generation in SPARK: Applications of computer algebra and compiler-compilers. Office of Scientific and Technical Information (OSTI), 1992. http://dx.doi.org/10.2172/10161277.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Nataf, J. M., and F. Winkelmann. Automatic code generation in SPARK: Applications of computer algebra and compiler-compilers. Office of Scientific and Technical Information (OSTI), 1992. http://dx.doi.org/10.2172/7368555.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Li, Chung-Chi J., Elliot M. Stewart, and W. K. Fuchs. Compiler-Assisted Full Checkpointing. Defense Technical Information Center, 1990. http://dx.doi.org/10.21236/ada274291.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Leavitt, Thomas, and Kermit Terrell. Ada Compiler Evaluation Capability. Defense Technical Information Center, 1991. http://dx.doi.org/10.21236/ada236716.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hook, Audrey A., and Stephen Heilbrunner. Ada Compiler Validation Procedures. Defense Technical Information Center, 1989. http://dx.doi.org/10.21236/ada224222.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

League, Christopher A. A Type-Preserving Compiler Infrastructure. Defense Technical Information Center, 2002. http://dx.doi.org/10.21236/ada436496.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Rajopadhye, Sanjay. Scalable compiler technology for exascale. Office of Scientific and Technical Information (OSTI), 2018. http://dx.doi.org/10.2172/1417331.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Brodersen, Robert W. Anatomy of a Silicon Compiler. Defense Technical Information Center, 1994. http://dx.doi.org/10.21236/ada285395.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Long, Junsheng, W. K. Fuchs, and Jacob A. Abraham. Compiler-Assisted Static Checkpoint Insertion. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada256039.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!