Relevant bibliographies by topics / Compiler Construction

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Compiler Construction'

Author: Grafiati
Published: 4 June 2021
Last updated: 8 February 2022

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 Construction.'

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 Construction"

1

Viera, Marcos, and S. Doaitse Swierstra. "Compositional compiler construction: Oberon0." Science of Computer Programming 114 (December 2015): 45–56. http://dx.doi.org/10.1016/j.scico.2015.10.008.

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

Khatoon, Khan Uzma. "Compiler Basic Designing and Construction." International Journal of Computer Sciences and Engineering 7, no. 9 (September 30, 2019): 193–94. http://dx.doi.org/10.26438/ijcse/v7i9.193194.

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

de Oliveira Guimarães, José. "Learning compiler construction by examples." ACM SIGCSE Bulletin 39, no. 4 (December 2007): 70–74. http://dx.doi.org/10.1145/1345375.1345418.

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

Noonan, Robert E. "Compiler construction using modern tools." ACM SIGCSE Bulletin 18, no. 1 (February 1986): 109–13. http://dx.doi.org/10.1145/953055.5697.

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

Dold, Axel, Friedrich von Henke, and Wolfgang Goerigk. "A Completely Verified Realistic Bootstrap Compiler." International Journal of Foundations of Computer Science 14, no. 04 (August 2003): 659–80. http://dx.doi.org/10.1142/s0129054103001947.

Full text
Abstract:
This paper reports on a large verification effort in constructing an initial fully trusted bootstrap compiler executable for a realistic system programming language and real target processor. The construction and verification process comprises three tasks: the verification of the compiling specification (a relation between abstract source and target programs) with respect to the language semantics and a realistic correctness criterion. This proof has been completely mechanized using the PVS verification system and is one of the largest case-studies in formal verification we are aware of. Second, the implementation of the specification in the high-level source language following a transformational approach, and finally, the implementation and verification of a binary executable written in the compiler's target language. For the latter task, a realistic technique has been developed, which is based on rigorous a-posteriori syntactic code inspection and which guarantees, for the first time, trusted execution of generated machine programs. The context of this work is the joint German research effort Verifix aiming at developing methods for the construction of correct compilers for realistic source languages and real target processors.
APA, Harvard, Vancouver, ISO, and other styles
6

Ruckert, Martin. "Teaching compiler construction and language design." ACM SIGCSE Bulletin 39, no. 1 (March 7, 2007): 435–39. http://dx.doi.org/10.1145/1227504.1227460.

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

Chakraborty, Pinaki, P. C. Saxena, C. P. Katti, Gauri Pahwa, and Shweta Taneja. "A new practicum in compiler construction." Computer Applications in Engineering Education 22, no. 3 (July 25, 2011): 429–41. http://dx.doi.org/10.1002/cae.20566.

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

Meyer, R. Mark, and Roy F. Keller. "SLR tools for teaching compiler construction." ACM SIGCSE Bulletin 17, no. 1 (March 1985): 120–29. http://dx.doi.org/10.1145/323275.323303.

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

Justice, Timothy P., Rajeev K. Pandey, and Timothy A. Budd. "A multiparadigm approach to compiler construction." ACM SIGPLAN Notices 29, no. 9 (September 1994): 29–37. http://dx.doi.org/10.1145/185009.185015.

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

Yacci, M. "Object-oriented compiler construction [Book Review]." IEEE Software 14, no. 5 (September 1997): 117–18. http://dx.doi.org/10.1109/ms.1997.605944.

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

Dissertations / Theses on the topic "Compiler Construction"

1

Parkes, Michael A. B. "An improved tool for automated compiler construction." Thesis, Aston University, 1989. http://publications.aston.ac.uk/10643/.

