Logique Non-commutative Et Programmation Concurrente Par Constraintes PDF Download

Author: PAUL.. RUET
Publisher:
ISBN:
Category :
Languages : fr
Pages : 103

View

Book Description
NOUS ETUDIONS DES CONNECTIONS ENTRE LA LOGIQUE ET LA PROGRAMMATION CONCURRENTE PAR CONTRAINTES (CC) DANS LE PARADIGME PROGRAMME = FORMULE ET CALCUL = RECHERCHE DE PREUVE QUI EST CELUI DE LA PROGRAMMATION LOGIQUE, ET NOUS MONTRONS QUE LA LOGIQUE INTUITIONNISTE ET LA LOGIQUE LINEAIRE PERMETTENT DE CARACTERISER CERTAINES OBSERVATIONS INTERESSANTES DU COMPORTEMENT OPERATIONNEL DES PROGRAMMES (STORES, SUCCES), MAIS NE RENDENT PAS BIEN COMPTE DES PHENOMENES DE SYNCHRONISATION. CELA NOUS AMENE A INTRODUIRE UNE VERSION MIXTE DE LA LOGIQUE LINEAIRE, COMBINANT DES CONNECTEURS COMMUTATIFS ET DES CONNECTEURS NON-COMMUTATIFS. NOUS LA PRESENTONS PAR UN CALCUL DES SEQUENTS CLASSIQUE (QUI ETEND D'UNE PART LA LOGIQUE LINEAIRE COMMUTATIVE ET D'AUTRE PART LA LOGIQUE LINEAIRE NON-COMMUTATIVE CYCLIQUE) ET PAR LES ELEMENTS DE BASE D'UNE THEORIE DE LA DEMONSTRATION : UNE SEMANTIQUE DES PHASES ET L'ELIMINATION DES COUPURES. LA LOGIQUE LINEAIRE MIXTE PERMET DE CARACTERISER DES OBSERVATIONS FINES : LES SUSPENSIONS D'UN AGENT CC.

Author: Paul Ruet
Publisher:
ISBN:
Category :
Languages : en
Pages : 102

View

Book Description

Author: Michael Maher
Publisher: Springer
ISBN: 3540494812
Category : Computers
Languages : en
Pages : 495

View

