Suchergebnisse - "Meta Programming"

Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations

Autoren: Etemadi, Khashayar Harrand, Nicolas Larsén, Simon et al.

Quelle: IEEE Transactions on Dependable and Secure Computing. 20(4):2794-2810

Schlagwörter: automatic program repair, Codes, Computer bugs, Java, Maintenance engineering, metaprogramming, Software development management, Static analysis, Static code analysis, Syntactics, Codes (symbols), Computer software, Java programming language, Program debugging, Repair, Software design, Trees (mathematics), Automatic programs, Code, Meta Programming, Static analyzers, Static codes

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-323274
https://doi.org/10.1109/TDSC.2022.3167316

Higher-Order unification for free!: Reusing the meta-language unification for the object language: Reusing the meta-language unification for the object language

Autoren: Fissore, Davide Tassi, Enrico

Weitere Verfasser: Fissore, Davide Tassi, Enrico

Quelle: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming. :1-13

Schlagwörter: Logic Programming, [INFO] Computer Science [cs], Meta-Programming, Higher-Order Unification

Dateibeschreibung: application/pdf

Patterns for __host__ __device__ programming in Cuda

Autoren: Mejstrik, Thomas Woblistin, Sebastian

Quelle: Proceedings of the 29th European Conference on Pattern Languages of Programs, People, and Practices. :1-14

Schlagwörter: template meta programming C++, Cuda, 102029 Praktische Informatik, 102029 Practical computer science

Dateibeschreibung: application/pdf

Elpi: rule-based meta-language for Rocq

Autoren: Tassi, Enrico

Weitere Verfasser: Tassi, Enrico

Schlagwörter: Lambda-prolog, Coq, Elpi, [INFO] Computer Science [cs], Meta-Programming, Rocq

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-04990628v2
https://inria.hal.science/hal-04990628v1

Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation: A Composable and Functional API for Runtime SPIR-V Code Generation

Autoren: Fumero, Juan Rethy, György Stratikopoulos, Athanasios et al.

Quelle: Fumero Alfonso, J, Rethy, G, Stratikopoulos, A, Foutris, N & Kotselidis, C-E 2023, 'Beehive SPIR-V Toolkit : A Composable and Functional API for Runtime SPIR-V Code Generation'.
VMIL 2023: Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages
Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages

Schlagwörter: Library, API, Java, Metaprogramming, Runtime Code Generation, SPIR-V, Meta-programming

Dateibeschreibung: application/pdf; application/application/pdf

Zugangs-URL: https://research.manchester.ac.uk/en/publications/5b93eb4c-ab14-4396-ae17-d0342e046a35
https://pure.manchester.ac.uk/ws/files/275959161/main.pdf
https://research.manchester.ac.uk/en/publications/5b93eb4c-ab14-4396-ae17-d0342e046a35
http://hdl.handle.net/20.500.11850/645027

Skitter: A Distributed Stream Processing Framework with Pluggable Distribution Strategies

Autoren: Saey, Mathijs De Koster, Joeri De Meuter, Wolfgang et al.

Weitere Verfasser: Saey, Mathijs De Koster, Joeri De Meuter, Wolfgang et al.

Quelle: The Art, Science, and Engineering of Programming. 10

Schlagwörter: FOS: Computer and information sciences, meta-programming, Computer Science - Programming Languages, distributed programming, programming model, stream processing, Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2502.20538

Systematically Exploring High-Performance Representations of Vector Fields Through Compile-Time Composition

Autoren: Stephen Nicholas Swatman Ana-Lucia Varbanescu Andy Pimentel et al.

Quelle: Proceedings of the 2023 ACM/SPEC International Conference on Performance Engineering. :55-66

Schlagwörter: Benchmarking, Meta-programming, 0202 electrical engineering, electronic engineering, information engineering, CUDA, 02 engineering and technology, High-performance computing, Vector fields, Composition

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/11245.1/68640099-c720-4f76-b669-feb7c0a67e6c
https://doi.org/10.1145/3578244.3583723
https://dare.uva.nl/personal/pure/en/publications/systematically-exploring-highperformance-representations-of-vector-fields-through-compiletime-composition(68640099-c720-4f76-b669-feb7c0a67e6c).html

Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC)

Autoren: Haowei Deng Yuxiang Peng Michael Hicks et al.

Quelle: ACM Transactions on Quantum Computing. 4:1-29

Schlagwörter: meta-programming, 0103 physical sciences, 01 natural sciences, quantum computing

Dateibeschreibung: application/pdf

Modular language implementation in Rascal - experience report

Autoren: Basten, B. van den Bos, J. Hills, M. et al.

Quelle: Science of Computer Programming. 114:7-19

Schlagwörter: Language engineering, Compiler generators, Language workbench, Meta-programming, Modularity

Dateibeschreibung: electronic

Zugangs-URL: https://research.chalmers.se/publication/231012
http://dx.doi.org/10.1016/j.scico.2015.11.003

Bootstrapping a Compiler for an Equation-Based Object-Oriented Language

Autoren: Sjölund, Martin Fritzson, Peter Pop, Adrian

Quelle: Modeling, Identification and Control. 35(1):1-19

Schlagwörter: compilation, equation-based, object-oriented, meta-programming, modeling

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-104894
https://liu.diva-portal.org/smash/get/diva2:699889/FULLTEXT01.pdf

Analyses of a model-based real-time language embedded in C++

Autoren: Prastowo, Tadeus Palopoli, Luigi Abeni, Luca et al.

Quelle: Proceedings of the 35th Annual ACM Symposium on Applied Computing. :1330-1339

Schlagwörter: Active library, C++ template meta-programming (TMP), Embedded domain-specific language (EDSL), Generative programming, Real-time language, real-time language, embedded domain-specific language (EDSL), C++ template meta-programming (TMP), active library, generative programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/11572/256170
https://dl.acm.org/doi/10.1145/3341105.3373994
https://doi.org/10.1145/3341105.3373994
https://hdl.handle.net/11382/534939
https://doi.org/10.1145/3341105.3373994

Language-Based Techniques and Stochastic Models for Automated Testing

Autoren: Mista, Claudio Agustin, 1991

Quelle: Octopi: Säker Programering för Sakernas Internet WebSec: Säkerhet i webb-drivna system.

Schlagwörter: automated testing, software testing, stochastic methods, meta-programming, functional programming

Dateibeschreibung: electronic

Zugangs-URL: https://research.chalmers.se/publication/535733
https://research.chalmers.se/publication/535733/file/535733_Fulltext.pdf

The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea)

Autoren: Henniger, Simon Amin, Nada Simon Henniger and Nada Amin

Weitere Verfasser: Henniger, Simon Amin, Nada Simon Henniger and Nada Amin

Schlagwörter: extensible languages, meta programming, compilation, program generation, ddc:004, macros

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.41

Beehive SPIR-V Toolkit:A Composable and Functional API for Runtime SPIR-V Code Generation

Autoren: Fumero Alfonso, Juan Rethy, György Stratikopoulos, Athanasios et al.

Quelle: Fumero Alfonso, J, Rethy, G, Stratikopoulos, A, Foutris, N & Kotselidis, C-E 2023, 'Beehive SPIR-V Toolkit : A Composable and Functional API for Runtime SPIR-V Code Generation'.

Schlagwörter: API, Library, Java, Meta-programming, Runtime Code Generation, SPIR-V

Dateibeschreibung: application/pdf

Verfügbarkeit: https://research.manchester.ac.uk/en/publications/5b93eb4c-ab14-4396-ae17-d0342e046a35
https://pure.manchester.ac.uk/ws/files/275959161/main.pdf

Retrofitting Typestates into Rust

Autoren: Duarte, José Miguel Gonçalves Ravara, António RUN

Weitere Verfasser: Duarte, José Miguel Gonçalves Ravara, António RUN

Schlagwörter: Behavioral types, typestates, meta-programming, macros, Rust, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10362/158896

MetaModelica - A Symbolic-Numeric Modelica Language and Comparison to Julia

Autoren: Fritzson, Peter Pop, Adrian Sjölund, Martin et al.

Quelle: Linköping Electronic Conference Proceedings. 157:289-302

Schlagwörter: Datorsystem, 0209 industrial biotechnology, Modelica, meta-programming, language, Computer Systems, Julia, compilation, 0202 electrical engineering, electronic engineering, information engineering, symbolic, MetaModelica, 02 engineering and technology

Dateibeschreibung: application/pdf

Zugangs-URL: http://www.ep.liu.se/ecp/157/030/ecp19157030.pdf
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-154346

The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact)

Autoren: Henniger, Simon Amin, Nada Simon Henniger and Nada Amin

Weitere Verfasser: Henniger, Simon Amin, Nada Simon Henniger and Nada Amin

Schlagwörter: Software and its engineering → Language features, extensible languages, meta programming, compilation, program generation, ddc:004, macros, Software and its engineering → Compilers

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.13

Compositional Relational Programming with Name Projection and Compositional Synthesis

Autoren: Paçacı, Görkem McKeever, Steve Hamfelt, Andreas

Quelle: Perspectives of System Informatics Lecture Notes in Computer Science. :306-321

Schlagwörter: Logic programming, program synthesis, relational programming, programming languages, compositional programming, meta-programming, meta-interpreter, Information Systems, Informationssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-337285
https://uu.diva-portal.org/smash/get/diva2:1168847/FULLTEXT01.pdf

Meta-programming for cross-domain tensor optimizations

Autoren: Susungi, Adilla Rink, Norman Cohen, Albert et al.

Weitere Verfasser: Susungi, Adilla Rink, Norman Cohen, Albert et al.

Quelle: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. :79-92

Schlagwörter: meta-programming, tensor algebra, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], 0202 electrical engineering, electronic engineering, information engineering, code generation and optimization, 02 engineering and technology, denotational semantics

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal-mines-paristech.archives-ouvertes.fr/hal-01939656/file/A-694.pdf
https://minesparis-psl.hal.science/hal-01939656v1
https://doi.acm.org/10.1145/3278122.3278131
https://doi.org/10.1145/3393934.3278131
https://dblp.uni-trier.de/db/journals/sigplan/sigplan53.html#SusungiRCCT18
https://hal-mines-paristech.archives-ouvertes.fr/hal-01939656/document
https://hal-mines-paristech.archives-ouvertes.fr/hal-01939656
https://dl.acm.org/doi/10.1145/3393934.3278131

EspyInsideFunction.jl — extracting intermediate results from numerical functions

Autoren: Philippe Mainçon

Quelle: SoftwareX, Vol 19, Iss , Pp 101200- (2022)

Schlagwörter: Meta-programming, Julia language, Finite element analysis, Computer software, QA76.75-76.765

Dateibeschreibung: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2352711022001194; https://doaj.org/toc/2352-7110

Zugangs-URL: https://doaj.org/article/2c46b0773e824757b59042e24e2e1532