Accedi

Bibliografie tematiche / Meta-programming / Articoli di riviste

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Meta-programming.

Articoli di riviste 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:

Vedi i top-50 articoli di riviste per l'attività di ricerca sul 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.

Vedi gli articoli di riviste di molte aree scientifiche e compila una bibliografia corretta.

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

11

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

12

Heintze, Nevin, Spiro Michaylov, Peter J. Stuckey, and Roland H. C. Yap. "Meta-programming in CLP(R)." Journal of Logic Programming 33, no. 3 (1997): 221–59. http://dx.doi.org/10.1016/s0743-1066(96)00145-8.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

13

JARZABEK, STAN, HONGYU ZHANG, SHEN RU, VU TUNG LAM, and ZHENXIN SUN. "ANALYSIS OF META-PROGRAMS: AN EXAMPLE." International Journal of Software Engineering and Knowledge Engineering 16, no. 01 (2006): 77–101. http://dx.doi.org/10.1142/s0218194006002689.

Testo completo

Abstract (sommario):

Meta-programs are generic, incomplete, adaptable programs that are instantiated at construction time to meet specific requirements. Templates and generative techniques are examples of meta-programming techniques. Understanding of meta-programs is more difficult than understanding of concrete, executable programs. Static and dynamic analysis methods have been applied to ease understanding of programs — can similar methods be used for meta-programs? In our projects, we build meta-programs with a meta-programming technique called XVCL. Meta-programs in XVCL are organized into a hierarchy of meta-

Gli stili APA, Harvard, Vancouver, ISO e altri

14

Umapathy, Karthikeyan, and Albert D. Ritzhaupt. "A Meta-Analysis of Pair-Programming in Computer Programming Courses." ACM Transactions on Computing Education 17, no. 4 (2017): 1–13. http://dx.doi.org/10.1145/2996201.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

15

Hu, Jason Z. S., and Brigitte Pientka. "A Dependent Type Theory for Meta-programming with Intensional Analysis." Proceedings of the ACM on Programming Languages 9, POPL (2025): 416–45. https://doi.org/10.1145/3704851.

Testo completo

Abstract (sommario):

In this paper, we introduce DeLaM, a dependent layered modal type theory which enables meta-programming in Martin-Löf type theory (MLTT) with recursion principles on open code. DeLaM includes three layers: the layer of static syntax objects of MLTT without any computation; the layer of pure MLTT with the computational behaviors; the meta-programming layer extends MLTT with support for quoting an open MLTT code object and composing and analyzing open code using recursion. We can also execute a code object at the meta-programming layer. The expressive power strictly increases as we move up in a

Gli stili APA, Harvard, Vancouver, ISO e altri

16

Christiansen, Henning, and Davide Martinenghi. "Symbolic constraints for meta-logic programming." Applied Artificial Intelligence 14, no. 4 (2000): 345–67. http://dx.doi.org/10.1080/088395100117034.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

17

Bowen, Kenneth A. "Meta-level programming and knowledge representation." New Generation Computing 3, no. 4 (1985): 359–83. http://dx.doi.org/10.1007/bf03037077.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

18

Gazagnaire, Thomas, and Anil Madhavapeddy. "Dynamics for ML using Meta-Programming." Electronic Notes in Theoretical Computer Science 264, no. 5 (2011): 3–21. http://dx.doi.org/10.1016/j.entcs.2011.06.002.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

19

Chen, Chiyan, and Hongwei Xi. "Meta-programming through typeful code representation." ACM SIGPLAN Notices 38, no. 9 (2003): 275–86. http://dx.doi.org/10.1145/944746.944730.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

20

Nanevski, Aleksandar. "Meta-programming with names and necessity." ACM SIGPLAN Notices 37, no. 9 (2002): 206–17. http://dx.doi.org/10.1145/583852.581498.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

21

Nozik, Alexander. "DataForge: Modular platform for data storage and analysis." EPJ Web of Conferences 177 (2018): 05003. http://dx.doi.org/10.1051/epjconf/201817705003.

Testo completo

Abstract (sommario):

DataForge is a framework for automated data acquisition, storage and analysis based on modern achievements of applied programming. The aim of the DataForge is to automate some standard tasks like parallel data processing, logging, output sorting and distributed computing. Also the framework extensively uses declarative programming principles via meta-data concept which allows a certain degree of meta-programming and improves results reproducibility.

