Готові списки джерел за темами / Meta-programming

Добірка наукової літератури з теми "Meta-programming"

Автор: Grafiati
Опубліковано: 4 червня 2021
Оновлено: 20 лютого 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Зміст

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Meta-programming".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Meta-programming"

1

Rodrı́guez Urı́a, M. Victoria, Rafael Caballero, Francisco Ruiz, and Carlos Romero. "Meta-goal programming." European Journal of Operational Research 136, no. 2 (January 2002): 422–29. http://dx.doi.org/10.1016/s0377-2217(00)00332-5.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

van Harmelen, Frank. "META'90: A Workshop on Meta-programming in Logic-programming." AI Communications 3, no. 2 (1990): 80–81. http://dx.doi.org/10.3233/aic-1990-3206.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Thomas, Dave. "Refactoring as Meta Programming?" Journal of Object Technology 4, no. 1 (2005): 7. http://dx.doi.org/10.5381/jot.2005.4.1.c1.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Devriese, Dominique, and Frank Piessens. "Typed syntactic meta-programming." ACM SIGPLAN Notices 48, no. 9 (November 12, 2013): 73–86. http://dx.doi.org/10.1145/2544174.2500575.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Bowman, William J., Swaha Miller, Vincent St-Amour, and R. Kent Dybvig. "Profile-guided meta-programming." ACM SIGPLAN Notices 50, no. 6 (August 7, 2015): 403–12. http://dx.doi.org/10.1145/2813885.2737990.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Stump, Aaron. "Directly reflective meta-programming." Higher-Order and Symbolic Computation 22, no. 2 (January 4, 2008): 115–44. http://dx.doi.org/10.1007/s10990-007-9022-0.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Caballero, Rafael, Francisco Ruiz, M. Victoria Rodríguez Uría, and Carlos Romero. "Interactive meta-goal programming." European Journal of Operational Research 175, no. 1 (November 2006): 135–54. http://dx.doi.org/10.1016/j.ejor.2005.04.040.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Stump, Aaron. "Imperative LF Meta-Programming." Electronic Notes in Theoretical Computer Science 199 (February 2008): 149–59. http://dx.doi.org/10.1016/j.entcs.2007.11.017.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

BRY, FRANÇOIS. "In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming." Theory and Practice of Logic Programming 20, no. 1 (February 25, 2019): 99–146. http://dx.doi.org/10.1017/s1471068419000024.

Повний текст джерела
Анотація:
AbstractProcessing programs as data is one of the successes of functional and logic programming. Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are called in logic programming, are widespread declarative programming techniques. In logic programming, there is a gap between the meta-programming practice and its theory: The formalizations of meta-programming do not explicitly address its impredicativity and are not fully adequate. This article aims at overcoming this unsatisfactory situation by discussing the relevance of impredicativity to meta-programming, by revisiting former formalizations of meta-programming, and by defining Reflective Predicate Logic, a conservative extension of first-order logic, which provides a simple formalization of meta-programming.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Sheard, Tim, and Simon Peyton Jones. "Template meta-programming for Haskell." ACM SIGPLAN Notices 37, no. 12 (December 2002): 60–75. http://dx.doi.org/10.1145/636517.636528.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "Meta-programming"

1

Eshghi, Kave. "Meta-language in logic programming." Thesis, Imperial College London, 1987. http://hdl.handle.net/10044/1/38302.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Mabrouk, Emad Hamdy Ahmed. "Meta-Heuristics Programming and Its Applications." 京都大学 (Kyoto University), 2011. http://hdl.handle.net/2433/142132.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Lynagh, Ian. "Soft types for template meta-programming." Thesis, University of Oxford, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.442604.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Bowers, Antony Francis. "Effective meta-programming in declarative languages." Thesis, University of Bristol, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263891.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

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

