A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
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]
2010
Studies in Computational Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
International Conference on Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
Workshop on Evaluation of Ontology-based Tools
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2002
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2005
Computer Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2021
Proceedings of the ACM on Programming Languages (PACMPL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution - RAM-SE '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2015
USENIX Workshop on Hot Topics in Operating Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
1985
Proceedings of the 23rd annual meeting on Association for Computational Linguistics -
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
[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
2017
PLoS ONE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2018
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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