Full text
Abstract:
Since the advent of High Level Programming languages (HLPLs) in the early 1950s researchers have sought ways to automate the construction of HLPL compilers. To this end a variety of Translator Writing Tools (TWTs) have been developed in the last three decades. However, only a very few of these tools have gained significant commercial acceptance. This thesis re-examines traditional compiler construction techniques, along with a number of previous TWTs, and proposes a new improved tool for automated compiler construction called the Aston Compiler Constructor (ACC). This new tool allows the specification of complete compilation systems using a high level compiler oriented specification notation called the Compiler Construction Language (CCL). This specification notation is based on a modern variant of Backus Naur Form (BNF) and an extended variant of Attribute Grammars (AGs). The implementation and processing of the CCL is discussed along with an extensive CCL example. The CCL is shown to have an extensive expressive power, to be convenient in use, and highly readable, and thus a superior alternative to earlier TWTs, and to traditional compiler construction techniques. The execution performance of CCL specifications is evaluated and shown to be acceptable. A number of related areas are also addressed, including tools for the rapid construction of individual compiler components, and tools for the construction of compilation systems for multiprocessor operating systems and hardware. This latter area is expected to become of particular interest in future years due to the anticipated increased use of multiprocessor architectures.
APA, Harvard, Vancouver, ISO, and other styles
2

Moon, Hae-Kyung. "Compiler construction for a simple Pascal-like language." Virtual Press, 1994. http://liblink.bsu.edu/uhtbin/catkey/897511.

Full text
Abstract:
In this thesis a compiler called SPASCAL is implemented which translates source programs in a simple Pascal-like language called SPASCAL into target programs in the VAX assembly language. This thesis clearly describes the main aspects of a compiler: lexical analysis and syntactic analysis, including the symbol-table routines and the error-handling routines. This thesis uses regular expressions to define the lexical structure and a context-free grammar to define the syntactic structure of SPASCAL. The compiler is constructed using syntax-directed translation, context-free grammars and a set of semantic rules. SPASCAL Compiler is written with standard C in UNIX.
Department of Computer Science
APA, Harvard, Vancouver, ISO, and other styles
3

Kilpatrick, P. L. "An application of parallelism to compilation." Thesis, Queen's University Belfast, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.373538.

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

Tinnerholm, John. "An LLVM backend for the Open Modelica Compiler." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-154291.

Full text
Abstract:
This thesis presents the construction and evaluation of an LLVM based codegenerator, an LLVM backend. The introduction of an LLVM based backend into the OpenModelica compiler was done to examine the advantages and disadvantages of compiling Modelica and MetaModelica to LLVM IR instead of C. To answer this question, the LLVM backend was compared against the existing interpreter and C code generator using four different schemes with corresponding cases. This comparison was made both for both optimised and unoptimised code. From the experiments, it was concluded that an LLVM backend can be used to improve runtime and compile time performance in the OpenModelica Interactive environment.
APA, Harvard, Vancouver, ISO, and other styles
5

Coleman, Jesse J. "The design, construction, and implementation of an engineering software command processor and macro compiler /." Online version of thesis, 1995. http://hdl.handle.net/1850/12219.

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

Klinghed, Joel, and Kim Jansson. "Incremental Compilation and Dynamic Loading of Functions in OpenModelica." Thesis, Linköping University, Department of Computer and Information Science, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-12329.

Full text
Abstract:

Advanced development environments are essential for efficient realization of complex industrial products. Powerful equation-based object-oriented (EOO) languages such as Modelica are successfully used for modeling and virtual prototyping complex physical systems and components. The Modelica language enables engineers to build large, sophisticated and complex models. Modelica environments should scale up and be able to handle these large models. This thesis addresses the scalability of Modelica tools by employing incremental compilation and dynamic loading. The design, implementation and evaluation of this approach is presented. OpenModelica is an open-source Modelica environment developed at PELAB in which we have implemented our strategy for incremental compilation and dynamic loading of functions. We have tested the performance of these strategies in a number of different scenarios in order to see how much of an impact they have on the compilation and execution time.

Our solution contains an overhead of one or two hash calls during runtime as it uses dynamic hashes instead of static arrays.

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

Törnblom, John. "Improving Quality of Avionics Software Using Mutation Testing." Thesis, Linköpings universitet, Databas och informationsteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-105456.

