Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

relation de généralité

On phase semantics and denotational semantics in multiplicative–additive linear logic AbstractWe study the notion of logical relation in the coherence space semantics of multiplicative-additive linear logic MALL....

général - core.ac.uk -

Relational parametricity for a polymorphic linear lambda calculusThis paper presents a novel syntactic logical relation for a polymorphic linear lambda-calculus that treats all types as linear and introduces the constructor! to account for intuitionistic terms, and Foan extension...

PDF: repository.upenn.edu

Relational parametricity for linear system f ◦... This paper presents a novel syntactic logical relation for System F ◦, a simple variant of the linear polymorphic λ-calculus....

PDF: citeseerx.ist.psu.edu

Logical relations for dynamic name creation... Logical relations are a powerful tool to prove properties of such a calculus, notably observational equivalence....

PDF: citeseerx.ist.psu.edu

Step-indexed models of call-by-name: a tutorial exampleIn this tutorial paper we show how to construct a step-indexed logical relation for a call-by-name programming language with recursive types and show that it is complete with respect to contextual equivalence....

PDF: www.cs.au.dk

generic relation

documentation - iate.europa.eu

▷

Finding associations between people... This paper discusses and justifies the need to consider subtypes of the generic relation ASSOCIATION....

général - core.ac.uk - PDF: www.cse.unt.edu

Universal critical behavior of noisy coupled oscillators... Weperform a perturbative renormalization group study, and show that at thecritical point a generic relation between correlation and response functionsappears....

PDF: arxiv.org

Inferring polynomial invariants with polyinvar helmut seidl and michael petter... This analysis is achieved by an incremental fixpoint iteration over a set of polynomial modules, representing the weakest precondition for a generic relation of degree n at a given program point....

PDF: citeseerx.ist.psu.edu

Generic relation identification: models and evaluationGeneric relation identification (GRI) aims to build models of relation-forming entity pairs that can be transferred across domains without modification of model parameters....

PDF: citeseerx.ist.psu.edu

Multi-document summarisation using generic relation extraction... A novel representation is introduced based on generic relation extraction (GRE), which aims to build systems for relation identification and characterisation that can be transferred across domains and tasks without modification...

PDF: citeseerx.ist.psu.edu

abstraction relation

documentation - iate.europa.eu

▷

Www.elsevier.com/locate/entcs pvs strategies for proving abstraction properties of automata... To prove that a given automaton implements an abstract specification automaton, one must first find the correct abstraction relation between the states of the automata, and then show that this relation is preserved by all corresponding action sequences of the two automata....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Representation inheritance: a safe form of ‘white box’ code inheritance... Representation inheritance is proposed as a restricted form of white box code inheritance where subclasses have direct access to superclass implementation details, but are required to respect the representation invariant(s) and abstraction relation(s) of their ancestor(s)....

PDF: www.cse.ohio-state.edu

Lifetime dependency : an abstraction relation for modelling roles, symbolic substance, and relations with attributes... We have defined a new abstraction relation called lifetime dependency: when an object (the dependent) throughout its lifetime depends on the existence of other objects (the support), the dependent ...

PDF: core.ac.uk

Lifetime dependency: an abstraction relation for modelling roles, symbolic substance, and relations with attributes... We have defined a new abstraction relation called lifetime dependency: when an object (the dependent) throughout its lifetime depends on the existence of other objects (the support), the dependent ...

PDF: citeseerx.ist.psu.edu