Literatura académica sobre el tema "Compiler theory"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Compiler theory".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Compiler theory"
Zubkov, Kirill. "From the Compiler". Novoe literaturnoe obozrenie, n.º 5 (2022): 11–16. http://dx.doi.org/10.53953/08696365_2022_177_5_11.
Texto completoBugaeva, Lyubov. "From the Compiler". Novoe literaturnoe obozrenie, n.º 4 (2022): 27–30. http://dx.doi.org/10.53953/08696365_2022_176_4_27.
Texto completoSong, Qiang, Chun Yu Peng, Hong Gang Zhou y Shou Biao Tan. "Time Delay Model for SRAM Compiler". Applied Mechanics and Materials 373-375 (agosto de 2013): 1561–66. http://dx.doi.org/10.4028/www.scientific.net/amm.373-375.1561.
Texto completoEvans, D. J. y M. N. Sulaiman. "Neucomp—a neural network compiler". International Journal of Computer Mathematics 53, n.º 1-2 (enero de 1994): 29–44. http://dx.doi.org/10.1080/00207169408804312.
Texto completoHARDIN, THÉRÈSE, LUC MARANGET y BRUNO PAGANO. "Functional runtime systems within the lambda-sigma calculus". Journal of Functional Programming 8, n.º 2 (marzo de 1998): 131–76. http://dx.doi.org/10.1017/s0956796898002986.
Texto completoBohli, Jens-Matthias, María I. González Vasco y Rainer Steinwandt. "Building Group Key Establishment on Group Theory: A Modular Approach". Symmetry 12, n.º 2 (30 de enero de 2020): 197. http://dx.doi.org/10.3390/sym12020197.
Texto completoHsu, Shuo-Huan, Balachandra Krishnamurthy, Prathima Rao, Chunhua Zhao, Suresh Jagannathan y Venkat Venkatasubramanian. "A domain-specific compiler theory based framework for automated reaction network generation". Computers & Chemical Engineering 32, n.º 10 (octubre de 2008): 2455–70. http://dx.doi.org/10.1016/j.compchemeng.2008.01.007.
Texto completoLi, Mingzhen, Yi Liu, Xiaoyan Liu, Qingxiao Sun, Xin You, Hailong Yang, Zhongzhi Luan, Lin Gan, Guangwen Yang y Depei Qian. "The Deep Learning Compiler: A Comprehensive Survey". IEEE Transactions on Parallel and Distributed Systems 32, n.º 3 (1 de marzo de 2021): 708–27. http://dx.doi.org/10.1109/tpds.2020.3030548.
Texto completoZhu, Genjiang, Li Xie y Zhongxiu Sun. "NUAPC: A parallelizing compiler for C++". Journal of Computer Science and Technology 12, n.º 5 (septiembre de 1997): 458–69. http://dx.doi.org/10.1007/bf02943177.
Texto completoSheng, Li y Z. B. Dai. "Research on the Maritime Communication Cryptographic Chip’s Compiler Optimization". Polish Maritime Research 24, s2 (28 de agosto de 2017): 60–65. http://dx.doi.org/10.1515/pomr-2017-0065.
Texto completoTesis sobre el tema "Compiler theory"
Concepcion, Rowen. "Introducing Non-Determinism to the Parallel C Compiler". CSUSB ScholarWorks, 2014. https://scholarworks.lib.csusb.edu/etd/22.
Texto completoWard, 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.
Texto completoNgô, 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.
Texto completoLerner, 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.
Texto completoElms, Kim. "Debugging optimised code using function interpretation". Thesis, Queensland University of Technology, 1999.
Buscar texto completoCastelluccia, Claude. "Generation automatique d'implementation optimisees de protocoles". Nice, 1996. http://www.theses.fr/1996NICE4957.
Texto completoHernandez, 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.
Texto completoDynamically 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.
Texto completoNelson, Andrew P. "Funqual: User-Defined, Statically-Checked Call Graph Constraints in C++". DigitalCommons@CalPoly, 2018. https://digitalcommons.calpoly.edu/theses/1848.
Texto completoAtterving, 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.
Texto completoLibros sobre el tema "Compiler theory"
Barrett, William A. Compiler construction: Theory and practice. 2a ed. Chicago: Science Research Associates, 1985.
Buscar texto completoCompiler design: Theory, tools, and examples. Dubuque, Iowa: W.C. Brown Publishers,c, 1994.
Buscar texto completoJean Paul Tremblay - undifferentiated. The theory and practice of compiler writing. Hyderabad [India]: BS Publications, 2008.
Buscar texto completoG, Sorenson P., ed. The theory and practice of compiler writing. New York: McGraw-Hill, 1985.
Buscar texto completoPittman, Thomas. The art of compiler design: Theory and practice. Englewood Cliffs, NJ: Prentice Hall, 1992.
Buscar texto completoA Small C compiler: Language, usage, theory, and design. Redwood City, Calif: M&T Pub., 1988.
Buscar texto completoButler, 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.
Buscar texto completoButler, 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.
Buscar texto completoAlan, Mycroft, Zeller Andreas y 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.
Buscar texto completoRastislav, Bodik y 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.
Buscar texto completoCapítulos de libros sobre el tema "Compiler theory"
Séroul, Raymond. "Elements of compiler theory". En Universitext, 359–422. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-642-57129-9_13.
Texto completoTeufel, Bernd, Stephanie Schmidt y Thomas Teufel. "General Remarks on Compiler Theory". En C2 Compiler Concepts, 1–8. Vienna: Springer Vienna, 1993. http://dx.doi.org/10.1007/978-3-7091-9274-0_1.
Texto completoSimons, Barbara. "Parallelism, Compiler Optimization, and Deterministic Scheduling Theory". En 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.
Texto completoNa, Wang y Wu YuePing. "Innovation of Compiler Theory Course for CDIO". En Lecture Notes in Electrical Engineering, 2315–20. Dordrecht: Springer Netherlands, 2013. http://dx.doi.org/10.1007/978-94-007-7618-0_284.
Texto completoKorn, Granino A. "A Simulation-Model Compiler for All Seasons". En 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.
Texto completoGuedes, Luiz Carlos Castro, Edward Hermann Haeusler y José Lucas Rangel. "Object Oriented Semantics Directed Compiler Generation: A prototype". En 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.
Texto completoAgrawal, Shashank, Divya Gupta, Hemanta K. Maji, Omkant Pandey y Manoj Prabhakaran. "A Rate-Optimizing Compiler for Non-malleable Codes Against Bit-Wise Tampering and Permutations". En Theory of Cryptography, 375–97. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-46494-6_16.
Texto completoGjøsæter, Terje y Andreas Prinz. "Teaching Computer Language Handling - From Compiler Theory to Meta-modelling". En 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.
Texto completoPettersson, Mikael. "A term pattern-match compiler inspired by finite automata theory". En Lecture Notes in Computer Science, 258–70. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55984-1_24.
Texto completoTakashima, Katsuyuki. "Post-Quantum Constant-Round Group Key Exchange from Static Assumptions". En 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.
Texto completoActas de conferencias sobre el tema "Compiler theory"
Sahai, Amit. "An information-theoretic protocol compiler". En 2012 IEEE Information Theory Workshop (ITW 2012). IEEE, 2012. http://dx.doi.org/10.1109/itw.2012.6404657.
Texto completodel Vado Vírseda, Rafael. "Learning Compiler Design: From the Implementation to Theory". En 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.
Texto completoStamenkovia, Sreako y Nenad Jovanovia. "Improving Participation and Learning of Compiler Theory Using Educational Simulators". En 2021 25th International Conference on Information Technology (IT). IEEE, 2021. http://dx.doi.org/10.1109/it51528.2021.9390132.
Texto completoAho, Alfred V. "Computational thinking in programming language and compiler design (keynote)". En 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.
Texto completoLin, Meifeng, Eric Papenhausen, M. Harper Langston, Benoit Meister, Muthu Baskaran, Taku Izubuchi y Chulwoo Jung. "Optimizing the domain wall fermion Dirac operator using the R-Stream source-to-source compiler". En The 33rd International Symposium on Lattice Field Theory. Trieste, Italy: Sissa Medialab, 2016. http://dx.doi.org/10.22323/1.251.0022.
Texto completoDing, Yufei, Lin Ning, Hui Guan y Xipeng Shen. "Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction". En 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.
Texto completoMorisset, Robin, Pankaj Pawan y Francesco Zappa Nardelli. "Compiler testing via a theory of sound optimisations in the C11/C++11 memory model". En the 34th ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2491956.2491967.
Texto completoWard, A. C. y W. P. Seering. "Quantitative Inference in a Mechanical Design “Compiler”". En ASME 1989 Design Technical Conferences. American Society of Mechanical Engineers, 1989. http://dx.doi.org/10.1115/detc1989-0011.
Texto completoAmaral, José Nelson, Christopher Barton, Andrew C. Macdonell y Matthew McNaughton. "Using the SGI Pro64 Open Source Compiler Infra-Structure for Teaching and Research". En 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.
Texto completoSouza Junior, João Lourenço, Davi De Oliveira, Victor Praxedes y Dennys Simiao. "WebAssembly potentials: A performance analysis on desktop environment and opportunities for discussions to its application on CPS environment". En Simpósio Brasileiro de Engenharia de Sistemas Computacionais. Sociedade Brasileira de Computação, 2020. http://dx.doi.org/10.5753/sbesc_estendido.2020.13104.
Texto completoInformes sobre el tema "Compiler theory"
Roldán-González, Elizabeth, Carolina Robledo-Castro, Piedad Rocío Lerma-Castaño y 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, octubre de 2022. http://dx.doi.org/10.37766/inplasy2022.10.0044.
Texto completoMorrison, Dawn y Adam Smith. Fort Huachuca history of development : existing reports and contexts. Engineer Research and Development Center (U.S.), enero de 2021. http://dx.doi.org/10.21079/11681/39479.
Texto completoGo, Eugenia, Sam Hill, Maria Hanna Jaber, Yothin Jinjarak, Donghyun Park y Anton Ragos. Developing Asia’s Fiscal Landscape and Challenges. Asian Development Bank, junio de 2022. http://dx.doi.org/10.22617/wps220267-2.
Texto completoHrynick, Tabitha y Olivia Tulloch. Roundtable Report: Health and Food Insecurity Crisis in the Greater Horn of Africa. Session 1 - Regional Focus. September 2022. SSHAP, noviembre de 2022. http://dx.doi.org/10.19088/sshap.2022.040.
Texto completoGupta, Aditya, Aaron Simkovich y 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, noviembre de 2021. http://dx.doi.org/10.37766/inplasy2021.11.0070.
Texto completoWalker, Philip. Library Impact Practice Brief: Assessing Library Information Services and Demonstrating Value through the Tailored Design Method. Association of Research Libraries, noviembre de 2022. http://dx.doi.org/10.29242/report.vanderbilt2022.
Texto completoBarker, Amanda, Jay Clausen, Thomas Douglas, Anthony Bednar, Christopher Griggs y William Martin. Environmental impact of metals resulting from military training activities : a review. Engineer Research and Development Center (U.S.), febrero de 2022. http://dx.doi.org/10.21079/11681/43348.
Texto completoBoettcher, Seth J., Courtney Gately, Alexandra L. Lizano, Alexis Long y Alexis Yelvington. Part 3: Case Study Appendices to the Technical Reports. Editado por Gabriel Eckstein. Texas A&M University School of Law Program in Natural Resources Systems, mayo de 2020. http://dx.doi.org/10.37419/eenrs.brackishgroundwater.p3.
Texto completoBoettcher, Seth J., Courtney Gately, Alexandra L. Lizano, Alexis Long y Alexis Yelvington. Part 2: Water Recycling Technical Report for Direct Non-Potable Use. Editado por Gabriel Eckstein. Texas A&M University School of Law Program in Natural Resources Systems, mayo de 2020. http://dx.doi.org/10.37419/eenrs.brackishgroundwater.p2.
Texto completoBoettcher, Seth J., Courtney Gately, Alexandra L. Lizano, Alexis Long y Alexis Yelvington. Part 1: Brackish Groundwater Desalination Technical Report. Editado por Gabriel Eckstein. Texas A&M University School of Law Program in Natural Resources Systems, mayo de 2020. http://dx.doi.org/10.37419/eenrs.brackishgroundwater.p1.
Texto completo