11,636 Hits in 5.3 sec

Generative metaprogramming

Salvador Trujillo, Maider Azanza, Oscar Diaz
2007 Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07  
To this end, we explore (i) the (meta) primitives for program synthesis, (ii) the architecture that dictates how these primitives can be intertwined, and (iii) the declarative specification of the metaprogram  ...  The traditional cycle of configuringlinking-compiling, now needs to be supplemented with additional transformation steps that refine and enhance an initial specification until the target program is obtained  ...  We thank him and the staff of Shady Grove restaurant for a pleasant and inspiring dinner. Felipe I. Anfurrutia also provides insightful comments to an early version of this work.  ... 
doi:10.1145/1289971.1289990 dblp:conf/gpce/TrujilloAD07 fatcat:lyex3kpdjbgyhjjhh57627ztem

A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach

Elhillali Kerkouche, El Bay Bourennane, Allaoua Chaoui
2018 e-Informatica Software Engineering Journal  
However, graphical modelling is better suited for visualizing system architecture.  ...  STARSoC (Synthesis Tool for Adaptive and Reconfigurable System-on-Chip) is a tool for hardware/software co-design and the synthesis of System-on-Chip (SoC) starting from a high level model using the StreamsC  ...  In order to obtain the automatic and correct process of the code generation, the authors propose to use an Acceleo template language to define and implement the transformation.  ... 
doi:10.5277/e-inf180101 dblp:journals/eInformatica/KerkoucheBC18 fatcat:j4nutpp63rabbgegk4xtrymeey

Using Algebra-Algorithmic and Term Rewriting Tools for Developing Efficient Parallel Programs

Anatoliy Doroshenko, Kostiantyn Zhereb, Olena Yatsenko
2013 International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications  
The term rewriting system supplements the algebra-algorithmic toolkit with facilities for transformation of the sequential and parallel algorithms, enabling their improvement.  ...  An approach to program design and synthesis using algebraalgorithmic specifications and rewriting rules techniques is proposed.  ...  Other options include graphical modeling languages [5] , [17] , formal specification languages [16] , ontologies [6] and algebraic specifications [3] .  ... 
dblp:conf/icteri/DoroshenkoZY13 fatcat:35yepsqk2fh3djjptbrvqhc2dy

Experiments with the LARA aspect-oriented approach

