Programming environment < Programming language < Programming languages

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

List of bibliographic references

Number of relevant bibliographic references: 28.
[0-20] [0 - 20][0 - 28][20-27][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
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
000C01 (1997)	M. Hermann [France] ; R. Galbavy [France]	Unification of infinite sets of terms schematized by primal grammars

---

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/KwdEn.i -k "Programming language" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i  \
                -Sk "Programming language" \
         | 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=    KwdEn.i
   |clé=    Programming language
}}

---

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