Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
1,982
CHR for imperative host languages
- Issue of LNAI on Constraint Handling Rules
, 2008
"... Abstract. In this paper, we address the different conceptual and technical difficulties encountered when embedding CHR into an imperative host language. We argue that a tight, natural integration leads to a powerful programming language extension, intuitive to both CHR and imperative programmers. We ..."
Abstract
-
Cited by 4 (3 self)
- Add to MetaCart
Abstract. In this paper, we address the different conceptual and technical difficulties encountered when embedding CHR into an imperative host language. We argue that a tight, natural integration leads to a powerful programming language extension, intuitive to both CHR and imperative programmers
Proof-Carrying Code
, 1997
"... This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with certainty that it is safe to execute a program supplied (possibly in binary form) by an untrusted source. For this to be possible, the untrusted code producer must supply with the code a safety proo ..."
Abstract
-
Cited by 1240 (27 self)
- Add to MetaCart
This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with certainty that it is safe to execute a program supplied (possibly in binary form) by an untrusted source. For this to be possible, the untrusted code producer must supply with the code a safety
Why Smalltalk wins the host languages shootout
- IN: PROCEEDINGS OF INTERNATIONAL WORKSHOP ON SMALLTALK TECHNOLOGIES (IWST 2009), ACM DIGITAL LIBRARY
, 2009
"... Integration of multiple languages into each other and into an existing development environment is a difficult task. As a consequence, developers often end up using only internal DSLs that strictly rely on the constraints imposed by the host language. Infrastructures do exist to mix languages, but th ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
Integration of multiple languages into each other and into an existing development environment is a difficult task. As a consequence, developers often end up using only internal DSLs that strictly rely on the constraints imposed by the host language. Infrastructures do exist to mix languages
Quality metrics for SQL queries embedded in host languages
"... Many software systems that use a database lack main-tainability and adjustability, for the produced queries are hard to reconstruct and inspect. For instance, the relations between the queries, established by the host language, are not easy to identify. This information however is vital when adaptin ..."
Abstract
- Add to MetaCart
Many software systems that use a database lack main-tainability and adjustability, for the produced queries are hard to reconstruct and inspect. For instance, the relations between the queries, established by the host language, are not easy to identify. This information however is vital when
Language boxes: Bending the host language with modular language changes
- In Software Language Engineering, volume LNCS 5969
, 2009
"... Abstract. As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domainspecific languages. Unfortunately these DSLs typically conflict with the grammar of the host language, making it difficult to compose hybrid code except at the level ..."
Abstract
-
Cited by 7 (3 self)
- Add to MetaCart
Abstract. As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domainspecific languages. Unfortunately these DSLs typically conflict with the grammar of the host language, making it difficult to compose hybrid code except
Ensuring Proper Competency in the Host Language: Contrasting Formula and the Place of Heritage Languages
"... Background Context: In most immigrant-receiving societies, an important question, both for researchers and policy makers, has been the weighing of the relative efficiency of different for-mulas in the learning of the host language by immigrant students, especially the potential impact of specific se ..."
Abstract
- Add to MetaCart
Background Context: In most immigrant-receiving societies, an important question, both for researchers and policy makers, has been the weighing of the relative efficiency of different for-mulas in the learning of the host language by immigrant students, especially the potential impact of specific
A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages
"... Solver-aided domain-specific languages (SDSLs) are an emerging class of computer-aided programming systems. They ease the con-struction of programs by using satisfiability solvers to automate tasks such as verification, debugging, synthesis, and non-deterministic execution. But reducing programming ..."
Abstract
-
Cited by 6 (2 self)
- Add to MetaCart
tasks to satisfiability prob-lems involves translating programs to logical constraints, which is an engineering challenge even for domain-specific languages. We have previously shown that translation to constraints can be avoided if SDSLs are implemented by (traditional) embedding into a host language
The Meme Machine
, 1999
"... Setting aside the problems of recognising consciousness in a machine, this article considers what would be needed for a machine to have human-like consciousness. Human-like consciousness is an illusion; that is, it exists but is not what it appears to be. The illusion that we are a conscious self ha ..."
Abstract
-
Cited by 381 (2 self)
- Add to MetaCart
having a stream of experiences is constructed when memes compete for replication by human hosts. Some memes survive by being promoted as personal beliefs, desires, opinions and possessions, leading to the formation of a memeplex (or selfplex). Any machine capable of imitation would acquire this type
A unified architecture for natural language processing: Deep neural networks with multitask learning
, 2008
"... We describe a single convolutional neural network architecture that, given a sentence, outputs a host of language processing predictions: part-of-speech tags, chunks, named entity tags, semantic roles, semantically similar words and the likelihood that the sentence makes sense (grammatically and sem ..."
Abstract
-
Cited by 340 (13 self)
- Add to MetaCart
We describe a single convolutional neural network architecture that, given a sentence, outputs a host of language processing predictions: part-of-speech tags, chunks, named entity tags, semantic roles, semantically similar words and the likelihood that the sentence makes sense (grammatically
Computational Interpretations of the Gricean Maxims in the Generation of Referring Expressions
- COGNITIVE SCIENCE
, 1995
"... We examine the problem of generating definite noun phrases that are appropriate referring expressions: that is, noun phrases that (a) successfully identify the intended referent to the hearer whilst (b) not conveying to him or her any false conversational implicatures (Grice, 1975). We review severa ..."
Abstract
-
Cited by 368 (36 self)
- Add to MetaCart
of the resources a host system must provide in order to make use of the algorithm, and an implementation used in the natural language generation component of the IDAS system.
Results 1 - 10
of
1,982