Повний текст джерела
Анотація:
Thesis (M.S. in Computer Science)--Naval Postgraduate School, September 2002.
Thesis advisor(s): Mikhail Auguston, Richard Riehle. Includes bibliographical references (p. 89). Also available online.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Pasalic, Emir. "The role of type equality in meta-programming /." Full text open access at:, 2004. http://content.ohsu.edu/u?/etd,216.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Lu, Anthony (Anthony S. ). "Venture : an extensible platform for probabilistic meta-programming." Thesis, Massachusetts Institute of Technology, 2016. http://hdl.handle.net/1721.1/113160.

Повний текст джерела
Анотація:
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.
This 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.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Doan, Thu Trang. "Meta-APL : a general language for agent programming." Thesis, University of Nottingham, 2014. http://eprints.nottingham.ac.uk/29286/.

Повний текст джерела
Анотація:
A key advantage of BDI-based agent programming is that agents can deliberate about which course of action to adopt to achieve a goal or respond to an event. However while state-of-the-art BDI-based agent programming languages provide flexible support for expressing plans, they are typically limited to a single, hard-coded, deliberation strategy(perhaps with some parameterisation) for all task environments. In this thesis, we describe a novel agent programming language, meta-APL, that allows both agent programs and the agent’s deliberation strategy to be encoded in the same programming language. Key steps in the execution cycle of meta-APL are reflected in the state of the agent and can be queried and updated by meta-APL rules, allowing a wide range of BDI deliberation strategies to be programmed. We give the syntax and the operational semantics of meta-APL, focussing on the connections between the agent’s state and its implementation. Finally, to illustrate the flexibility of meta-APL, we show how Jason and 3APL programs and deliberation strategy can be translated into meta-APL to give equivalent behaviour under weak bisimulation equivalence.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

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

Повний текст джерела
Анотація:
Artificial intelligence and machine learning are fields of research that have become very popular and are getting more attention in the media as our computational power increases and the theories and latest developments of these fields can be put into practice in the real world. The field of machine learning consists of different paradigms, two of which are the symbolic and connectionist paradigms. In 1991 it was pointed out by Minsky that we could benefit from sharing ideas between the paradigms instead of competing for dominance in the field. That is why this thesis is investigating two approaches to inductive logic programming, where the main research goals are to, first: find similarities or differences between the approaches and potential areas where cross-pollination could be beneficial, and secondly: investigate their relative performance to each other based on the results published in the research. The approaches investigated are Meta-Interpretive Learning and Inductive Metalogic Programming, which belong to the symbolic paradigm of machine learning. The research is conducted through a comparative study based on published research papers. The conclusion to the study suggests that at least two aspects of the approaches could potentially be shared between them, namely the reversible aspect of the meta-interpreter and restricting the hypothesis space using the Herbrand base. However, the findings regarding performance were deemed incompatible, in terms of a fair one to one comparison. The results of the study are mainly specific, but could be interpreted as motivation for similar collaboration efforts between different paradigms.
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Книги з теми "Meta-programming"

1

Jon, Pearce. Programming and meta-programming in scheme. New York: Springer, 1998.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Pearce, Jon. Programming and Meta-Programming in Scheme. New York, NY: Springer New York, 1998.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

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

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Pettorossi, A., ed. Meta-Programming in Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Štuikys, Vytautas, and 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Štuikys, Vytautas. Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques. London: Springer London, 2013.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Wilson, Walter Gene. Purelog I: pragmatic logic programming with meta-declarations. Ann Arbor, Mi: University Microfilms International, 1987.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Fribourg, Laurent, and 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Leonard Kyaw Soe Aung Aye. Meta-interpreters in logic programming and their application to knowledge-based systems. Birmingham: University of Birmingham, 1990.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Klemm, Michael, Bronis R. de Supinski, Jannis Klinkenberg, and 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "Meta-programming"

1