Gli stili APA, Harvard, Vancouver, ISO e altri

22

Shahbari, Juhaina Awawdeh, Wajeeh Daher, Nimer Baya’a, and Otman Jaber. "Prospective Teachers’ Development of Meta-Cognitive Functions in Solving Mathematical-Based Programming Problems with Scratch." Symmetry 12, no. 9 (2020): 1569. http://dx.doi.org/10.3390/sym12091569.

Testo completo

Abstract (sommario):

Transformations, including symmetry and rotations, are important in solving mathematical problems. Meta-cognitive functions are considered critical in solving mathematical problems. In the current study, we examined prospective teachers’ use of meta-cognitive functions while solving mathematical-based programming problems in the Scratch environment. The study was conducted among 18 prospective teachers, who engaged in a sequence of mathematical problems that utilize Scratch. The data sources included video recordings and solution reports while they performed mathematical problems. The findings

Gli stili APA, Harvard, Vancouver, ISO e altri

23

Ridzuan, M. R. M., E. E. Hassan, A. R. Abdullah, and A. F. A. Kadir. "Sustainable Environmental Economic Dispatch Optimization with Hybrid Metaheuristic Modification." Indonesian Journal of Electrical Engineering and Computer Science 11, no. 1 (2018): 161. http://dx.doi.org/10.11591/ijeecs.v11.i1.pp161-168.

Testo completo

Abstract (sommario):

Today’s Economic Dispatch (ED) solutions are featured with environmental obligations. Hence, the significant objective functions contribute to cost minimization, lower emission and less total system losses. As an alternative, New Meta Heuristic Evolutionary Programming (NMEP) technique was proposed to optimize the individual ED problem categorized as Single Objective Environmental Economic Dispatch (SOEELD), developed from an integration of original Meta Heuristic Evolutionary Programming (Meta-EP) with Artificial Immune System (AIS) with new arrangement in the mutation and cloning processes.

Gli stili APA, Harvard, Vancouver, ISO e altri

24

M., R. M. Ridzuan, E. Hassan E., R. Abdullah A., and F. A. Kadir A. "Sustainable Environmental Economic Dispatch Optimization with Hybrid Metaheuristic Modification." Indonesian Journal of Electrical Engineering and Computer Science 11, no. 1 (2018): 161–68. https://doi.org/10.11591/ijeecs.v11.i1.pp161-168.

Testo completo

Abstract (sommario):

Today’s Economic Dispatch (ED) solutions are featured with environmental obligations. Hence, the significant objective functions contribute to cost minimization, lower emission and less total system losses. As an alternative, New Meta Heuristic Evolutionary Programming (NMEP) technique was proposed to optimize the individual ED problem categorized as Single Objective Environmental Economic Dispatch (SOEELD), developed from an integration of original Meta Heuristic Evolutionary Programming (Meta-EP) with Artificial Immune System (AIS) with new arrangement in the mutation and cloning proce

Gli stili APA, Harvard, Vancouver, ISO e altri

25

Yang, Changmo. "Meta-Analysis on the Effects of Programming Education using Educational Programming Languages." Journal of Korea Association of Information Education 18, no. 2 (2014): 317–24. http://dx.doi.org/10.14352/jkaie.2014.18.2.317.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

26

van den Bos, Jeroen, Mark Hills, Paul Klint, Tijs van der Storm, and Jurgen J. Vinju. "Rascal: From Algebraic Specification to Meta-Programming." Electronic Proceedings in Theoretical Computer Science 56 (June 29, 2011): 15–32. http://dx.doi.org/10.4204/eptcs.56.2.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

27

Mens, Tom, Roel Wuyts, Kris De Volder, and Kim Mens. "Declarative Meta Programming to Support Software Development." ACM SIGSOFT Software Engineering Notes 28, no. 2 (2003): 1. http://dx.doi.org/10.1145/638750.638770.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

28

Harper, Robert. "Mechanizing the meta-theory of programming languages." ACM SIGPLAN Notices 40, no. 9 (2005): 240. http://dx.doi.org/10.1145/1090189.1086396.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

29