Full text
Abstract:
Mutation testing is a powerful fault-based testing technique that makes syntactic changes to a program under test in order to simulate real faults otherwise caused by a programmer. Similar to structural coverage criteria such as statement coverage, mutation testing is used to assess the quality of a test suite. After a syntactic change has been made, the program is referred to as a mutant that either can survive a test suite, or be killed by one. If a mutant is killed, it means that the test suite has detected the syntactic change and reported it as an error, resulting in an increased mutation score. If a mutant survives, it means that the test suite failed to detect the fault and the mutation score is decreased. Mutation testing is generally considered the strongest testing technique available in terms of fault detection, but also the most expensive one. However, thanks to recent research and the rapid development of computing hardware, the testing technique is starting to become feasible, motivating the creation of tools utilizing the power of mutation testing. Saab AB, the Swedish aircraft manufacturer and stakeholder in this thesis, has experimented with mutation testing in the past, resulting in a tool called BAX that creates textual modifications of the original source code. The initial goal of this thesis is to provide a new tool that is faster than BAX, and that is more systematic in the way mutants are generated. LLVM-P86, the main contribution of this thesis, is a compiler and mutation testing framework intended for the programming language Pascal-86. Unlike BAX, LLVM-P86 is able to encode several mutants into a single program, thus reducing the time spent on compiling source code. In the conducted experiments, LLVM-P86 processed mutants significantly faster than BAX, on average by a factor of 13.6. Since LLVM-P86 is also a compiler, proper type information is available when mutants are generated. The additional type information allows LLVM-P86 to avoid a significant amount of equivalent mutants, i.e. mutants that behave in the same way as the original program. When mutating relational operators found in approximately 10,000 lines of code, distributed amongst 18 different Pascal-86 modules, LLVM-P86 was able to reduce the total number of living mutants by 25%, or 5.7% of the complete set of mutants.
APA, Harvard, Vancouver, ISO, and other styles
8

Burke, Patrick William. "A New Look at Retargetable Compilers." Thesis, University of North Texas, 2014. https://digital.library.unt.edu/ark:/67531/metadc699988/.

Full text
Abstract:
Consumers demand new and innovative personal computing devices every 2 years when their cellular phone service contracts are renewed. Yet, a 2 year development cycle for the concurrent development of both hardware and software is nearly impossible. As more components and features are added to the devices, maintaining this 2 year cycle with current tools will become commensurately harder. This dissertation delves into the feasibility of simplifying the development of such systems by employing heterogeneous systems on a chip in conjunction with a retargetable compiler such as the hybrid computer retargetable compiler (Hy-C). An example of a simple architecture description of sufficient detail for use with a retargetable compiler like Hy-C is provided. As a software engineer with 30 years of experience, I have witnessed numerous system failures. A plethora of software development paradigms and tools have been employed to prevent software errors, but none have been completely successful. Much discussion centers on software development in the military contracting market, as that is my background. The dissertation reviews those tools, as well as some existing retargetable compilers, in an attempt to determine how those errors occurred and how a system like Hy-C could assist in reducing future software errors. In the end, the potential for a simple retargetable solution like Hy-C is shown to be very simple, yet powerful enough to provide a very capable product in a very fast-growing market.
APA, Harvard, Vancouver, ISO, and other styles
9

Zárybnický, Jakub. "Just-in-time kompilace závisle typovaného lambda kalkulu." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445576.

Full text
Abstract:
Řada programovacích jazyků byla schopna zvýšit svoji rychlost výměnou běhových systémů stavěných na míru za obecné platformy, které pro optimalizaci používají just-in-time překlad, jako jsou GraalVM nebo RPython. V této práci vyhodnocuji, zda je použití takovýchto platforem vhodné i pro jazyky se závislymi typy nebo důkazovými systémy. Tato práce představuje koncepty -kalkulu a teorie typů potřebné pro úvod do závislých typů s relevantními algoritmy, specifikuje malý závisle typovaný jazyk založený na $\lambda\Pi$ kalkulu, a prezentuje dva interpretery tohoto jazyka. Tyto interpretery jsou psané v jazyce Kotlin, první je jednoduchý, psaný ve funkcionálním stylu a druhý používá platformu GraalVM a Truffle. GraalVM je platforma založená na virtuálním stroji Javy (JVM), která přidává just-in-time překladač založený na částečném vyhodnocení (partial evaluation) a Truffle je knihovna pro tvorbu programovacích jazyků využívající tento překladač. Závěr práce vyhodnocuje běhové charakteristiky těchto interpreterů na různých zátěžových testech.Závěry práce jsou ale silně negativní. Vliv JIT překladu není znatelný ani přes snahu optimalizovat běžné algoritmy z teorie typů, které jsou zjevně nevhodné pro platformu JVM. Práce končí návrhy několika navazujících projektů, které by lépe využily možnosti Truffle a které by byly vhodnější pro implementaci závisle typovaných jazyků.
APA, Harvard, Vancouver, ISO, and other styles
10

