Filters








21,361 Hits in 6.0 sec

A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages [chapter]

Dominic Duggan
2000 Lecture Notes in Computer Science  
Modular interpreters are an approach to building off-the-shelf software components that implement fragments of DSLs.  ...  We describe an approach to implementing modular interpreters in an object-oriented fashion, using the design pattern of extensible computations.  ...  The semantic operations that invoke these operations refer to the result of combining these fragments by invoking these operations from root, the root of the list of interpreter building blocks.  ... 
doi:10.1007/3-540-45102-1_9 fatcat:2xqiuj34zfe4lpdgol2amhgdia

Emergent Semiotics in Genetic Programming and the Self-Adaptive Semantic Crossover [chapter]

Rafael Inhasz, Julio Michael Stern
2010 Studies in Computational Intelligence  
SASC operators are designed to induce the emergence and then preserve good building-blocks, using metacontrol techniques based on semantic compatibility measures.  ...  We present SASC, Self-Adaptive Semantic Crossover, a new class of crossover operators for genetic programming.  ...  The authors are grateful for the support of IME-USP, The Institute of Mathematics and Statistics of the University of São Paulo, FAPESP, Fundo de Amparoà Pesquisa do Estado de São Paulo, CNPq, The Brazilian  ... 
doi:10.1007/978-3-642-15223-8_21 fatcat:qupqn73clrbmpnouohto4ogcrm

Promoting Modular Nonmonotonic Logic Programs

Thomas Krennwallner, Marc Herbstritt
2011 International Conference on Logic Programming  
Modularity in Logic Programming has gained much attention over the past years. To date, many formalisms have been proposed that feature various aspects of modularity.  ...  In this paper, we present our current work on Modular Nonmonotonic Logic Programs (MLPs), which are logic programs under answer set semantics with modules that have contextualized input provided by other  ...  We sketch the basic building blocks of MLPs and refer to [10] for proper formal definitions. Example 1.  ... 
doi:10.4230/lipics.iclp.2011.274 dblp:conf/iclp/Krennwallner11 fatcat:xe25b4l525acbar67bkfegue2q

Collaborative Ontology Building with Wiki@nt - A Multi-agent Based Ontology Building Environment

Jie Bao, Vasant G. Honavar
2004 Workshop on Evaluation of Ontology-based Tools  
Wiki@nt supports integration and reconciliation of multiple independently developed, semantically heterogeneous, and very likely inconsistent ontology modules.  ...  Collaborative ontology building requires both knowledge integration and knowledge reconciliation. Wiki@nt is an ontology building environment that supports collaborative ontology development.  ...  Acknowledgments This research is supported in part by grants from the NSF (0219699) and the NIH(GM 066387) to Vasant Honavar  ... 
dblp:conf/eon/BaoH04 fatcat:pmdplq6oxncldjc6dam7ohy5gm

Specification of Logic Programming Languages from Reusable Semantic Building Blocks

J.E. Labra Gayo, J.M. Cueva Lovelle, M.C. Luengo Díez, A. Cernuda del Río
2002 Electronical Notes in Theoretical Computer Science  
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic building blocks.  ...  When the abstract syntax is composed from mutually recursive categories, we use many-sorted algebras.  ...  semantic building blocks.  ... 
doi:10.1016/s1571-0661(04)80352-9 fatcat:ae6z35f75vefdjzr4iq425uzby

Metacomputation-Based Compiler Architecture [chapter]

William L. Harrison, Samuel N. Kamin
2000 Lecture Notes in Computer Science  
Metacomputation-style speci cation lends itself to semantics-directed c ompilation, which we demonstrate by creating a modular compiler for a block-structured, imperative while language.  ...  This paper presents a modular and extensible style of language speci cation based on metacomputations.  ...  Acknowledgements The authors would like to thank Uday Reddy and the rest of the functional programming research group at UIUC for o ering many helpful suggestions that led to signi cant improvements in  ... 
doi:10.1007/10722010_14 fatcat:4e6edlixizbsphwfyss3mrg6uq

Tool-based language development

Joachim Fischer, Eckhardt Holz, Andreas Prinz, Markus Scheidgen
2005 Computer Networks  
Thus the development and the further evolution of languages will be transformed from the traditional paper-and-pen style into an engineering activity.  ...  This allows an early detection of problems within the language definition and increases the reliability of the language and the supporting tools. 4 Semantic Metamodel-based Integrated Language Environment  ...  a set of building blocks on a case to case basis, depending, for instance, on the application context and the preferences of the system developer.  ... 
doi:10.1016/j.comnet.2005.05.004 fatcat:z273ooecora7podz5xgbkt55jq

