Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
292
Extensible Syntax with Lexical Scoping
, 1994
"... A frequent dilemma in programming language design is the choice between a language with a rich set of notations and a small, simple core language. We address this dilemma by proposing extensible grammars, a syntax-definition formalism for incremental language extensions and restrictions. The transla ..."
Abstract
-
Cited by 48 (0 self)
- Add to MetaCart
with unwanted name clashes. We develop extensible grammars and illustrate their use by extending the lambda calculus with let-bindings, conditionals, and constructs from database programming languages, such as SQL query expressions. We then give a formal description of the underlying rules for parsing
Extensible grammars for language specialization
- IN PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON DATABASE PROGRAMMING LANGUAGES
, 1993
"... A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expressions, etc., and a small, simple core language. We address this dilemma by proposing extensible grammars, a syntax-definition ..."
Abstract
-
Cited by 13 (2 self)
- Add to MetaCart
grammars respect scoping rules. Therefore, we can introduce binding constructs while avoiding problems with unwanted name clashes. We develop extensible grammars and illustrate their use by extend-ing the lambda calculus with let-bindings, conditionals, and SQL-style query expressions. We then give a
Fighting Class Name Clashes in Java Component Systems
- PROCEEDINGS OF JMLC 2003
, 2003
"... This paper deals with class and interface name clashes in Java component systems that occur because of evolutionary changes during the lifecycle of a component application. We show that the standard facilities of the Java type system do not provide a satisfactory way to deal with the name clashes, a ..."
Abstract
-
Cited by 9 (4 self)
- Add to MetaCart
This paper deals with class and interface name clashes in Java component systems that occur because of evolutionary changes during the lifecycle of a component application. We show that the standard facilities of the Java type system do not provide a satisfactory way to deal with the name clashes
User-Changeable Visibility: Resolving Unanticipated Name Clashes in Traits
, 2007
"... A trait is a unit of behaviour that can be composed with other traits and used by classes. Traits offer an alternative to mul-tiple inheritance. Conflict resolution of traits, while flexible, does not completely handle accidental method name conflicts: if a trait with method m is composed with anoth ..."
Abstract
-
Cited by 17 (6 self)
- Add to MetaCart
A trait is a unit of behaviour that can be composed with other traits and used by classes. Traits offer an alternative to mul-tiple inheritance. Conflict resolution of traits, while flexible, does not completely handle accidental method name conflicts: if a trait with method m is composed
Social Justice and the Clash of Cultures
"... In the past decade, the world has witnessed a surfeit of horrific political, religious, and ethnic conflicts: mass murder, genocide, crimes against humanity, suicide bombers, and global terrorism. One need only speak the names “Serbia and Bosnia, ” “Northern Ireland, ” “Cam-bodia, ” “Rwanda, ” “Pale ..."
Abstract
- Add to MetaCart
In the past decade, the world has witnessed a surfeit of horrific political, religious, and ethnic conflicts: mass murder, genocide, crimes against humanity, suicide bombers, and global terrorism. One need only speak the names “Serbia and Bosnia, ” “Northern Ireland, ” “Cam-bodia, ” “Rwanda
Confluence properties of Weak and Strong Calculi of Explicit Substitutions
- JOURNAL OF THE ACM
, 1996
"... Categorical combinators [12, 21, 43] and more recently oe-calculus [1, 23], have been introduced to provide an explicit treatment of substitutions in the -calculus. We reintroduce here the ingredients of these calculi in a self-contained and stepwise way, with a special emphasis on confluence prope ..."
Abstract
-
Cited by 129 (7 self)
- Add to MetaCart
properties. The main new results of the paper w.r.t. [12, 21, 1, 23] are the following: 1. We present a confluent weak calculus of substitutions, where no variable clashes can be feared. 2. We solve a conjecture raised in [1]: oe-calculus is not confluent (it is confluent on ground terms only
Book Review Naming Nature: The Clash between Instinct and Sci-
"... My motivation for writing a review of Carol Yoon’s Naming Nature arose when I stumbled upon a piece in the New York Times about the book. After reading what were small fragments of it, it seemed intriguing to me how an author could make the general public feel empa-thy for taxonomy, a field with suc ..."
Abstract
- Add to MetaCart
My motivation for writing a review of Carol Yoon’s Naming Nature arose when I stumbled upon a piece in the New York Times about the book. After reading what were small fragments of it, it seemed intriguing to me how an author could make the general public feel empa-thy for taxonomy, a field
Book Review Naming Nature: The Clash between Instinct and Sci-
"... My motivation for writing a review of Carol Yoon’s Naming Nature arose when I stumbled upon a piece in the New York Times about the book. After reading what were small fragments of it, it seemed intriguing to me how an author could make the general public feel empa-thy for taxonomy, a field with suc ..."
Abstract
- Add to MetaCart
My motivation for writing a review of Carol Yoon’s Naming Nature arose when I stumbled upon a piece in the New York Times about the book. After reading what were small fragments of it, it seemed intriguing to me how an author could make the general public feel empa-thy for taxonomy, a field
Using control genes to correct for unwanted variation in microarray data
- In: Biostatistics
, 2011
"... Microarray expression studies suffer from the problem of batch effects and other unwanted variation. Many methods have been proposed to adjust microarray data to mitigate the problems of unwanted vari-ation. Several of these methods rely on factor analysis to infer the unwanted variation from the da ..."
Abstract
-
Cited by 34 (5 self)
- Add to MetaCart
the factor analysis to negative control genes. Negative control genes are genes known a priori not to be differentially expressed with respect to the biological factor of interest. Variation in the expression levels of these genes can therefore be assumed to be unwanted variation. We name this method “Remove
Results 1 - 10
of
292
