Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05

2005 ◽  
Keyword(s):  
Variable Binding ◽  
Mechanized Reasoning

Notes on the theory of variable binding term operators

1983 ◽  
Vol 4 (1-2) ◽  
pp. 63-72
Author(s):  
Newton C.A. da Costa ◽  
Chris Mortensen
Keyword(s):  
Variable Binding

scholarly journals Binding-Site Identification and Genotypic Profiling of Hepatitis C Virus Polymerase Inhibitors

2007 ◽  
Vol 81 (13) ◽  
pp. 6909-6919 ◽  
Author(s):  
Frederik Pauwels ◽  
Wendy Mostmans ◽  
Ludo M. M. Quirynen ◽  
Liesbet van der Helm ◽  
Carlo W. Boutton ◽  
...  
Keyword(s):  
Hepatitis C Virus ◽  
Hepatitis C ◽  
Binding Site ◽  
Antiviral Drug ◽  
Variable Binding ◽  
Polymerase Inhibitors ◽  
Binding Site Identification ◽  
Virus Genotypes ◽  
Binding Pockets ◽  
Virus Mutant

ABSTRACT The search for hepatitis C virus polymerase inhibitors has resulted in the identification of several nonnucleoside binding pockets. The shape and nature of these binding sites differ across and even within diverse hepatitis C virus genotypes. These differences confront antiviral drug discovery with the challenge of finding compounds that are capable of inhibition in variable binding pockets. To address this, we have established a hepatitis C virus mutant and genotypic recombinant polymerase panel as a means of guiding medicinal chemistry through the elucidation of the site of action of novel inhibitors and profiling against genotypes. Using a genotype 1b backbone, we demonstrate that the recombinant P495L, M423T, M414T, and S282T mutant enzymes can be used to identify the binding site of an acyl pyrrolidine analog. We assess the inhibitory activity of this analog and other nonnucleoside inhibitors with our panel of enzyme isolates generated from clinical sera representing genotypes 1a, 1b, 2a, 2b, 3a, 4a, 5a, and 6a.

Knowledge of Variable Binding in VP-Ellipsis: Language Acquisition Research and Theory Converge

Syntax ◽  
2003 ◽  
Vol 6 (1) ◽  
pp. 52-83 ◽  
Author(s):  
Claire Foley ◽  
Zelmira Nunez del Prado ◽  
Isabella Barbier ◽  
Barbara Lust
Keyword(s):  
Language Acquisition ◽  
Variable Binding ◽  
Vp Ellipsis

scholarly journals A structured alternative to Prolog with simple compositional semantics

2011 ◽  
Vol 11 (4-5) ◽  
pp. 611-627
Author(s):  
ANTÓNIO PORTO
Keyword(s):  
Denotational Semantics ◽  
Expressive Power ◽  
Compositional Semantics ◽  
Variable Binding ◽  
Semantic Framework ◽  
Local Case ◽  
Real World Applications ◽  
Full Power ◽  
Definition Of ◽  
Concrete Language

AbstractProlog's very useful expressive power is not captured by traditional logic programming semantics, due mainly to the cut and goal and clause order. Several alternative semantics have been put forward, exposing operational details of the computation state. We propose instead to redesign Prolog around structured alternatives to the cut and clauses, keeping the expressive power and computation model but with a compositional denotational semantics over much simpler states—just variable bindings. This considerably eases reasoning about programs, by programmers and tools such as a partial evaluator, with safe unfolding of calls through predicate definitions. Anif-then-elseacross clauses replaces most uses of the cut, but the cut's full power is achieved by anuntilconstruct. Disjunction, conjunction anduntil, along with unification, are the primitive goal types with a compositional semantics yielding sequences of variable-binding solutions. This extends to programs via the usual technique of a least fixpoint construction. A simple interpreter for Prolog in the alternative language, and a definition ofuntilin Prolog, establish the identical expressive power of the two languages. Many useful control constructs are derivable from the primitives, and the semantic framework illuminates the discussion of alternative ones. The formalisation rests on a term language with variable abstraction as in the λ-calculus. A clause is an abstraction on the call arguments, a continuation, and the local variables. It can be inclusive or exclusive, expressing a local case bound to a continuation by either a disjunction or anif-then-else. Clauses are open definitions, composed (and closed) with simple functional application β-reduction). This paves the way for a simple account of flexible module composition mechanisms.Cube, a concrete language with the exposed principles, has been implemented on top of a Prolog engine and successfully used to build large real-world applications.

scholarly journals The subject, it is here! The varying structural positions of preverbal subjects

2007 ◽  
Vol 23 (spe) ◽  
pp. 113-146 ◽  
Author(s):  
Acrisio Pires
Keyword(s):  
Brazilian Portuguese ◽  
Variable Binding ◽  
Null Subject ◽  
The Subject ◽  
Bare Nouns ◽  
Semantic Properties ◽  
Structural Positions

This paper analyzes preverbal overt subjects, comparing Brazilian Portuguese to (other) null-subject languages, especially within Romance. It explores syntactic and semantic properties, including resumption, ellipsis, quantifiers and scope, variable binding, ordering restrictions, pronominal distinctions, minimality violations, bare nouns and definiteness. It concludes that preverbal subjects in Brazilian Portuguese can be realized both in argumental positions (Specifier of the Inflectional or Tense Phrase) and non-argumental positions (Topic Phrase specifiers), with the possibility that both types of positions are filled by the subject in the same clause, incorporating properties that have been argued not to be found together in other languages.

Sign in / Sign up

Export Citation Format

Share Document