Modular, compositional, and executable formal semantics for LLVM IR

Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic
2021 Proceedings of the ACM on Programming Languages (PACMPL)  
We show how this semantics admits compositional reasoning principles derived from the interaction trees equational theory of weak bisimulation, which we extend here to better deal with nondeterminism,  ...  In contrast to previous approaches, which use relationally-specified operational semantics, this new semantics is based on monadic interpretation of interaction trees, a structure that provides a more  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author and do not necessarily reflect the views of the National Science Foundation or the ONR.  ... 
doi:10.1145/3473572 fatcat:xcamtmqtz5h2hov5wrzntjmwrm

DSL evolution through composition

Walter Cazzola, Davide Poletti
2010 Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution - RAM-SE '10  
The framework presented in this article not only allows to develop the syntax and the semantic of a new language from scratch but it is particularly focused on the reusability of the language definition  ...  Traditionally, to develop a compiler/interpreter from scratch but also to modify an existing compiler to support the novel DSL is a long and difficult task.  ...  The framework basically provides: a language for writing the building blocks and a mechanism for composing the blocks together and for generating the compiler/interpreter.  ... 
doi:10.1145/1890683.1890689 dblp:conf/ecoop/CazzolaP10 fatcat:pe36xkea7vgx5cvh7oqeog6luu

Modular Decompilation of Low-Level Code by Partial Evaluation

Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
2008 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation  
This paper addresses these issues by presenting, to the best of our knowledge, the first modular scheme to enable interpretive decompilation of low-level code to a high-level representation, namely, we  ...  We introduce two notions of optimality. The first one requires that each method/block is decompiled just once.  ...  Big-step Interpreter to Enable Modularity Traditionally, two different approaches have been considered to define language semantics, big-step (or natural) semantics and small-step semantics (see, e.g.,  ... 
doi:10.1109/scam.2008.35 dblp:conf/scam/Gomez-ZamalloaAP08 fatcat:o75cxvnt2zb6dkzxpibwd4ipsm

Specifying Crash Safety for Storage Systems

Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler, Nickolai Zeldovich
2015 USENIX Workshop on Hot Topics in Operating Systems  
as the original program interpreted according to the highlevel DSL's semantics.  ...  Finally, file systems developers sometimes misuse transactions, such as forgetting to allocate data blocks as part of the same transaction that updates the inode size [25] , or freeing an indirect block  ... 
dblp:conf/hotos/ChenZCKKZ15 fatcat:6vj3gnj2xfbtjolirlwow2vhv4

A Language Prototyping Tool Based on Semantic Building Blocks [chapter]

Jose E. Labra Gayo, Juan M. Cueva Lovelle, María C. Luengo Díez, Bernardo M. González Rodríguez
2001 Lecture Notes in Computer Science  
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications.  ...  The theoretical basis of our system is the integration of ideas from generic programming and modular monadic semantics.  ...  After his work, there was some interest in the development of modular interpreters using monads [49, 43, 10] .  ... 
doi:10.1007/3-540-45654-6_46 fatcat:k36lui7uuvasjbqftf7ejwgmq4

Modular Logic Grammars

Michael C. McCord
1985 Proceedings of the 23rd annual meeting on Association for Computational Linguistics -  
[n addition, MLG analysis trees contain logical terminals as building blocks for a modular semantic interpretation system.  ...  The procedure 'semant' builds complex semantic structures out of simpler ones, where the original building blocks are the logical terminals appearing in the MLG syntax rules.  ... 
doi:10.3115/981210.981223 dblp:conf/acl/McCord85 fatcat:awpkfaumlrdcdgmh2whw6ifmx4

Classifying patents based on their semantic content

Antonin Bergeaud, Yoann Potiron, Juste Raimbault, Zhong-Ke Gao
2017 PLoS ONE  
In this paper, we extend some usual techniques of classification resulting from a large-scale data-mining and network approach.  ...  To build the pattern network, not only do we look at each patent title, but we also examine their full abstract and extract the relevant keywords accordingly.  ...  p − .The choice of considering non-overlapping blocks (instead of overlapping blocks) is merely statistical.  ... 
doi:10.1371/journal.pone.0176310 pmid:28445550 pmcid:PMC5405987 fatcat:ylliw5wtljgidkirxwitjtut24

Classifying Patents Based on Their Semantic Content

Antonin Bergeaud, Yoann Potiron, Juste Raimbault
2018 Social Science Research Network  
In this paper, we extend some usual techniques of classification resulting from a large-scale data-mining and network approach.  ...  This new technology, which in particular is designed to be suitable to big data, is used to construct an open consolidated database from raw data on 4 million patents taken from the US patent office from  ...  p − .The choice of considering non-overlapping blocks (instead of overlapping blocks) is merely statistical.  ... 
doi:10.2139/ssrn.3222501 fatcat:tihmejd6xngcjljjgeav6hyqky
« Previous Showing results 1 — 15 out of 21,361 results