Susungi, Adilla, Norman A. Rink, Albert Cohen, Jeronimo Castrillon, and Claude Tadonki. "Meta-programming for cross-domain tensor optimizations." ACM SIGPLAN Notices 53, no. 9 (2020): 79–92. http://dx.doi.org/10.1145/3393934.3278131.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

30

Genito, Daniele, Giangiacomo Gerla, and Alessandro Vignes. "Meta-logic programming for a synonymy logic." Soft Computing 14, no. 3 (2009): 299–311. http://dx.doi.org/10.1007/s00500-009-0404-6.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

31

Klint, P. "A meta-environment for generating programming environments." ACM Transactions on Software Engineering and Methodology 2, no. 2 (1993): 176–201. http://dx.doi.org/10.1145/151257.151260.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

32

Wang, N., K. Parameswaran, D. Schmidt, and O. Othman. "Evaluating meta-programming mechanisms for ORB middleware." IEEE Communications Magazine 39, no. 10 (2001): 102–13. http://dx.doi.org/10.1109/35.956121.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

33

Sheard, Tim, and Emir Pasalic. "Meta-programming With Built-in Type Equality." Electronic Notes in Theoretical Computer Science 199 (February 2008): 49–65. http://dx.doi.org/10.1016/j.entcs.2007.11.012.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

34

Sterling, Leon, and Ümit Yalçinalp. "Logic Programming and Software engineering—implications for Software design." Knowledge Engineering Review 11, no. 4 (1996): 333–45. http://dx.doi.org/10.1017/s026988890000802x.

Testo completo

Abstract (sommario):

AbstractLogic programming is a programming paradigm with potential to contribute to software engineering. This paper is concerned with one dimension of that potential, the impact that experience with developing logic programs can have on software design. We present a logic programming perspective on programming patterns, systematic program development, design for provability, and the paradigm of meta-programming.

Gli stili APA, Harvard, Vancouver, ISO e altri

35

ROVENTA, EUGENE. "USING META-PROGRAMMING, CONSTRAINT LOGIC PROGRAMMING AND APPROXIMATE REASONING FOR EXPERT SYSTEMS DESIGN." International Journal of General Systems 28, no. 2-3 (1999): 243–58. http://dx.doi.org/10.1080/03081079908935237.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

36

Daher, Wajeeh, Nimer Baya’a, Otman Jaber, and Juhaina Awawdeh Shahbari. "A Trajectory for Advancing the Meta-Cognitive Solving of Mathematics-Based Programming Problems with Scratch." Symmetry 12, no. 10 (2020): 1627. http://dx.doi.org/10.3390/sym12101627.

Testo completo

Abstract (sommario):

It is the intention of the current study to suggest a trajectory for the advancement of prospective mathematics teachers’ use of meta-cognitive skills in solving mathematics-based programming problems with Scratch. Scratch is a code-based program that can be utilized in teaching various disciplines, especially geometry and its rich range of subjects such as the topic of symmetry. The present study suggests that advancing prospective teachers’ meta-cognitive skills in the Scratch environment could be done through problem solving and negotiations. The present paper analyzed the implementation of

Gli stili APA, Harvard, Vancouver, ISO e altri

37

WALAT, Wojciech. "DIDACTIC META-PROGRAMMING AS A HYPERMEDIA EDUCATIONAL SPACE." Journal of Technology and Information 3, no. 2 (2011): 5–9. http://dx.doi.org/10.5507/jtie.2011.017.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

38

Iovene, Valentin, Gaston E. Zanitti, and Demian Wassermann. "Complex Coordinate-Based Meta-Analysis with Probabilistic Programming." Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 1 (2021): 223–31. http://dx.doi.org/10.1609/aaai.v35i1.16096.

Testo completo

Abstract (sommario):

With the growing number of published functional magnetic resonance imaging (fMRI) studies, meta-analysis databases and models have become an integral part of brain mapping research. Coordinate-based meta-analysis (CBMA) databases are built by extracting both coordinates of reported peak activations and term associations using natural language processing techniques from neuroimaging studies. Solving term-based queries on these databases makes it possible to obtain statistical maps of the brain related to specific cognitive processes. However, existing tools for analysing CBMA data are limited i

Gli stili APA, Harvard, Vancouver, ISO e altri

39

Chen, Haiming, and Yunmei Dong. "Yet another meta-language for programming language processing." ACM SIGPLAN Notices 37, no. 6 (2002): 28–37. http://dx.doi.org/10.1145/571727.571733.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

40

Shinjo, Yasushi, and Yasushi Kiyoki. "A lightweight process facility supporting meta-level programming." Parallel Computing 22, no. 11 (1997): 1429–54. http://dx.doi.org/10.1016/s0167-8191(96)00045-2.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

41

Paakinaho, Ville, Erin E. Swinstead, Diego M. Presman, Lars Grøntved, and Gordon L. Hager. "Meta-analysis of Chromatin Programming by Steroid Receptors." Cell Reports 28, no. 13 (2019): 3523–34. http://dx.doi.org/10.1016/j.celrep.2019.08.039.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

42

Herrett-Skjellum, Jennifer, and Mike Allen. "Television Programming and Sex Stereotyping: A Meta-Analysis." Annals of the International Communication Association 19, no. 1 (1996): 157–86. http://dx.doi.org/10.1080/23808985.1996.11678930.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

43

Hannay, Jo E., Tore Dybå, Erik Arisholm, and Dag I. K. Sjøberg. "The effectiveness of pair programming: A meta-analysis." Information and Software Technology 51, no. 7 (2009): 1110–22. http://dx.doi.org/10.1016/j.infsof.2009.02.001.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

44

Nawaf A. Almolhis, Mohammed A. Alsubhi. "Analysis of End-User Mashup Application in Web applications." Tuijin Jishu/Journal of Propulsion Technology 44, no. 3 (2023): 2248–59. http://dx.doi.org/10.52783/tjjpt.v44.i3.686.

Testo completo

Abstract (sommario):

Mashup technologies that enable users to edit Web content are used to create end-user application development paradigms. It is not just a crucial technique that must be understood; it is also a crucial mechanism for developing effective end-user apps. It is recognised that consumers without computer programming experience can easily deploy and use mashup technology This paper describes research that aims to conduct an experiment to confirm this claim. Observable end-user application development requirements are also outlined, along with the research methodology and measuring techniques used to

Gli stili APA, Harvard, Vancouver, ISO e altri

45

Pearson, Jessica, George M. Tarabulsy, and Eve-Line Bussières. "Foetal programming and cortisol secretion in early childhood: A meta-analysis of different programming variables." Infant Behavior and Development 40 (August 2015): 204–15. http://dx.doi.org/10.1016/j.infbeh.2015.04.004.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

46

Wang, Zhen Qi, and Jin Chao Huang. "Using Meta-Programming Technology to Parse ipv6 Protocol Suite." Advanced Materials Research 846-847 (November 2013): 1418–22. http://dx.doi.org/10.4028/www.scientific.net/amr.846-847.1418.

Testo completo

Abstract (sommario):

As the ipv6 protocol stack constantly updated, more and more protocols let to compile parsing codes for each protocols individually is not only huge workload and easy to make mistakes, but also poor reusability and difficult to maintain. Addressed this situation, this paper proposes a method based on the technology of meta-programming to implement a flexible protocol stack parsing program with the ease of expansion and modification.

Gli stili APA, Harvard, Vancouver, ISO e altri

47

Kumar, Arun, and Supriya P. Panda. "Qualitative Neuro Linguistic Programming using Meta Modeling and Python." International Journal of Computer Applications 175, no. 26 (2020): 20–24. http://dx.doi.org/10.5120/ijca2020920804.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

48

Moussa, Ebrahim. "Allocation of Stratified Random Sample Using Meta Goal Programming." المجلة العلمیة لقطاع کلیات التجارة 19, no. 1 (2018): 114–42. http://dx.doi.org/10.21608/jsfc.2018.57119.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

49

Swastika Alwi Putri, Eka, Habibis Saleh, and Moh Danil Hendry Gamal. "Optimization of Portfolio Stock Selection with Meta Goal Programming." International Journal of Management and Fuzzy Systems 5, no. 2 (2019): 33. http://dx.doi.org/10.11648/j.ijmfs.20190502.11.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

50

Tratt, Laurence. "Domain specific language implementation via compile-time meta-programming." ACM Transactions on Programming Languages and Systems 30, no. 6 (2008): 1–40. http://dx.doi.org/10.1145/1391956.1391958.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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!