Book Description
Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This volume contains papers dealing with all aspects of c- puting with constraints. In particular, there are several papers on applications of constraints, re?ecting the practical usefulness of constraint programming. The papers were presented at the 1998 International Conference on Principles and Practice of Constraint Programming (CP’98), held in Pisa, Italy, 26{30 - tober, 1998. It is the fourth in this series of conferences, following conferences in Cassis (France), Cambridge (USA), and Schloss Hagenberg (Austria). We received 115 high quality submissions. In addition, 7 abstracts submissions were not followed by a full paper, hence were not counted as submissions. The program committee selected 29 high quality papers after thorough refereeing by at least 3 experts and further discussion by committee members. We thank the referees and the program committee for the time and e ort spent in reviewing the papers. The program committee invited three speakers: { Joxan Ja ar { Peter Jeavons { Patrick Prosser Their papers are in this volume.

Author:
Publisher:
ISBN:
Category : Declarative programming
Languages : en
Pages : 324

View

Book Description

Author: Sylvain Soliman
Publisher:
ISBN:
Category :
Languages : fr
Pages : 93

View

Book Description

Author:
Publisher:
ISBN:
Category : Declarative programming
Languages : en
Pages : 316

View

Book Description

Author: VINCENT.. SCHACHTER
Publisher:
ISBN:
Category :
Languages : fr
Pages : 117

View

Book Description
CETTE THESE EST CONSACREE A L'ETUDE D'UNE EXTENSION DE LA PROGRAMMATION CONCURRENTE AVEC CONTRAINTES FONDEE SUR LA LOGIQUE LINEAIRE. LE LANGAGE (LCC) QUI EN RESULTE PERMET DE PROGRAMMER DES SOLVEURS DE CONTRAINTES COMPLEXES SUSCEPTIBLES DE S'APPUYER SUR DES STRUCTURES DE DONNEES EVOLUANT DE MANIERE NON-MONOTONE AU COURS DU CALCUL. LCC S'AFFRANCHIT DE LA RESTRICTION DES CALCULS A L'ACCUMULATION MONOTONE D'INFORMATION DANS LE STORE EN AXIOMATISANT LES SYSTEMES DE CONTRAINTES EN LOGIQUE LINEAIRE ET EN AUTORISANT LA CONSOMMATION DES CONTRAINTES PAR LES AGENTS. NOUS MONTRONS QUE L'UTILISATION DE CONTRAINTES CONSOMMABLES DEDIEES AU CONTROLE PERMET, VIA LE CODAGE D'ETATS DANS LE STORE, DE SPECIFIER DES STRATEGIES DE PROPAGATION PLUS FINES QUE CE QUE LA PROGRAMMATION DECLARATIVE DES LANGAGES TRADITIONNELS DE PROGRAMMATION PAR CONTRAINTES AUTORISE. NOUS MONTRONS EGALEMENT QUE LE LANGAGE DES AGENTS LCC EST EQUIVALENT AU LANGAGE UTILISE POUR SPECIFIER LE MECANISME D'INFERENCE DES SYSTEMES DE CONTRAINTES SOUS-JACENTS. CE RESULTAT, EN EFFACANT LA FRONTIERE ENTRE LANGAGE-HOTE ET SOLVEUR DE CONTRAINTES, OUVRE LA VOIE UNE FORME DE PROGRAMMATION MODULAIRE DE SOLVEURS. L'EXPRESSIVITE DU CADRE LCC EST ILLUSTREE PAR DEUX EXEMPLES DE PROGRAMMATION DE SOLVEURS DE CONTRAINTES PAR STRATES DE COMPLEXITE CROISSANTE, SUR LES DOMAINES FINIS ET SUR LES REELS. NOUS PROPOSONS NOTAMMENT UNE RECONSTRUCTION RATIONNELLE D'UN SOLVEUR DE CONTRAINTES SUR LES REELS, DANS LAQUELLE UN ALGORITHME DE RESOLUTION FONDE SUR LA METHODE DU SIMPLEX EST DEFINI AU-DESSUS D'UN SYSTEME DE CONTRAINTES GENERIQUE PERMETTANT LA MANIPULATION D'EQUATIONS ET D'INEQUATIONS LINEAIRES.

Author: Vijay Saraswat
Publisher: MIT Press
ISBN: 9780262192972
Category : Constraint programming (Computer science).
Languages : en
Pages : 536

View

Book Description
Concurrent Constraint Programming introduces a new and rich class of programming languages based on the notion of computing with partial information, or constraints, that synthesize and extend work on concurrent logic programming and that offer a promising approach for treating thorny issues in the semantics of concurrent, nondeterministic programming languages. Saraswat develops an elegant and semantically tractable framework for computing with constraints, emphasizing their importance for communication and control in concurrent, programming languages. He describes the basic paradigm, illustrates its structure, discusses various augmentations, gives a simple implementation of a concrete language, and specifies its connections with other formalisms. In this framework, concurrently executing agents communicate by placing and checking constraints on shared variables in a common store. The major form of concurrency control in the system is through the operations of Atomic Tell -- an agent may instantaneously place constraints only if they are consistent with constraints that have already been placed -- and Blocking Ask -- an agent must block when it checks a constraint that is not yet known to hold. Other operations at a finer granularity of atomicity are also presented. Saraswat introduces and develops the concurrent constraint family of programming languages based on these ideas, shows how various constraint systems can naturally realize data structures common in computer science, and presents a formal operational semantics for many languages in the concurrent constraint family. In addition, he provides a concrete realization of the paradigm on a sequential machine by presenting a compiler for the concurrent constraint language Herbrand and demonstrates a number of constraint-based concurrent programming techniques that lead to novel presentations of algorithms for many concurrent programming problems.

Author: Liviu-Virgil Ciortuz
Publisher:
ISBN:
Category :
Languages : fr
Pages : 52

View

Book Description
Cette thèse présente df, un système concurrent de contraintes par traits qui combine certaines idées intéressantes provenant de diverses recherches menées récemment en programmation logique : la logique orientée-objet (représentée ici par la f-logique), les systèmes de contraintes par traits (osf et cft), la programmation concurrente par contraintes (les modèles oz et cc). Elle a pour but final de construire un système démonstratif pour le traitement concurrent du langage naturel basé sur la théorie hpsg. Le système df couple une sémantique déclarative par contraintes de la f-logique avec une sémantique opérationnelle basée sur des règles de réecriture concurrentes. Du point de vue du typage, le système df se situe entre les systèmes osf et cft. Il a sa propre spécificité due au traitement concurrent basé sur des principes orientés-objet des hiérarchies conditionnelles de descriptions par des traits plus fins.

Author: Thom Frühwirth
Publisher: Cambridge University Press
ISBN: 0521877768
Category : Computers
Languages : en
Pages : 321

View

Book Description
The definitive reference on Constraint Handling Rules, from the creator of the language.