Log in

Relevant bibliographies by topics / Programming language compiler

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers

Academic literature on the topic 'Programming language compiler'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 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 'Programming language 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 "Programming language compiler"

1

Salama, Ramiz, Ahmed Qazi, and Mohamed Elsayed. "Online programming language—Learning management system." Global Journal of Information Technology: Emerging Technologies 8, no. 3 (2018): 114–23. http://dx.doi.org/10.18844/gjit.v8i3.4051.

Full text

Abstract:

Today, college and university students find themselves with the need more than getting a degree. Work and social life commitments make equal demands on their time. The option of taking online classes and studying on their own is a must. However, many state institutions are unable to accommodate all those who want to take classes on campus, escalating the demand for online learning. The aim of this project is development of learning management system (LMS). You can be as a teacher and upload your course materials to all students in our LMS. With our LMS, you are online every time, you can get m

APA, Harvard, Vancouver, ISO, and other styles

2

BERNARD, THOMAS A. M., CLEMENS GRELCK, and CHRIS R. JESSHOPE. "ON THE COMPILATION OF A LANGUAGE FOR GENERAL CONCURRENT TARGET ARCHITECTURES." Parallel Processing Letters 20, no. 01 (2010): 51–69. http://dx.doi.org/10.1142/s0129626410000053.

Full text

Abstract:

The challenge of programming many-core architectures efficiently and effectively requires models and methods to co-design chip architectures and their software tool chain, using an approach that is both vertical and general. In this paper, we present compilation schemes for a general model of concurrency captured in a parallel language designed for system-level programming and as a target for higher level compilers. We also expose the challenges of integrating these transformation rules into a sequential-oriented compiler. Moreover, we discuss resource mapping inherent to those challenges. Our

APA, Harvard, Vancouver, ISO, and other styles

3

Mehta, Hemang, S. J. Balaji, and Dharanipragada Janakiram. "Extending programming language to support object orientation in legacy systems." Computer Science and Information Systems 10, no. 4 (2013): 1661–72. http://dx.doi.org/10.2298/csis130115070m.

Full text

Abstract:

The contemporary software systems written in C face maintainability issues because of tight coupling. Introducing object orientation can address these problems by raising the abstraction to objects, thereby providing better programmability and understandability. However, compiling a C software with a C++ compiler is difficult because of the incompatibilities between C and C++. Some of the incompatibilities such as designated initializers are nontrivial in nature and hence are very difficult to handle by automation such as scripting or by manual efforts. Moreover, runtime support for features s

APA, Harvard, Vancouver, ISO, and other styles

4

Dold, Axel, Friedrich von Henke, and Wolfgang Goerigk. "A Completely Verified Realistic Bootstrap Compiler." International Journal of Foundations of Computer Science 14, no. 04 (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. Secon

APA, Harvard, Vancouver, ISO, and other styles

5

Auguston, M. I. "Programming language RIGAL as a compiler writing tool." ACM SIGPLAN Notices 25, no. 12 (1990): 61–69. http://dx.doi.org/10.1145/122193.122198.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Walker, Kenneth, and Ralph E. Griswold. "An optimizing compiler for the icon programming language." Software: Practice and Experience 22, no. 8 (1992): 637–57. http://dx.doi.org/10.1002/spe.4380220803.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Ryan, R. R., and H. Spiller. "The C programming language and a C compiler." IBM Systems Journal 24, no. 1 (1985): 37–48. http://dx.doi.org/10.1147/sj.241.0037.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Cristiá, Maximiliano, Diego A. Hollmann, and Claudia Frydman. "A multi-target compiler for CML-DEVS." SIMULATION 95, no. 1 (2018): 11–29. http://dx.doi.org/10.1177/0037549718765080.

Full text

Abstract:

Discrete Event System Specification (DEVS) is a modular and hierarchical formalism for system modeling and simulation. DEVS models can be mathematically described; simulation is performed by tools called concrete simulators. Concerning atomic DEVS models, each concrete simulator has its own input language which is, essentially, a general-purpose programming language (such as Java or C++). Hence, once engineers have written the mathematical model, they need to manually translate it into the input language of the concrete simulator of their choice. In this paper we present a multi-target compile

APA, Harvard, Vancouver, ISO, and other styles

9

KIRCHNER, HÉLÈNE, and PIERRE-ETIENNE MOREAU. "Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories." Journal of Functional Programming 11, no. 2 (2001): 207–51. http://dx.doi.org/10.1017/s0956796800003907.

Full text

Abstract:

First-order languages based on rewrite rules share many features with functional languages, but one difference is that matching and rewriting can be made much more expressive and powerful by incorporating some built-in equational theories. To provide reasonable programming environments, compilation techniques for such languages based on rewriting have to be designed. This is the topic addressed in this paper. The proposed techniques are independent from the rewriting language, and may be useful to build a compiler for any system using rewriting modulo Associative and Commutative (AC) theories.

APA, Harvard, Vancouver, ISO, and other styles

10

Pleban, U. F., and P. Lee. "An automatically generated, realistic compiler for imperative programming language." ACM SIGPLAN Notices 23, no. 7 (1988): 222–32. http://dx.doi.org/10.1145/960116.54012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Programming language compiler"

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Craig, Michael B. "Compiler optimizations for an asynchronous stream-oriented programming language." Thesis, Massachusetts Institute of Technology, 2008. http://hdl.handle.net/1721.1/45986.

Full text

Abstract:

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2008.<br>Includes bibliographical references (p. 59-61).<br>Stream-oriented programs allow different opportunities for optimization than procedural programs. Moreover, as compared to purely synchronous stream-oriented programs, optimizing for asynchronous stream-based programs is difficult, owing to the latters' inherent unpredictability. In this thesis, we present several compiler optimizations for WaveScript, a high-level, functional, stream-oriented programming language. We also pr

APA, Harvard, Vancouver, ISO, and other styles

3

Nguyen, Hoang Vinh. "Steve - A Programming Language for Packet Processing." University of Akron / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=akron1467985307.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Cheng, A. S. K. "An OR parallel logic programming language : its compiler and abstract machine." Thesis, University of Essex, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.233029.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Pena, Fortunato. "PENNY--a programming language and compiler for the context interchange project." Thesis, Massachusetts Institute of Technology, 1997. http://hdl.handle.net/1721.1/42780.

Full text

Abstract:

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1997.<br>Includes bibliographical references (leaves 55-56).<br>by Fortunato Pena.<br>M.Eng.

APA, Harvard, Vancouver, ISO, and other styles

6

Type, Samantha. "Implementation of an optimising object-oriented programming language compiler for embedded applications." Thesis, University of Sussex, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.366055.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Helliwell, A. M. "Implementation of a highly portable Pascal interpreter using indirect threaded code techniques." Thesis, University of Leeds, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379646.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Calnan, III Paul W. "EXTRACT: Extensible Transformation and Compiler Technology." Digital WPI, 2003. https://digitalcommons.wpi.edu/etd-theses/484.

Full text

Abstract:

Code transformation is widely used in programming. Most developers are familiar with using a preprocessor to perform syntactic transformations (symbol substitution and macro expansion). However, it is often necessary to perform more complex transformations using semantic information contained in the source code. In this thesis, we developed EXTRACT; a general-purpose code transformation language. Using EXTRACT, it is possible to specify, in a modular and extensible manner, a variety of transformations on Java code such as insertion, removal, and restructuring. In support of this, we also d

APA, Harvard, Vancouver, ISO, and other styles

9

Holm, Magnus. "Compiling the parallel programming language NestStep to the CELL processor." Thesis, Linköping University, Department of Computer and Information Science, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-57871.

Full text

Abstract:

<p>The goal of this project is to create a source-to-source compiler which will translate NestStep code to C code. The compiler's job is to replace NestStep constructs with a series of function calls to the NestStep runtime system. NestStep is a parallel programming language extension based on the BSP model. It adds constructs for parallel programming on top of an imperative programming language. For this project, only constructs extending the C language are relevant. The output code will compile to form an executable program that runs on the multicore processor Cell Broadband Engine (Cell BE)

APA, Harvard, Vancouver, ISO, and other styles

10

Ernstsson, August. "SkePU 2: Language Embedding and Compiler Support for Flexible and Type-Safe Skeleton Programming." Thesis, Linköpings universitet, Programvara och system, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-129381.

Full text

Abstract:

This thesis presents SkePU 2, the next generation of the SkePU C++ framework for programming of heterogeneous parallel systems using the skeleton programming concept. SkePU 2 is presented after a thorough study of the state of parallel programming models, frameworks and tools, including other skeleton programming systems. The advancements in SkePU 2 include a modern C++11 foundation, a native syntax for skeleton parameterization with user functions, and an entirely new source-to-source translator based on Clang compiler front-end libraries. SkePU 2 extends the functionality of SkePU 1 by embra

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Programming language compiler"

1

Build your own .NET language and compiler. Apress, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Building your own compiler with C++. Prentice Hall, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Holmes, Jim. Building your own compiler with C [plus plus]. Prentice Hall, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Programming in Clipper: The definitiveguide to the Clipper dBase compiler. Addison-Wesley Pub. Co, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Straley, Stephen J. Programming in Clipper: The definitive guide to the Clipper dBase compiler. Addison-Wesley Pub. Co., 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Straley, Stephen J. Programming in Clipper: The definitive guide to the Clipper dBase compiler. 2nd ed. Addison-Wesley Pub. Co, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Perry, Greg M. Visual C++ in 12 easy lessons. Sams Pub., 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

service), SpringerLink (Online, ed. Programming Language Concepts. Springer London, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Programming language processors: Compilers and interpreters. Prentice Hall, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Programming language compiler"

1

Sakagami, Hitoshi. "Three-Dimensional Fluid Code with XcalableMP." In XcalableMP PGAS Programming Language. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-7683-6_6.

Full text

Abstract:

AbstractIn order to adapt parallel computers to general convenient tools for computational scientists, a high-level and easy-to-use portable parallel programming paradigm is mandatory. XcalableMP, which is proposed by the XcalableMP Specification Working Group, is a directive-based language extension for Fortran and C to easily describe parallelization in programs for distributed memory parallel computers. The Omni XcalableMP compiler, which is provided as a reference XcalableMP compiler, is currently implemented as a source-to-source translator. It converts XcalableMP programs to standard MPI programs, which can be easily compiled by the native Fortran compiler and executed on most of parallel computers. A three-dimensional Eulerian fluid code written in Fortran is parallelized by XcalableMP using two different programming models with the ordinary domain decomposition method, and its performances are measured on the K computer. Programs converted by the Omni XcalableMP compiler prevent native Fortran compiler optimizations and show lower performance than that of hand-coded MPI programs. Finally almost the same performances are obtained by using specific compiler options of the native Fortran compiler in the case of a global-view programming model, but performance degradation is not improved by specifying any native compiler options when the code is parallelized by a local-view programming model.

APA, Harvard, Vancouver, ISO, and other styles

2

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

APA, Harvard, Vancouver, ISO, and other styles

3

Hamel, Lutz H., and Joseph A. Goguen. "Towards a provably correct compiler for OBJ3." In Programming Language Implementation and Logic Programming. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58402-1_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Consel, Charles, and Siau Cheng Khoo. "Semantics-directed generation of a Prolog compiler." In Programming Language Implementation and Logic Programming. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54444-5_94.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Zaiki, Koji, Akiyoshi Wakatani, Tadashi Okamoto, Katsuyuki Kaneko, and Tatsuo Nogi. "Parallel Programming Language Adetran." In Parallel Language and Compiler Research in Japan. Springer US, 1995. http://dx.doi.org/10.1007/978-1-4615-2269-0_18.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Nakao, Masahiro, and Hitoshi Murai. "Implementation and Performance Evaluation of Omni Compiler." In XcalableMP PGAS Programming Language. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-7683-6_2.

Full text

Abstract:

AbstractThis chapter describes the implementation and performance evaluation of Omni compiler, which is a reference implementation of the compiler for XcalableMP. For performance evaluation, this chapter also presents how to implement the HPC Challenge benchmarks, which is a benchmark suite for an HPC parallel language. The results show that the performance of XMP is comparable to that of MPI in many cases.

APA, Harvard, Vancouver, ISO, and other styles

7

mughal, Khalid Azim. "Generation of incremental indirect threaded code for language-based programming environments." In Compiler Compilers and High Speed Compilation. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51364-7_18.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Grivas, Georgios. "Towards a constraint functional logic compiler for symbolic computation systems." In Programming Language Implementation and Logic Programming. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58402-1_35.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Vollmer, Jürgen. "Experiences with gentle: Efficient compiler construction based on logic programming." In Programming Language Implementation and Logic Programming. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54444-5_120.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Programming language compiler"

1

Petersen, Leaf, and Neal Glew. "Functional language compiler experiences at Intel." In ACM SIGPLAN Commercial Users of Functional Programming. ACM Press, 2010. http://dx.doi.org/10.1145/1900160.1900175.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Ronszcka, Adriano Francisco, Cleverson Avelino Ferreira, Paulo Cezar Stadzisz, Joao Alberto Fabro, and Jean Marcelo Simao. "Notification-Oriented Programming Language and Compiler." In 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC). IEEE, 2017. http://dx.doi.org/10.1109/sbesc.2017.23.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Kato, Yoshitaka, Masaya Ozaki, Jun'ya Kani, Nobuhiro Ito, and Yoshinobu Kawabe. "Developing Compiler for Nihongo Programming Language PEN." In 2015 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence (ACIT-CSI). IEEE, 2015. http://dx.doi.org/10.1109/acit-csi.2015.73.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Downen, Paul, Luke Maurer, Zena M. Ariola, and Simon Peyton Jones. "Sequent calculus as a compiler intermediate language." In ICFP'16: ACM SIGPLAN International Conference on Functional Programming. ACM, 2016. http://dx.doi.org/10.1145/2951913.2951931.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Lidbury, Christopher, Andrei Lascu, Nathan Chong, and Alastair F. Donaldson. "Many-core compiler fuzzing." In PLDI '15: ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, 2015. http://dx.doi.org/10.1145/2737924.2737986.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Tardieu, Olivier. "Session details: Compiler optimizations." In PLDI '14: ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, 2014. http://dx.doi.org/10.1145/3251064.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Bangerter, Endre, Stephan Krenn, Martial Seifriz, and Ulrich Ultes-Nitsche. "cPLC — A cryptographic programming language and compiler." In 2011 Information Security for South Africa (ISSA). IEEE, 2011. http://dx.doi.org/10.1109/issa.2011.6027533.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Koeplinger, David, Matthew Feldman, Raghu Prabhakar, et al. "Spatial: a language and compiler for application accelerators." In PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, 2018. http://dx.doi.org/10.1145/3192366.3192379.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Hsu, Aaron W. "Accelerating information experts through compiler design." In PLDI '15: ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, 2015. http://dx.doi.org/10.1145/2774959.2774968.

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!