Langner, Daniel, and Christoff Bürger. "Die C# Schnittstelle der Referenzattributgrammatik-gesteuerten Graphersetzungsbibliothek RACR: Übersicht, Anwendung und Implementierung." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2018. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-191908.

Full text
Abstract:
Dieser Bericht präsentiert RACR-NET, eine Schnittstelle der Referenzattributgrammatik-gesteuerten Graphersetzungsbibliothek RACR für C#. RACR-NET ermöglicht die Nutzung der deklarativen, dynamischen Sprachspezifikations-, Instanziierungs- und Auswertungsmeachanismen der RACR Scheme-Bibliothek in der objektorientierten Programmierung. Dies umfasst insbesondere die automatische inkrementelle Auswertung attributbasierter semantischer Analysen und somit das automatische Cachen parametrisierter Funktionsmethoden. Graphersetzungen entsprechen hierbei Zustandsänderungen von Objektinstanzen und der Invalidierung abgeleiteter Berechnungen. Schwerpunkt dieses Berichts ist die objektorientierte Programmierschnittstelle von RACR-NET, dessen praktische Anwendung und Implementierung. Der Bericht ist ein Referenzhandbuch für RACR-NET Anwender und Entwickler.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Compiler Construction"

1

Compiler construction. Harlow, England: Addison-Wesley Pub. Co., 1996.

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

Hedin, Görel, ed. Compiler Construction. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-36579-6.

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

Kastens, Uwe, and Peter Pfahler, eds. Compiler Construction. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55984-1.

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

Wilhelm, Reinhard, ed. Compiler Construction. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45306-7.

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

O’Boyle, Michael, ed. Compiler Construction. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-28652-0.

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

Fritzson, Peter A., ed. Compiler Construction. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-57877-3.

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

Knoop, Jens, ed. Compiler Construction. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19861-8.

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

Jhala, Ranjit, and Koen De Bosschere, eds. Compiler Construction. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-37051-9.

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

Mycroft, Alan, and Andreas Zeller, eds. Compiler Construction. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11688839.

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

Hendren, Laurie, ed. Compiler Construction. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-78791-4.

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

Book chapters on the topic "Compiler Construction"

1

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

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

Penjam, Jaan. "Compiler construction by object-oriented system nut." In Compiler Compilers and High Speed Compilation, 66–80. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51364-7_5.

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

Hilsdale, Erik, J. Michael Ashley, R. Kent Dybvig, and Daniel P. Friedman. "Compiler construction using scheme." In Funtional Programming Languages in Education, 251–67. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60675-0_49.

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

Teufel, Bernd, Stephanie Schmidt, and Thomas Teufel. "Syntax Analysis and Parser Construction." In C2 Compiler Concepts, 57–99. Vienna: Springer Vienna, 1993. http://dx.doi.org/10.1007/978-3-7091-9274-0_4.

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

Waite, William M. "Compiler construction: Craftsmanship or engineering?" In Lecture Notes in Computer Science, 151–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61053-7_59.

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

Garavel, Hubert, Frédéric Lang, and Radu Mateescu. "Compiler Construction Using LOTOS NT." In Lecture Notes in Computer Science, 9–13. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45937-5_3.

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

Kowalski, Jakub, and Marek Szykuła. "Game Description Language Compiler Construction." In Lecture Notes in Computer Science, 234–45. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-03680-9_26.

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

Grosch, J., and H. Emmelmann. "A tool box for compiler construction." In Lecture Notes in Computer Science, 106–16. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-53669-8_77.

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

Liang, Sheng, and Paul Hudak. "Modular denotational semantics for compiler construction." In Programming Languages and Systems — ESOP '96, 219–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61055-3_39.

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

Waite, W. M. "Use of attribute grammars in compiler construction." In Lecture Notes in Computer Science, 255–65. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/3-540-53101-7_18.

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

Conference papers on the topic "Compiler Construction"

1

Biswas, Swarnendu, Man Cao, Minjia Zhang, Michael D. Bond, and Benjamin P. Wood. "Lightweight data race detection for production runs." In CC '17: Compiler Construction. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3033019.3033020.

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