Grover, Deepak, and Hanu Prateek Kunduru. "Meta Programming." In ES6 for Humans, 117–27. Berkeley, CA: Apress, 2017. http://dx.doi.org/10.1007/978-1-4842-2623-0_10.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Štuikys, Vytautas, and Robertas Damaševičius. "Structural Heterogeneous Meta-Programming." In Advanced Information and Knowledge Processing, 79–92. London: Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-4126-6_5.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Gärdenfors, Peter. "Belief revision: A vade-mecum." In Meta-Programming in Logic, 1–10. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_1.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Cervesato, I., and G. F. Rossi. "Logic meta-programming facilities in 'LOG." In Meta-Programming in Logic, 148–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_10.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Bahgat, Reem. "The Pandora deadlock handler meta-level relation." In Meta-Programming in Logic, 162–76. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_11.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Benkerimi, K., and P. M. Hill. "Object-oriented programming in Gödel: An experiment." In Meta-Programming in Logic, 177–91. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_12.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Schreye, Danny, and Bern Martens. "A sensible least Herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation." In Meta-Programming in Logic, 192–204. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_13.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Christiansen, Henning. "A complete resolution method for logical meta-programming languages." In Meta-Programming in Logic, 205–19. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_14.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Bonatti, Piero A. "Model theoretic semantics for Demo." In Meta-Programming in Logic, 220–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_15.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Giunchiglia, Fausto, Luciano Serafini, and Alex Simpson. "Hierarchical meta-logics: Intuitions, proof theory and semantics." In Meta-Programming in Logic, 235–49. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_16.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Meta-programming"

1

Cullen, Jamie S. "Evolutionary meta programming." In the first ACM/SIGEVO Summit. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1543834.1543847.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Shi, Rui, Chiyan Chen, and Hongwei Xi. "Distributed meta-programming." In the 5th international conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1173706.1173743.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Devriese, Dominique, and Frank Piessens. "Typed syntactic meta-programming." In ICFP'13: ACM SIGPLAN International Conference on Functional Programming. New York, NY, USA: ACM, 2013. http://dx.doi.org/10.1145/2500365.2500575.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Bowman, William J., Swaha Miller, Vincent St-Amour, and R. Kent Dybvig. "Profile-guided meta-programming." In 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Meuth, Ryan J. "Meta-learning genetic programming." In the 12th annual conference comp. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1830761.1830882.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Masliah, Ian, Marc Baboulin, and Joel Falcou. "Meta-programming and Multi-stage Programming for GPGPUs." In 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.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Sheard, Tim, and Simon Peyton Jones. "Template meta-programming for Haskell." In the ACM SIGPLAN workshop. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/581690.581691.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Nanevski, Aleksandar. "Meta-programming with names and necessity." In the seventh ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/581478.581498.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Chen, Chiyan, and Hongwei Xi. "Meta-programming through typeful code representation." In the eighth ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2003. http://dx.doi.org/10.1145/944705.944730.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Fowler, Matthew, and Brahm van Niekerk. "Meta-programming for the real world." In Companion to the 19th annual ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2004. http://dx.doi.org/10.1145/1028664.1028673.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Meta-programming"

1

Auguston, Mikhail, Valdis Berzins, and Barrett Bryant. Visual Meta-Programming Language. Fort Belvoir, VA: Defense Technical Information Center, January 2001. http://dx.doi.org/10.21236/ada529617.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Snyder, Lawrence. CILK: A Multi-Threaded Programming System for Meta-Computers. Fort Belvoir, VA: Defense Technical Information Center, December 2001. http://dx.doi.org/10.21236/ada399574.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Gamalel-Din, Shehab A., and Leon J. Osterweil. ORBIT -- A Prototype Software Maintenance/Development Process Programming Meta-Environment. Fort Belvoir, VA: Defense Technical Information Center, October 1989. http://dx.doi.org/10.21236/ada456865.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Gamalel-Din, Shehab A., and Leon J. Osterweil. ORBIT: A Prototype Software Maintenance/Development Process Programming Meta-Environment. Fort Belvoir, VA: Defense Technical Information Center, October 1989. http://dx.doi.org/10.21236/ada606428.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Meta-programming" для конкретних типів джерел:
Статті в журналах Дисертації Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії