Добірка наукової літератури з теми "Compiler theory"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Compiler theory".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Compiler theory"
Zubkov, Kirill. "From the Compiler." Novoe literaturnoe obozrenie, no. 5 (2022): 11–16. http://dx.doi.org/10.53953/08696365_2022_177_5_11.
Повний текст джерелаBugaeva, Lyubov. "From the Compiler." Novoe literaturnoe obozrenie, no. 4 (2022): 27–30. http://dx.doi.org/10.53953/08696365_2022_176_4_27.
Повний текст джерелаSong, Qiang, Chun Yu Peng, Hong Gang Zhou, and Shou Biao Tan. "Time Delay Model for SRAM Compiler." Applied Mechanics and Materials 373-375 (August 2013): 1561–66. http://dx.doi.org/10.4028/www.scientific.net/amm.373-375.1561.
Повний текст джерелаEvans, D. J., and M. N. Sulaiman. "Neucomp—a neural network compiler." International Journal of Computer Mathematics 53, no. 1-2 (January 1994): 29–44. http://dx.doi.org/10.1080/00207169408804312.
Повний текст джерелаHARDIN, THÉRÈSE, LUC MARANGET, and BRUNO PAGANO. "Functional runtime systems within the lambda-sigma calculus." Journal of Functional Programming 8, no. 2 (March 1998): 131–76. http://dx.doi.org/10.1017/s0956796898002986.
Повний текст джерелаBohli, Jens-Matthias, María I. González Vasco, and Rainer Steinwandt. "Building Group Key Establishment on Group Theory: A Modular Approach." Symmetry 12, no. 2 (January 30, 2020): 197. http://dx.doi.org/10.3390/sym12020197.
Повний текст джерелаHsu, Shuo-Huan, Balachandra Krishnamurthy, Prathima Rao, Chunhua Zhao, Suresh Jagannathan, and Venkat Venkatasubramanian. "A domain-specific compiler theory based framework for automated reaction network generation." Computers & Chemical Engineering 32, no. 10 (October 2008): 2455–70. http://dx.doi.org/10.1016/j.compchemeng.2008.01.007.
Повний текст джерелаLi, Mingzhen, Yi Liu, Xiaoyan Liu, Qingxiao Sun, Xin You, Hailong Yang, Zhongzhi Luan, Lin Gan, Guangwen Yang, and Depei Qian. "The Deep Learning Compiler: A Comprehensive Survey." IEEE Transactions on Parallel and Distributed Systems 32, no. 3 (March 1, 2021): 708–27. http://dx.doi.org/10.1109/tpds.2020.3030548.
Повний текст джерелаZhu, Genjiang, Li Xie, and Zhongxiu Sun. "NUAPC: A parallelizing compiler for C++." Journal of Computer Science and Technology 12, no. 5 (September 1997): 458–69. http://dx.doi.org/10.1007/bf02943177.
Повний текст джерелаSheng, Li, and Z. B. Dai. "Research on the Maritime Communication Cryptographic Chip’s Compiler Optimization." Polish Maritime Research 24, s2 (August 28, 2017): 60–65. http://dx.doi.org/10.1515/pomr-2017-0065.
Повний текст джерелаДисертації з теми "Compiler theory"
Concepcion, Rowen. "Introducing Non-Determinism to the Parallel C Compiler." CSUSB ScholarWorks, 2014. https://scholarworks.lib.csusb.edu/etd/22.
Повний текст джерелаWard, Allen Corlies. "A theory of quantitative inference for artifact sets, applied to a mechanical design compiler." Thesis, Massachusetts Institute of Technology, 1988. http://hdl.handle.net/1721.1/14309.
Повний текст джерелаNgô, Van Chan. "Formal verification of a synchronous data-flow compiler : from Signal to C." Phd thesis, Université Rennes 1, 2014. http://tel.archives-ouvertes.fr/tel-01067477.
Повний текст джерелаLerner, Sorin. "Automatically proving the correctness of program analyses and transformations /." Thesis, Connect to this title online; UW restricted, 2006. http://hdl.handle.net/1773/7001.
Повний текст джерелаElms, Kim. "Debugging optimised code using function interpretation." Thesis, Queensland University of Technology, 1999.
Знайти повний текст джерелаCastelluccia, Claude. "Generation automatique d'implementation optimisees de protocoles." Nice, 1996. http://www.theses.fr/1996NICE4957.
Повний текст джерелаHernandez, Ivory. "Strong-DISM| A First Attempt to a Dynamically Typed Assembly Language (D-TAL)." Thesis, University of South Florida, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10640802.
Повний текст джерелаDynamically Typed Assembly Language (D-TAL) is not only a lightweight and effective solution to the gap generated by the drop in security produced by the translation of high-level language instructions to low-level language instructions, but it considerably eases up the burden generated by the level of complexity required to implement typed assembly languages statically. Although there are tradeoffs between the static and dynamic approaches, focusing on a dynamic approach leads to simpler, easier to reason about, and more feasible ways to understand deployment of types over monomorphically-typed or untyped intermediate languages. On this occasion, DISM, a simple but powerful and mature untyped assembly language, is extended by the addition of type annotations (on memory and registers) to produce an instance of D-TAL. Strong-DISM, the resulting language, statically, lends itself to simpler analysis about type access and security as the correlation between datatypes and instructions with their respective memory and registers becomes simpler to observe; while dynamically, it disallows operations and further eliminates conditions that from high level languages could be used to violate/circumvent security.
Ward, Daniel R. "Reaper – Toward Automating Mobile Cloud Communication." ScholarWorks@UNO, 2013. http://scholarworks.uno.edu/td/1707.
Повний текст джерелаNelson, Andrew P. "Funqual: User-Defined, Statically-Checked Call Graph Constraints in C++." DigitalCommons@CalPoly, 2018. https://digitalcommons.calpoly.edu/theses/1848.
Повний текст джерелаAtterving, Emmy. "“She said she was called Theodore” : - A modality analysis of five transcendental saints in the 1260’s Legenda Aurea and 1430’s Gilte Legende." Thesis, Stockholms universitet, Historiska institutionen, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-144052.
Повний текст джерелаКниги з теми "Compiler theory"
Barrett, William A. Compiler construction: Theory and practice. 2nd ed. Chicago: Science Research Associates, 1985.
Знайти повний текст джерелаCompiler design: Theory, tools, and examples. Dubuque, Iowa: W.C. Brown Publishers,c, 1994.
Знайти повний текст джерелаJean Paul Tremblay - undifferentiated. The theory and practice of compiler writing. Hyderabad [India]: BS Publications, 2008.
Знайти повний текст джерелаG, Sorenson P., ed. The theory and practice of compiler writing. New York: McGraw-Hill, 1985.
Знайти повний текст джерелаPittman, Thomas. The art of compiler design: Theory and practice. Englewood Cliffs, NJ: Prentice Hall, 1992.
Знайти повний текст джерелаA Small C compiler: Language, usage, theory, and design. Redwood City, Calif: M&T Pub., 1988.
Знайти повний текст джерелаButler, Ricky W. The Fault-Tree Compiler (FTC): Program and mathematics. [Washington, D.C.]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division, 1989.
Знайти повний текст джерелаButler, Ricky W. The Fault-Tree Compiler (FTC): Program and mathematics. [Washington, D.C.]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division, 1989.
Знайти повний текст джерелаAlan, Mycroft, Zeller Andreas, and ETAPS 2006 (2006 : Vienna, Austria), eds. Compiler construction: 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings. Berlin: Springer, 2006.
Знайти повний текст джерелаRastislav, Bodik, and ETAPS 2005 (2005 : Edinburgh, Scotland), eds. Compiler construction: 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings. Berlin: Springer, 2005.
Знайти повний текст джерелаЧастини книг з теми "Compiler theory"
Séroul, Raymond. "Elements of compiler theory." In Universitext, 359–422. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-642-57129-9_13.
Повний текст джерелаTeufel, Bernd, Stephanie Schmidt, and Thomas Teufel. "General Remarks on Compiler Theory." In C2 Compiler Concepts, 1–8. Vienna: Springer Vienna, 1993. http://dx.doi.org/10.1007/978-3-7091-9274-0_1.
Повний текст джерелаSimons, Barbara. "Parallelism, Compiler Optimization, and Deterministic Scheduling Theory." In Opportunities and Constraints of Parallel Computing, 131–34. New York, NY: Springer US, 1989. http://dx.doi.org/10.1007/978-1-4613-9668-0_33.
Повний текст джерелаNa, Wang, and Wu YuePing. "Innovation of Compiler Theory Course for CDIO." In Lecture Notes in Electrical Engineering, 2315–20. Dordrecht: Springer Netherlands, 2013. http://dx.doi.org/10.1007/978-94-007-7618-0_284.
Повний текст джерелаKorn, Granino A. "A Simulation-Model Compiler for All Seasons." In Modeling and Simulation: Theory and Practice, 127–44. Boston, MA: Springer US, 2003. http://dx.doi.org/10.1007/978-1-4615-0235-7_12.
Повний текст джерелаGuedes, Luiz Carlos Castro, Edward Hermann Haeusler, and José Lucas Rangel. "Object Oriented Semantics Directed Compiler Generation: A prototype." In TAPSOFT '95: Theory and Practice of Software Development, 807–8. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59293-8_244.
Повний текст джерелаAgrawal, Shashank, Divya Gupta, Hemanta K. Maji, Omkant Pandey, and Manoj Prabhakaran. "A Rate-Optimizing Compiler for Non-malleable Codes Against Bit-Wise Tampering and Permutations." In Theory of Cryptography, 375–97. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-46494-6_16.
Повний текст джерелаGjøsæter, Terje, and Andreas Prinz. "Teaching Computer Language Handling - From Compiler Theory to Meta-modelling." In Lecture Notes in Computer Science, 446–60. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18023-1_14.
Повний текст джерелаPettersson, Mikael. "A term pattern-match compiler inspired by finite automata theory." In Lecture Notes in Computer Science, 258–70. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55984-1_24.
Повний текст джерелаTakashima, Katsuyuki. "Post-Quantum Constant-Round Group Key Exchange from Static Assumptions." In International Symposium on Mathematics, Quantum Theory, and Cryptography, 251–72. Singapore: Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-5191-8_18.
Повний текст джерелаТези доповідей конференцій з теми "Compiler theory"
Sahai, Amit. "An information-theoretic protocol compiler." In 2012 IEEE Information Theory Workshop (ITW 2012). IEEE, 2012. http://dx.doi.org/10.1109/itw.2012.6404657.
Повний текст джерелаdel Vado Vírseda, Rafael. "Learning Compiler Design: From the Implementation to Theory." In ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3456565.3460041.
Повний текст джерелаStamenkovia, Sreako, and Nenad Jovanovia. "Improving Participation and Learning of Compiler Theory Using Educational Simulators." In 2021 25th International Conference on Information Technology (IT). IEEE, 2021. http://dx.doi.org/10.1109/it51528.2021.9390132.
Повний текст джерелаAho, Alfred V. "Computational thinking in programming language and compiler design (keynote)." In STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3406325.3465350.
Повний текст джерелаLin, Meifeng, Eric Papenhausen, M. Harper Langston, Benoit Meister, Muthu Baskaran, Taku Izubuchi, and Chulwoo Jung. "Optimizing the domain wall fermion Dirac operator using the R-Stream source-to-source compiler." In The 33rd International Symposium on Lattice Field Theory. Trieste, Italy: Sissa Medialab, 2016. http://dx.doi.org/10.22323/1.251.0022.
Повний текст джерелаDing, Yufei, Lin Ning, Hui Guan, and Xipeng Shen. "Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction." In PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3062341.3062377.
Повний текст джерелаMorisset, Robin, Pankaj Pawan, and Francesco Zappa Nardelli. "Compiler testing via a theory of sound optimisations in the C11/C++11 memory model." In the 34th ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2491956.2491967.
Повний текст джерелаWard, A. C., and W. P. Seering. "Quantitative Inference in a Mechanical Design “Compiler”." In ASME 1989 Design Technical Conferences. American Society of Mechanical Engineers, 1989. http://dx.doi.org/10.1115/detc1989-0011.
Повний текст джерела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.
Повний текст джерелаSouza Junior, João Lourenço, Davi De Oliveira, Victor Praxedes, and Dennys Simiao. "WebAssembly potentials: A performance analysis on desktop environment and opportunities for discussions to its application on CPS environment." In Simpósio Brasileiro de Engenharia de Sistemas Computacionais. Sociedade Brasileira de Computação, 2020. http://dx.doi.org/10.5753/sbesc_estendido.2020.13104.
Повний текст джерелаЗвіти організацій з теми "Compiler theory"
Roldán-González, Elizabeth, Carolina Robledo-Castro, Piedad Rocío Lerma-Castaño, and María Luisa Hurtado-Otero. Validity and reliability of the Wolf Motor Function Test -WMFT in patients with Cerebrovascular disease: Scoping review. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, October 2022. http://dx.doi.org/10.37766/inplasy2022.10.0044.
Повний текст джерелаMorrison, Dawn, and Adam Smith. Fort Huachuca history of development : existing reports and contexts. Engineer Research and Development Center (U.S.), January 2021. http://dx.doi.org/10.21079/11681/39479.
Повний текст джерелаGo, Eugenia, Sam Hill, Maria Hanna Jaber, Yothin Jinjarak, Donghyun Park, and Anton Ragos. Developing Asia’s Fiscal Landscape and Challenges. Asian Development Bank, June 2022. http://dx.doi.org/10.22617/wps220267-2.
Повний текст джерелаHrynick, Tabitha, and Olivia Tulloch. Roundtable Report: Health and Food Insecurity Crisis in the Greater Horn of Africa. Session 1 - Regional Focus. September 2022. SSHAP, November 2022. http://dx.doi.org/10.19088/sshap.2022.040.
Повний текст джерелаGupta, Aditya, Aaron Simkovich, and Deanna Hall. Sanitization of footwear and textiles for eradication of causal agents of superficial fungal infections: protocol for a systematic review. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, November 2021. http://dx.doi.org/10.37766/inplasy2021.11.0070.
Повний текст джерелаWalker, Philip. Library Impact Practice Brief: Assessing Library Information Services and Demonstrating Value through the Tailored Design Method. Association of Research Libraries, November 2022. http://dx.doi.org/10.29242/report.vanderbilt2022.
Повний текст джерелаBarker, Amanda, Jay Clausen, Thomas Douglas, Anthony Bednar, Christopher Griggs, and William Martin. Environmental impact of metals resulting from military training activities : a review. Engineer Research and Development Center (U.S.), February 2022. http://dx.doi.org/10.21079/11681/43348.
Повний текст джерелаBoettcher, Seth J., Courtney Gately, Alexandra L. Lizano, Alexis Long, and Alexis Yelvington. Part 3: Case Study Appendices to the Technical Reports. Edited by Gabriel Eckstein. Texas A&M University School of Law Program in Natural Resources Systems, May 2020. http://dx.doi.org/10.37419/eenrs.brackishgroundwater.p3.
Повний текст джерелаBoettcher, Seth J., Courtney Gately, Alexandra L. Lizano, Alexis Long, and Alexis Yelvington. Part 2: Water Recycling Technical Report for Direct Non-Potable Use. Edited by Gabriel Eckstein. Texas A&M University School of Law Program in Natural Resources Systems, May 2020. http://dx.doi.org/10.37419/eenrs.brackishgroundwater.p2.
Повний текст джерелаBoettcher, Seth J., Courtney Gately, Alexandra L. Lizano, Alexis Long, and Alexis Yelvington. Part 1: Brackish Groundwater Desalination Technical Report. Edited by Gabriel Eckstein. Texas A&M University School of Law Program in Natural Resources Systems, May 2020. http://dx.doi.org/10.37419/eenrs.brackishgroundwater.p1.
Повний текст джерела