Morisset, Robin, and Francesco Zappa Nardelli. "Partially redundant fence elimination for x86, ARM, and power processors." In CC '17: Compiler Construction. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3033019.3033021.

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

Shirako, Jun, Akihiro Hayashi, and Vivek Sarkar. "Optimized two-level parallelization for GPU accelerators using the polyhedral model." In CC '17: Compiler Construction. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3033019.3033022.

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

Beaugnon, Ulysse, Antoine Pouille, Marc Pouzet, Jacques Pienaar, and Albert Cohen. "Optimization space pruning without regrets." In CC '17: Compiler Construction. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3033019.3033023.

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

Suresh, Arjun, Erven Rohou, and André Seznec. "Compile-time function memoization." In CC '17: Compiler Construction. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3033019.3033024.

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

Wimmer, Christian, Vojin Jovanovic, Erik Eckstein, and Thomas Würthinger. "One compiler: deoptimization to optimized code." In CC '17: Compiler Construction. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3033019.3033025.

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

Popov, Nikita, Biagio Cosenza, Ben Juurlink, and Dmitry Stogov. "Static optimization in PHP 7." In CC '17: Compiler Construction. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3033019.3033026.

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

Townsend, Richard, Martha A. Kim, and Stephen A. Edwards. "From functional programs to pipelined dataflow circuits." In CC '17: Compiler Construction. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3033019.3033027.

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

Di Federico, Alessandro, Mathias Payer, and Giovanni Agosta. "rev.ng: a unified binary analysis framework to recover CFGs and function boundaries." In CC '17: Compiler Construction. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3033019.3033028.

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

Li, Lian, Yi Lu, and Jingling Xue. "Dynamic symbolic execution for polymorphism." In CC '17: Compiler Construction. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3033019.3033029.

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

Reports on the topic "Compiler Construction"

1

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

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

Fuelberth, August S., Adam D. Smith, and Sunny E. Adams. Fort McCoy, Wisconsin Building 550 maintenance plan. Engineer Research and Development Center (U.S.), November 2020. http://dx.doi.org/10.21079/11681/38659.

Full text
Abstract:
Building 550 (former World War II fire station) is located on Fort McCoy, Wisconsin, and was recommended eligible for the National Register of Historic Places (NRHP) in 2018 (Smith and Adams 2018). The building is currently vacant. It is an intact example of an 800 Series World War II fire station with character-defining features of its period of significance from 1939 to 1946 on its exterior and interior. All buildings, especially historic ones, require regular planned maintenance and repair. The most notable cause of historic building element failure and/or decay is not the fact that the historic building is old, but rather it is caused by incorrect or inappropriate repair and/or basic neglect of the historic building fabric. This document is a maintenance manual compiled with as-is conditions of construction materials of Building 550. The Secretary of Interior Guidelines on rehabilitation and repair per material are discussed to provide the cultural resources manager at Fort McCoy a guide to maintain this historic building. This report satisfies Section 110 of the National Historic Preservation Act (NHPA) of 1966 as amended and will help the Fort McCoy Cultural Resources Management office to manage this historic building.
APA, Harvard, Vancouver, ISO, and other styles
3

Hogan, Michael, and Michael Gallaher. Quantitative Indicators for Country-Level Innovation Ecosystems. RTI Press, May 2018. http://dx.doi.org/10.3768/rtipress.2018.op.0051.1805.

Full text
Abstract:
Innovation has been shown to be a key factor in determining a country’s competitiveness and economic growth potential. Through investments in education and research and development, many developing countries have tried to avoid the “middle income trap” of stagnation by working to create high-value employment opportunities. To better understand country-level readiness to innovate, we have compiled a set of publicly available data indicators and created a data tool to illustrate innovation capabilities and infrastructure by country. Our approach builds on and advances existing national innovation metrics by constructing transparent, publicly sourced indicators that emphasize changes over time and interrelationships between different indicators, as opposed to creating simple indices across groups of indicators. This occasional paper is targeted to an applied audience, explaining the methods used to assemble the data, an overview of the indicators, practical applications of the data, summary statistics, and data limitations. The data are not intended to be a tool for providing answers about innovation, but rather a starting point for future work including market landscaping, country-level diagnostics, and qualitative protocols for research.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Compiler Construction' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography