Filters








94,244 Hits in 5.2 sec

Meta-programming through typeful code representation

Chiyan Chen, Hongwei Xi
2003 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03  
We first introduce some code constructors for constructing typeful code representation in which program variables are replaced with deBruijn indices, and then formally demonstrate how such typeful code  ...  representation can be used to support meta-programming.  ...  Furthermore, we feel that the concrete code representation in λ code can be of great use in facilitating the understanding of meta-programming.  ... 
doi:10.1145/944705.944730 dblp:conf/icfp/ChenX03 fatcat:oarvat4ipnglzaz3loqhenkwhy

Meta-programming through typeful code representation

CHIYAN CHEN, HONGWEI XI
2005 Journal of functional programming  
We first introduce some code constructors for constructing typeful code representation in which program variables are replaced with deBruijn indices, and then formally demonstrate how such typeful code  ...  representation can be used to support meta-programming.  ...  Furthermore, we feel that the concrete code representation in λ code can be of great use in facilitating the understanding of meta-programming.  ... 
doi:10.1017/s0956796805005617 fatcat:2mocrq7jlbb3bnw32vfejdx3ay

Meta-programming through typeful code representation

Chiyan Chen, Hongwei Xi
2003 SIGPLAN notices  
We first introduce some code constructors for constructing typeful code representation in which program variables are replaced with deBruijn indices, and then formally demonstrate how such typeful code  ...  representation can be used to support meta-programming.  ...  Furthermore, we feel that the concrete code representation in λ code can be of great use in facilitating the understanding of meta-programming.  ... 
doi:10.1145/944746.944730 fatcat:azvu5fq3pfhffcrn26fzkj36pm

Leveraging .NET meta-programming components from F#

Don Syme
2006 Proceedings of the 2006 workshop on ML - ML '06  
Language-integrated meta-programming and extensible compilation have been recurring themes of programming languages since the invention of LISP.  ...  We also sketch two other applications: the execution of data-parallel quoted F# programs on a GPU via the Accelerator libraries, and dynamic native-code compilation via LINQ.  ...  Most other meta-programming research focuses on execution "within" a language implementation, through the use of code generation.  ... 
doi:10.1145/1159876.1159884 dblp:conf/ml/Syme06 fatcat:ji7kg4ofyrf33e4vkts4w47gay

MetaJC++: A flexible and automatic program transformation technique using meta framework

Nadera Beevi, M. Reghu, D. Chitraprasad, S. Vinodchandra
2014 Open Engineering  
Two intermediate representations have been used in between the translation of the source program to machine code.  ...  AbstractCompiler is a tool to translate abstract code containing natural language terms to machine code. Meta compilers are available to compile more than one languages.  ...  Related work The purpose of meta compiler is to translate a meta program such that target code executes identically as source code.  ... 
doi:10.2478/s13531-013-0161-2 fatcat:sjj6ppuhynanzkqfcplipf6xzy

Specialising the Ground Representation in the Logic Programming Language Gödel [chapter]

C. A. Gurr
1994 Logic Program Synthesis and Transformation  
meta-programs which use a nonground representation.  ...  The logic programming language Gödel is a declarative successor to Prolog. Gödel provides considerable support for meta-programming, in the form of a ground representation.  ...  Fortunately, through program specialisation, it is possible for a meta-program written without access to the symbols in the ground representation, to achieve the efficiency of one that has.  ... 
doi:10.1007/978-1-4471-3234-9_12 fatcat:fb3ervvh3bbipaj4463a37d53u

Behavioral similarity matching using concrete source code templates in logic queries

Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien
2007 Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '07  
Queries and patterns permit the identification of the parts of interest in a program's implementation through a representation dedicated to the intent of the system (e.g. call-graphs to detect behavioral  ...  flaws, abstract syntax trees for transformations, concrete source code to verify programming conventions, etc).  ...  Such behavioral information could be offered either by a meta model obtaining its information through a dynamic or through a static anal-ysis of the program under investigation.  ... 
doi:10.1145/1244381.1244398 dblp:conf/pepm/RooverDBND07 fatcat:q7w27yqtjng7bhdew4a52qax4y

A programming language independent framework for metrics-based software evolution and analysis

Crt Gerlec, Gordana Rakic, Zoran Budimac, Marjan Hericko
2012 Computer Science and Information Systems  
The data are stored in a central repository via enriched Concrete Syntax Tree (eCST) for universal source code representation. The framework is demonstrated in a case study.  ...  The significance of this consistency is growing today, when software projects are more complex, consisting of components developed in diverse programming languages.  ...  Work of the second and third author is partially supported by the Serbian Ministry of Science and Technological Development through project no.  ... 
doi:10.2298/csis120104026g fatcat:td4fecaczjd3bgnm5a47f2ldci

A Meta-model and Toolchain for Improved Interoperability of Robotic Frameworks [chapter]

Johannes Wienke, Arne Nordmann, Sebastian Wrede
2012 Lecture Notes in Computer Science  
We specifically address data type compatibility in a structured way through the development of a generic meta-model capable of representing data types from different frameworks and their relations.  ...  Based on this model a code generator emits serialization code which makes it possible to seamlessly reuse the existing data types of different frameworks.  ...  A compiler generates programming language types from these descriptions as well as frameworkspecific serialization code.  ... 
doi:10.1007/978-3-642-34327-8_30 fatcat:l2rc7z7lnnbypopijgdydzotmu

Typed syntactic meta-programming

Dominique Devriese, Frank Piessens
2013 SIGPLAN notices  
We present a novel set of meta-programming primitives for use in a dependently-typed functional language.  ...  We formalise the new meta-programming primitives, implement them as an extension of Agda, and provide evidence of usefulness by means of two compelling applications in the fields of datatype-generic programming  ...  Syntactic analysis of terms or general types is not supported. Other approaches to meta-programming with strong type safety are based on explicit typed representations of code.  ... 
doi:10.1145/2544174.2500575 fatcat:7bi6pljz3rcutnwdi2xnz6zrdi

Typed syntactic meta-programming

Dominique Devriese, Frank Piessens
2013 Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13  
We present a novel set of meta-programming primitives for use in a dependently-typed functional language.  ...  We formalise the new meta-programming primitives, implement them as an extension of Agda, and provide evidence of usefulness by means of two compelling applications in the fields of datatype-generic programming  ...  Syntactic analysis of terms or general types is not supported. Other approaches to meta-programming with strong type safety are based on explicit typed representations of code.  ... 
doi:10.1145/2500365.2500575 dblp:conf/icfp/DevrieseP13 fatcat:v3cztsz4inc2dbx3tig6gc5vdm

An EDSL approach to high performance Haskell programming

Johan Ankner, Josef David Svenningsson
2013 Proceedings of the 2013 ACM SIGPLAN symposium on Haskell - Haskell '13  
, better control over optimizations, simpler implementation of fusion and inlining and allows for moving type level programming down to value level programming in some cases.  ...  We also provide benchmarks showing that meta-repa is as fast, or faster, than repa.  ...  We would like to thank the members of the functional programming group at Chalmers who gave us valuable feedback during a presentation of meta-repa.  ... 
doi:10.1145/2503778.2503789 dblp:conf/haskell/AnknerS13 fatcat:47thgd52zvhylny7ecqz24bare

Language-independent detection of object-oriented design patterns

Johan Fabry, Tom Mens
2004 Computer languages, systems & structures  
This paper shows that one can reason at a meta level about the structure of objectoriented source code in a language-independent way.  ...  To achieve this, we propose a language-independent meta-level interface to extract complex information about the structure of the source code.  ...  Through the use of logic meta-programming, where a logic meta language is used to reason about object-oriented base languages [3, 19] , we achieved language independence by separating language-independent  ... 
doi:10.1016/j.cl.2003.09.002 fatcat:ydfmlbbmefg3dnnperclpd4itu

Sub-Method Reflection

Marcus Denker, Stéphane Ducasse, Adrian Lienhard, Philippe Marschall
2007 Journal of Object Technology  
CHALLENGES FOR SUPPORTING SUB-METHOD REFLECTION To support the need of different tools such as a code browser, a code coverage tool or a refactoring engine, we need a representation that is extensible,  ...  In this paper we present Persephone, an efficient implementation of a sub-method meta-object protocol (MOP) based on AST annotations and dual methods (a compiled method and its meta-object) that reconcile  ...  In this paper we propose reflective methods which provide a high-level, extensible representation of method bodies accessible through a meta-object protocol (MOP).  ... 
doi:10.5381/jot.2007.6.9.a14 fatcat:75flanvhpvgxxdd6kgeooj4nta

Meta-metadata

Andruid Kerne, Yin Qu, Andrew M. Webb, Sashikanth Damaraju, Nic Lupfer, Abhinav Mathur
2010 Proceedings of the 19th ACM international conference on Information and knowledge management - CIKM '10  
We introduce meta-metadata, a language and software architecture addressing a metadata semantics lifecycle: (1) data structures for representation of metadata in programs; (2) metadata extraction from  ...  The architecture supports development of independent collection representation applications that reuse wrappers.  ...  Inheritance and Types An inheritance system promotes reuse of metadata classes through meta-metadata declarations.  ... 
doi:10.1145/1871437.1871580 dblp:conf/cikm/KerneQWDLM10 fatcat:tamcv6sjzvfurpa7d2axu46p4a
« Previous Showing results 1 — 15 out of 94,244 results