Langage ordre 1 < Langage programmation < Langage programmation logique

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f

List of bibliographic references

Number of relevant bibliographic references: 29.
[0-20] [0 - 20][0 - 29][20-28][20-40]

Ident.	Authors (with country if any)	Title
000285 (2008)	Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France]	A Logical Account of PSPACE
000349 (2006)	Guillaume Bonfante [France]	Some programming languages for LOGSPACE and PTIME
000354 (2006)	Dominique Colnet [France] ; Guillem Marpons [Espagne] ; Frederic Merizen [France]	Reconciling subtyping and code reuse in object-oriented languages : Using inherit and insert in smarteiffel, the GNU eiffel compiler
000367 (2006)	Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France]	Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
000395 (2006)	TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis]	Decision procedures for term algebras with integer constraints
000507 (2005)	Véronique Cortier [France] ; Bogdan Warinschi [États-Unis]	Computationally sound, automated proofs for security protocols
000572 (2004)	Claude Kirchner [France] ; Hélène Kirchner [France]	Rule-based programming and proving: The ELAN experience outcomes
000584 (2004)	L. Kristiansen [Norvège] ; K.-H. Niggl [Allemagne]	On the computational complexity of imperative programming languages
000617 (2004)	Martin Abadi [États-Unis] ; Veronique Cortier [France]	Deciding knowledge in security protocols under equational theories
000630 (2004)	Olivier Bournez [France] ; Emmanuel Hainry [France]	An analog characterization of elementarily computable functions over the real numbers
000679 (2003)	Gilles Barthe [États-Unis, France] ; Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori	Pure patterns Type systems
000746 (2002)	Alexander Bockmayr [France] ; Arnaud Courtois [France]	Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
000763 (2002)	Alexander Bockmayr [France] ; Arnaud Courtois [France]	Using Hybrid concurrent constraint programming to model dynamic biological systems
000809 (2002)	Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]	ELAN from a rewriting logic point of view
000899 (2001)	Christophe Ringeissen [France]	Matching with free function symbols : A simple extension of matching?
000956 (2000)	D. Galmiche [France]	Workshop : Type-theoretic languages : Proof-search and semantics
000994 (2000)	A. Bockmayr [France] ; Y. Dimopoulos [Chypre (pays)]	Integer programs and valid inequalities for planning problems
000999 (2000)	C. Ringeissen [France] ; E. Monfroy [Pays-Bas]	Generating propagation rules for finite domains : A mixed approach
000A27 (2000)	M. G. J. Van Den Brand [France] ; C. Ringeissen [Pays-Bas]	ASF+SDF parsing tools applied to ELAN
000B72 (1998)	P.-E. Moreau [France] ; H. Kirchner [France]	A compiler for rewrite programs in associative-commutative theories
000B97 (1997)	O. Galibert [France]	YLC A C+ + Linda system on top of PVM

---

List of associated Author.i

Nombre de documents	Descripteur
3	Claude Kirchner
3	D. Galmiche
3	H. Kirchner
3	Hélène Kirchner
2	Alexander Bockmayr
2	Arnaud Courtois
2	C. Ringeissen
2	M. Hermann
1	A. Bockmayr
1	Bogdan Warinschi
1	C. Kirchner
1	Christophe Ringeissen
1	D. Colnet
1	Dominique Colnet
1	E. Monfroy
1	Emmanuel Hainry
1	Frederic Merizen
1	G. Castagna
1	G. Perrier
1	Gilles Barthe
1	Guillaume Bonfante
1	Guillem Marpons
1	Henny B. Sipma
1	Horatiu Cirstea
1	J. Malenfant
1	Jean-Yves Marion
1	K.-H. Niggl
1	L. Kristiansen
1	Liliana Ibanescu
1	Luigi Liquori
1	M. G. J. Van Den Brand
1	Marco Gaboardi
1	Martin Abadi
1	O. Galibert
1	O. Zendra
1	Oana Andrei
1	Olivier Bournez
1	P.-E. Moreau
1	Peter Borovansky
1	Pierre-Etienne Moreau
1	R. Galbavy
1	S. Collin
1	Simona Ronchi Della Rocca
1	TING ZHANG
1	Veronique Cortier
1	Véronique Cortier
1	Y. Dimopoulos
1	Zohar Manna

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Langage programmation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Langage programmation" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Langage programmation
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022