Home
Submit
Login
Register
Browse
By domain
News
By writing year
By publication type
By collection
ArXiv
News in HAL
Search
Simple search
Advanced search
Search by id
Help
Help
Bib2Hal
Information
Services
Subscribe
Export a publication list
Export raweb
Find your project / laboratory
HalTools : Bib2Hal
HalTools : Create your web page
HalTools : Manage your identities
version française
english version
inria-00151149, version 1
See detailed view
BibTeX
EndNote
TEI
RefWorks
%% inria-00151149, version 1 %% http://hal.inria.fr/inria-00151149/en/ @inproceedings{MEISTER:2007:INRIA-00151149:1, title = { {U}ne s{\'e}mantique compl{\`e}te pour {CHR} en logique des transactions}, author = {{M}eister, {M}arc and {D}jelloul, {K}halil and {R}obin, {J}acques}, abstract = {{R}easoning on {C}onstraint {H}andling {R}ules ({CHR}) programs and their executional behaviour is often ad-hoc and outside of a formal system. {T}his is a pity, because \chr\ subsumes a wide range of important automated reasoning services. {M}apping \chr\ to {T}ransaction {L}ogic (\tr) combines \chr\ rule specification, \chr\ rule application, and reasoning on \chr\ programs and \chr\ derivations inside one formal system which is executable. {T}his new \tr\ semantics obviates the need for disjoint declarative and operational semantics.}, language = {{E}nglish}, affiliation = {{F}akultat fur {I}nformatik. {U}niversitat {U}lm - {U}niversitat {U}lm - {F}akult{\"a}t f{\"u}r {I}ngenieurwissenschaften und {I}nformatik - {U}niversit{\"a}t {U}lm - {C}entro de {I}nform{\'a}tica - {CIN} - {U}niversidade {F}ederal de {P}ernambuco }, booktitle = {{T}roisi{\`e}mes {J}ourn{\'e}es {F}rancophones de {P}rogrammationpar {C}ontraintes ({JFPC}07) }, address = {{INRIA}, {D}omaine de {V}oluceau, {R}ocquencourt, {Y}velines {F}rance }, series = {{JFPC}07 }, audience = {not specified }, day = {04}, month = {06}, year = {2007}, URL = {http://hal.inria.fr/inria-00151149/en/}, URL = {http://hal.inria.fr/inria-00151149/PDF/50.pdf}, }
%F inria-00151149, version 1 %0 Conference Proceedings %U http://hal.inria.fr/inria-00151149/en/ %2 INFO:INFO_PL %T Une sémantique complète pour CHR en logique des transactions %A Meister, Marc %A Djelloul, Khalil %A Robin, Jacques %A Meister, M. %A Djelloul, K. %A Robin, J. %A Meister M. et al %+ Fakultat fur Informatik. Universitat Ulm - Universitat Ulm - Fakultät für Ingenieurwissenschaften und Informatik - Universität Ulm - Centro de Informática - CIN - Universidade Federal de Pernambuco %X Reasoning on Constraint Handling Rules (CHR) programs and their executional behaviour is often ad-hoc and outside of a formal system. This is a pity, because \chr\ subsumes a wide range of important automated reasoning services. Mapping \chr\ to Transaction Logic (\tr) combines \chr\ rule specification, \chr\ rule application, and reasoning on \chr\ programs and \chr\ derivations inside one formal system which is executable. This new \tr\ semantics obviates the need for disjoint declarative and operational semantics. %G English %8 2007-06-04 %2 not specified %B Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07) %2 INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France %8 2007-06-04 %N JFPC07
<?xml version="1.0" encoding="UTF-8"?> <listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML"> <listBibl type="inproceedings"><head>Peer-reviewed conferences/proceedings</head> <biblStruct type="inproceedings" xml:id="inria-00151149"><analytic> <author><persName><forename>Marc</forename><surname>Meister</surname></persName></author> <author><persName><forename>Khalil</forename><surname>Djelloul</surname></persName></author> <author><persName><forename>Jacques</forename><surname>Robin</surname></persName></author> <title type="main" level="a">Une sémantique complète pour CHR en logique des transactions</title></analytic><monogr><meeting>Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07)</meeting><imprint><pubPlace><settlement>INRIA</settlement><country> Domaine de Voluceau, Rocquencourt, Yvelines France</country></pubPlace><biblScope type="publicationDate">2007-06-04</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00151149/en/</idno><idno type="HALFile">http://hal.inria.fr/inria-00151149/PDF/50.pdf</idno></biblStruct> </listBibl> </listBibl>
Application Error:
Database fatal error
Contact us
BibTeX EndNote TEI RefWorks