Literatura académica sobre el tema "Meta-programming"
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 "Meta-programming".
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 "Meta-programming"
Rodrı́guez Urı́a, M. Victoria, Rafael Caballero, Francisco Ruiz y Carlos Romero. "Meta-goal programming". European Journal of Operational Research 136, n.º 2 (enero de 2002): 422–29. http://dx.doi.org/10.1016/s0377-2217(00)00332-5.
Texto completovan Harmelen, Frank. "META'90: A Workshop on Meta-programming in Logic-programming". AI Communications 3, n.º 2 (1990): 80–81. http://dx.doi.org/10.3233/aic-1990-3206.
Texto completoThomas, Dave. "Refactoring as Meta Programming?" Journal of Object Technology 4, n.º 1 (2005): 7. http://dx.doi.org/10.5381/jot.2005.4.1.c1.
Texto completoDevriese, Dominique y Frank Piessens. "Typed syntactic meta-programming". ACM SIGPLAN Notices 48, n.º 9 (12 de noviembre de 2013): 73–86. http://dx.doi.org/10.1145/2544174.2500575.
Texto completoBowman, William J., Swaha Miller, Vincent St-Amour y R. Kent Dybvig. "Profile-guided meta-programming". ACM SIGPLAN Notices 50, n.º 6 (7 de agosto de 2015): 403–12. http://dx.doi.org/10.1145/2813885.2737990.
Texto completoStump, Aaron. "Directly reflective meta-programming". Higher-Order and Symbolic Computation 22, n.º 2 (4 de enero de 2008): 115–44. http://dx.doi.org/10.1007/s10990-007-9022-0.
Texto completoCaballero, Rafael, Francisco Ruiz, M. Victoria Rodríguez Uría y Carlos Romero. "Interactive meta-goal programming". European Journal of Operational Research 175, n.º 1 (noviembre de 2006): 135–54. http://dx.doi.org/10.1016/j.ejor.2005.04.040.
Texto completoStump, Aaron. "Imperative LF Meta-Programming". Electronic Notes in Theoretical Computer Science 199 (febrero de 2008): 149–59. http://dx.doi.org/10.1016/j.entcs.2007.11.017.
Texto completoBRY, FRANÇOIS. "In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming". Theory and Practice of Logic Programming 20, n.º 1 (25 de febrero de 2019): 99–146. http://dx.doi.org/10.1017/s1471068419000024.
Texto completoSheard, Tim y Simon Peyton Jones. "Template meta-programming for Haskell". ACM SIGPLAN Notices 37, n.º 12 (diciembre de 2002): 60–75. http://dx.doi.org/10.1145/636517.636528.
Texto completoTesis sobre el tema "Meta-programming"
Eshghi, Kave. "Meta-language in logic programming". Thesis, Imperial College London, 1987. http://hdl.handle.net/10044/1/38302.
Texto completoMabrouk, Emad Hamdy Ahmed. "Meta-Heuristics Programming and Its Applications". 京都大学 (Kyoto University), 2011. http://hdl.handle.net/2433/142132.
Texto completoLynagh, Ian. "Soft types for template meta-programming". Thesis, University of Oxford, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.442604.
Texto completoBowers, Antony Francis. "Effective meta-programming in declarative languages". Thesis, University of Bristol, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263891.
Texto completoCarpenter, Steven M. "Visual meta-programming language graphical user interface for generative programming". Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02sep%5FCarpenter.pdf.
Texto completoThesis advisor(s): Mikhail Auguston, Richard Riehle. Includes bibliographical references (p. 89). Also available online.
Pasalic, Emir. "The role of type equality in meta-programming /". Full text open access at:, 2004. http://content.ohsu.edu/u?/etd,216.
Texto completoLu, Anthony (Anthony S. ). "Venture : an extensible platform for probabilistic meta-programming". Thesis, Massachusetts Institute of Technology, 2016. http://hdl.handle.net/1721.1/113160.
Texto completoThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 63-64).
This thesis describes Venture, an extensible platform for probabilistic meta-programming. In Venture, probabilistic generative models, probability density functions, and probabilistic inference algorithms are all first-class objects. Any Venture program that makes random choices can be treated as a probabilistic model defined over the space of possible executions of the program. Such probabilistic model programs can also be run while recording the random choices that they make. Modeling and inference in Venture involves two additional classes of probabilistic programs. The first, probability density meta-programs partially describe the input-output behavior of probabilistic model programs. The second, stochastic inference meta-programs identify probable executions of model programs given stochastic constraints, and typically use density meta-programs as guides. Unlike other probabilistic programming platforms, Venture allows model programs, density meta-programs, and inference meta-programs to be written as user-space code in a single probabilistic programming language. Venture is essentially a Lisp-like higher-order language augmented with two novel abstractions: (i) probabilistic execution traces, a first-class object that represents the sequence of random choices that a probabilistic program makes, and (ii) stochastic procedures, which encapsulate the probabilistic programs and meta-programs needed to allow simple probability distributions, user-space VentureScript programs, and foreign probabilistic programs to be treated uniformly as components of probabilistic computations. Venture also provides runtime support for stochastic regeneration of execution trace fragments that makes use of the programs and meta-programs of all stochastic procedures invoked during the execution of the original traced program. This thesis describes a new prototype implementation of Venture incorporating these ideas and illustrates the flexibility of Venture by giving concise user-space implementations of primitives and inference strategies that have been built in to Church as well as other probabilistic languages.
by Anthony Lu.
M. Eng.
Yalcinalp, L. Umit. "Meta-programming for knowledge-based systems in Prolog". Case Western Reserve University School of Graduate Studies / OhioLINK, 1991. http://rave.ohiolink.edu/etdc/view?acc_num=case1055947333.
Texto completoDoan, Thu Trang. "Meta-APL : a general language for agent programming". Thesis, University of Nottingham, 2014. http://eprints.nottingham.ac.uk/29286/.
Texto completoPettersson, Emil. "Meta-Interpretive Learning Versus Inductive Metalogic Programming : A Comparative Analysis in Inductive Logic Programming". Thesis, Uppsala universitet, Institutionen för informatik och media, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-393291.
Texto completoLibros sobre el tema "Meta-programming"
Jon, Pearce. Programming and meta-programming in scheme. New York: Springer, 1998.
Buscar texto completoPearce, Jon. Programming and Meta-Programming in Scheme. New York, NY: Springer New York, 1998.
Buscar texto completoPearce, Jon. Programming and Meta-Programming in Scheme. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-1682-7.
Texto completoPettorossi, A., ed. Meta-Programming in Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6.
Texto completoŠtuikys, Vytautas y Robertas Damaševičius. Meta-Programming and Model-Driven Meta-Program Development. London: Springer London, 2013. http://dx.doi.org/10.1007/978-1-4471-4126-6.
Texto completoŠtuikys, Vytautas. Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques. London: Springer London, 2013.
Buscar texto completoWilson, Walter Gene. Purelog I: pragmatic logic programming with meta-declarations. Ann Arbor, Mi: University Microfilms International, 1987.
Buscar texto completoFribourg, Laurent y Franco Turini, eds. Logic Program Synthesis and Transformation — Meta-Programming in Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58792-6.
Texto completoLeonard Kyaw Soe Aung Aye. Meta-interpreters in logic programming and their application to knowledge-based systems. Birmingham: University of Birmingham, 1990.
Buscar texto completoKlemm, Michael, Bronis R. de Supinski, Jannis Klinkenberg y Brandon Neth, eds. OpenMP in a Modern World: From Multi-device Support to Meta Programming. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-15922-0.
Texto completoCapítulos de libros sobre el tema "Meta-programming"
Grover, Deepak y Hanu Prateek Kunduru. "Meta Programming". En ES6 for Humans, 117–27. Berkeley, CA: Apress, 2017. http://dx.doi.org/10.1007/978-1-4842-2623-0_10.
Texto completoŠtuikys, Vytautas y Robertas Damaševičius. "Structural Heterogeneous Meta-Programming". En Advanced Information and Knowledge Processing, 79–92. London: Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-4126-6_5.
Texto completoGärdenfors, Peter. "Belief revision: A vade-mecum". En Meta-Programming in Logic, 1–10. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_1.
Texto completoCervesato, I. y G. F. Rossi. "Logic meta-programming facilities in 'LOG". En Meta-Programming in Logic, 148–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_10.
Texto completoBahgat, Reem. "The Pandora deadlock handler meta-level relation". En Meta-Programming in Logic, 162–76. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_11.
Texto completoBenkerimi, K. y P. M. Hill. "Object-oriented programming in Gödel: An experiment". En Meta-Programming in Logic, 177–91. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_12.
Texto completoSchreye, Danny y Bern Martens. "A sensible least Herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation". En Meta-Programming in Logic, 192–204. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_13.
Texto completoChristiansen, Henning. "A complete resolution method for logical meta-programming languages". En Meta-Programming in Logic, 205–19. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_14.
Texto completoBonatti, Piero A. "Model theoretic semantics for Demo". En Meta-Programming in Logic, 220–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_15.
Texto completoGiunchiglia, Fausto, Luciano Serafini y Alex Simpson. "Hierarchical meta-logics: Intuitions, proof theory and semantics". En Meta-Programming in Logic, 235–49. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_16.
Texto completoActas de conferencias sobre el tema "Meta-programming"
Cullen, Jamie S. "Evolutionary meta programming". En the first ACM/SIGEVO Summit. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1543834.1543847.
Texto completoShi, Rui, Chiyan Chen y Hongwei Xi. "Distributed meta-programming". En the 5th international conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1173706.1173743.
Texto completoDevriese, Dominique y Frank Piessens. "Typed syntactic meta-programming". En ICFP'13: ACM SIGPLAN International Conference on Functional Programming. New York, NY, USA: ACM, 2013. http://dx.doi.org/10.1145/2500365.2500575.
Texto completoBowman, William J., Swaha Miller, Vincent St-Amour y R. Kent Dybvig. "Profile-guided meta-programming". En PLDI '15: ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2737924.2737990.
Texto completoMeuth, Ryan J. "Meta-learning genetic programming". En the 12th annual conference comp. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1830761.1830882.
Texto completoMasliah, Ian, Marc Baboulin y Joel Falcou. "Meta-programming and Multi-stage Programming for GPGPUs". En 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC). IEEE, 2016. http://dx.doi.org/10.1109/mcsoc.2016.49.
Texto completoSheard, Tim y Simon Peyton Jones. "Template meta-programming for Haskell". En the ACM SIGPLAN workshop. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/581690.581691.
Texto completoNanevski, Aleksandar. "Meta-programming with names and necessity". En the seventh ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/581478.581498.
Texto completoChen, Chiyan y Hongwei Xi. "Meta-programming through typeful code representation". En the eighth ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2003. http://dx.doi.org/10.1145/944705.944730.
Texto completoFowler, Matthew y Brahm van Niekerk. "Meta-programming for the real world". En Companion to the 19th annual ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2004. http://dx.doi.org/10.1145/1028664.1028673.
Texto completoInformes sobre el tema "Meta-programming"
Auguston, Mikhail, Valdis Berzins y Barrett Bryant. Visual Meta-Programming Language. Fort Belvoir, VA: Defense Technical Information Center, enero de 2001. http://dx.doi.org/10.21236/ada529617.
Texto completoSnyder, Lawrence. CILK: A Multi-Threaded Programming System for Meta-Computers. Fort Belvoir, VA: Defense Technical Information Center, diciembre de 2001. http://dx.doi.org/10.21236/ada399574.
Texto completoGamalel-Din, Shehab A. y Leon J. Osterweil. ORBIT -- A Prototype Software Maintenance/Development Process Programming Meta-Environment. Fort Belvoir, VA: Defense Technical Information Center, octubre de 1989. http://dx.doi.org/10.21236/ada456865.
Texto completoGamalel-Din, Shehab A. y Leon J. Osterweil. ORBIT: A Prototype Software Maintenance/Development Process Programming Meta-Environment. Fort Belvoir, VA: Defense Technical Information Center, octubre de 1989. http://dx.doi.org/10.21236/ada606428.
Texto completo