José G.F. Coutinho, Tiago Carvalho, Sérgio Durand, João M.P. Cardoso, Ricardo Nobre, Pedro C. Diniz, Wayne Luk
2012 Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion - AOSD Companion '12  
This demonstration presents a novel design-flow and aspect-oriented language called LARA [1], which is currently used to guide the mapping of high-level C application codes to heterogeneous high-performance  ...  Furthermore, we also explain how third-party tools, such as gprof, can be incorporated into the design-flow and aspect description, for instance, to affect the hardware/software partitioning process.  ...  The authors are grateful to all team members of the REFLECT project for their help and Carvalho and João the support of FCT (Portuguese Science Foundation) through the project AMADEUS (POCTI, PTDC/EIA/  ... 
doi:10.1145/2162110.2162129 dblp:conf/aosd/CoutinhoCDCNDL12 fatcat:7kzplftilfdy7jkr5kt4k4taoi

Speeding-up Logic Design and Refining Hardware EDA Flow by Exploring Chinese Character based Graphical Representation [article]

Shuangbai Xue, Yuan Xue
2020 arXiv   pre-print
It is convincing that the graphic non-pure-english based EDA flow could lower the design cost and complexity.  ...  First, a Chinese character based representation system (CCRS), which is used for presenting logical abstract syntax tree, is proposed.  ...  The work is based on C language and it utilizes a macro-based transformation language and implements a functional configuration specification language.  ... 
arXiv:2004.10675v1 fatcat:gmicgejt45hmzhthccvstr6jny

Leveraging Language to Learn Program Abstractions and Search Heuristics [article]

Catherine Wong and Kevin Ellis and Joshua B. Tenenbaum and Jacob Andreas
2022 arXiv   pre-print
We introduce LAPS (Language for Abstraction and Program Search), a technique for using natural language annotations to guide joint learning of libraries and neurally-guided search models for synthesis.  ...  Inductive program synthesis, or inferring programs from examples of desired behavior, offers a general paradigm for building interpretable, robust, and generalizable machine learning systems.  ...  Schulz and our anonymous reviewers for invaluable feedback. Supported by grants from the Air Force Office of Scientific Research, the NSF under Grant No.  ... 
arXiv:2106.11053v3 fatcat:no3vln7vdjfz5lmuanfjftvzra

Practical, Template-Based Natural Language Generation with TAG

Tilman Becker
2002 International Workshop on Tree Adjoining Grammars and Related Formalisms  
structure 3 as known from the Windows Explorer for the set of trees and a graphical tree editor for the TAG-trees. 4 Current work is centered around adding templates for new applications and has shown  ...  Then the use of fully specified templates is discussed in this context, including their use for concept-to-speech synthesis.  ... 
dblp:conf/tag/Becker02 fatcat:ourehab35bd5dmx7j6klrzry6q

Model-driven analysis and synthesis of textual concrete syntax

Pierre-Alain Muller, Frédéric Fondement, Franck Fleurey, Michel Hassenforder, Rémi Schnekenburger, Sébastien Gérard, Jean-Marc Jézéquel
2008 Journal of Software and Systems Modeling  
The principle is to map abstract syntaxes to textual concrete syntaxes via bidirectional mapping-models with support for both model-to-text, and text-tomodel transformations.  ...  range of purposes, including language engineering.  ...  However, for the same language, one may want to define different concrete syntaxes (e.g. UML models that can take a graphical appearance, but also textual XMI or HUTN shapes).  ... 
doi:10.1007/s10270-008-0088-x fatcat:oqfsu6llrrbdnpgqqkbt7kpjbu

Constraint-Based Design-Space Exploration and Model Synthesis [chapter]

Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts
2003 Lecture Notes in Computer Science  
This paper describes a tool suite, which has been developed for component-based model synthesis.  ...  The modeling component of DESERT supports the modeling of design spaces and the automated search for designs that meet structural requirements.  ...  Specifically, selection of implementation s211 for template s21 implies that s231 must be the selected implementation for template s23.  ... 
doi:10.1007/978-3-540-45212-6_19 fatcat:a6ez5qky6faellfyb343fjc2s4

Personal knowledge base designer: Software for expert systems prototyping

Aleksandr Yu. Yurin, Nikita O. Dorodnykh
2020 SoftwareX  
Our software provides the use of a domain-specific notation for rule modeling, namely, Rule Visual Modeling Language (RVML); wizards for creating and editing knowledge base elements; conceptual models  ...  Our empirical results demonstrate the ability to use the proposed software for prototyping rule-based knowledge bases by transforming different conceptual models. Two case studies are also presented.  ...  Acknowledgments The present study was partially supported by the Russian Foundation for Basic Research (Grant no. 19-07-00927).  ... 
doi:10.1016/j.softx.2020.100411 fatcat:nmbxjhlm5valzkqis4qm5z6b3m

A Domain Specific Transformation Language to Support the Interactive Definition of Model Transformation Rules

Luis Silvestre
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
generated and applied using a domain specific transformation language (DSTL).  ...  To that end, a graphical interface was defined with such a purpose, so that transformation rules are interactively defined using a domain specific languaje (DSL), and the tailoring transformation is automatically  ...  transformation languages.  ... 
dblp:conf/models/Silvestre14 fatcat:m4zqji7gf5cmhmljy653pxpqt4

Domain-specific engineering of domain-specific languages

Raphael Mannadiar, Hans Vangheluwe
2010 Proceedings of the 10th Workshop on Domain-Specific Modeling - DSM '10  
In the context of DSL engineering, this obstacle translates to the necessity for DSL designers to explicitly define DSL semantics manually (e.g., via coded generators and/or model transformations).  ...  Domainspecific concepts and their relationships are captured by domain-specific languages (DSLs).  ...  The array of possible targets for artifact synthesis from DSms is only as wide as the array of available targets for artifact synthesis from instance models of base formalisms.  ... 
doi:10.1145/2060329.2060356 fatcat:5ep3hfv2irex3b2najdbgir24a

Supporting Multimodality in Service-Oriented Model-Based Development Environments [chapter]

Marco Manca, Fabio Paternò
2010 Lecture Notes in Computer Science  
The goal of this work is to discuss how multimodality can be specified in model-based languages and apply such solution to the composition of graphical and vocal interactions.  ...  While multimodal interfaces are becoming more and more used and supported, their development is still difficult and there is a lack of authoring tools for this purpose.  ...  the vocal and the graphical inputs and the templates to generate the vocal elements, while in the body tag there are the templates for generating the graphical elements.  ... 
doi:10.1007/978-3-642-16488-0_11 fatcat:bnej7um4pbeu5hwzxaf62assnq

From UML Specification into FPGA Implementation

Grzegorz Bazydlo, Marian Adamski, Marek Wegrzyn, Alfredo Rosado Munoz
2014 Advances in Electrical and Electronic Engineering  
In the paper a method of using the Unified Modeling Language for specification of digital systems, especially logic controllers, is presented.  ...  The paper shows a way to transform the UML diagrams, expressed in XML language, to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Arrays).  ...  Formal transformation rules were defined in QVT (Query/View/Transformation) language [15] . These rules describe how to transform a UML state machine model to an HCFSM model of the metamodel level.  ... 
doi:10.15598/aeee.v12i5.1147 fatcat:izrpqss5ljfevmb7q65otbmo6y

Molecular Transformer for Chemical Reaction Prediction and Uncertainty Estimation [article]

Philippe Schwaller, Teodoro Laino, Théophile Gaudin, Peter Bolgar, Costas Bekas, Alpha A Lee
2018 arXiv   pre-print
Organic synthesis is one of the key stumbling blocks in medicinal chemistry.  ...  Our algorithm requires no handcrafted rules, and accurately predicts subtle chemical transformations.  ...  Griffiths for useful feedback and discussions.  ... 
arXiv:1811.02633v1 fatcat:tqcws52lj5ft7g3uaf6v6g76hm
« Previous Showing results 1 — 15 out of 11,636 results