Bibliografie tematiche / Meta-programming

Indice

  1. Articoli di riviste
  2. Tesi
  3. Libri
  4. Capitoli di libri
  5. Atti di convegni
  6. Rapporti di organizzazioni

Letteratura scientifica selezionata sul tema "Meta-programming"

Autore: Grafiati
Pubblicato: 4 giugno 2021
Ultima modifica: 25 luglio 2025

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Meta-programming".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "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 (2002): 422–29. http://dx.doi.org/10.1016/s0377-2217(00)00332-5.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Testo completo
Abstract (sommario):
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 im
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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 (2006): 135–54. http://dx.doi.org/10.1016/j.ejor.2005.04.040.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

CHEN, CHIYAN, and HONGWEI XI. "Meta-programming through typeful code representation." Journal of Functional Programming 15, no. 6 (2005): 797–835. http://dx.doi.org/10.1017/s0956796805005617.

Testo completo
Abstract (sommario):
By allowing the programmer to write code that can generate code at run-time, meta-programming offers a powerful approach to program construction. For instance, meta-programming can often be employed to enhance program efficiency and facilitate the construction of generic programs. However, meta-programming, especially in an untyped setting, is notoriously error-prone. In this paper, we aim at making meta-programming less error-prone by providing a type system to facilitate the construction of correct meta-programs. We first introduce some code constructors for constructing typeful code represe
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Tesi sul tema "Meta-programming"

1

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
Thesis (M.S. in Computer Science)--Naval Postgraduate School, September 2002.<br>Thesis advisor(s): Mikhail Auguston, Richard Riehle. Includes bibliographical references (p. 89). Also available online.
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 63-64).<br>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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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 appr
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Libri sul tema "Meta-programming"

1

Harvey, Abramson, Rogers M. H. 1930-, and META88 (1988 : University of Bristol), eds. Meta-programming in logic programming. MIT Press, 1989.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Pearce, Jon. Programming and Meta-Programming in Scheme. Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-1682-7.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Štuikys, Vytautas, and Robertas Damaševičius. Meta-Programming and Model-Driven Meta-Program Development. Springer London, 2013. http://dx.doi.org/10.1007/978-1-4471-4126-6.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

1949-, Apt Krzysztof R., and Turini Franco 1949-, eds. Meta-logics and logic programming. MIT Press, 1995.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Fribourg, Laurent, and Franco Turini, eds. Logic Program Synthesis and Transformation — Meta-Programming in Logic. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58792-6.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Capitoli di libri sul tema "Meta-programming"

1

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Armbrüster, Julius, and Philipp Körner. "Meta-programming Event-B." In Rigorous State-Based Methods. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-63790-2_17.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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. Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_13.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Meta-programming"

1

Bock, Sebastian, Raphael Seidel, Matic Petrič, Nikolay Tcholtchev, Andreas Hoffmann, and Niklas Porges. "Designing a Meta-Model for the Eclipse Qrisp eDSL for High-Level Quantum Programming." In 13th International Conference on Model-Based Software and Systems Engineering. SCITEPRESS - Science and Technology Publications, 2025. https://doi.org/10.5220/0013121000003896.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Valero-Lara, Pedro, William F. Godoy, Het Mankad, et al. "JACC: Leveraging HPC Meta-Programming and Performance Portability with the Just-in-Time and LLVM-based Julia Language." In SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 2024. https://doi.org/10.1109/scw63240.2024.00245.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Loques, Orlando, Julius Leite, Marcelo Lobosco, and Alexandre Sztajnberg. "Towards Integrating Meta-Level Programming and Configuration Programming." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 1999. http://dx.doi.org/10.5753/sbes.1999.23931.

Testo completo
Abstract (sommario):
Configuration Programming, based on Architecture Description Languages, and Meta-Level Programming are considered promising approaches in the software engineering field. This paper shows that there is an immediate correspondence between some key concepts of Configuration Programming and Meta-Level Programming and that some of the main issues to be solved for their deployment in real systems are quite similar. The main proposition is that the integration of both approaches in a single configuration programming framework can assist in putting into practice meta-level programming in order to achi
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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. ACM, 2015. http://dx.doi.org/10.1145/2737924.2737990.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Meta-programming"

1

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi estesi di opere sul tema "Meta-programming":
Articoli di riviste Tesi Libri
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia