Langage programmation And NotPierre-Etienne Moreau
List of bibliographic references
Number of relevant bibliographic references: 28.Ident. | Authors (with country if any) | Title |
---|---|---|
000285 | Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France] | A Logical Account of PSPACE |
000349 | Guillaume Bonfante [France] | Some programming languages for LOGSPACE and PTIME |
000354 | 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 | Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application |
000395 | TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis] | Decision procedures for term algebras with integer constraints |
000507 | Véronique Cortier [France] ; Bogdan Warinschi [États-Unis] | Computationally sound, automated proofs for security protocols |
000572 | Claude Kirchner [France] ; Hélène Kirchner [France] | Rule-based programming and proving: The ELAN experience outcomes |
000584 | L. Kristiansen [Norvège] ; K.-H. Niggl [Allemagne] | On the computational complexity of imperative programming languages |
000617 | Martin Abadi [États-Unis] ; Veronique Cortier [France] | Deciding knowledge in security protocols under equational theories |
000630 | Olivier Bournez [France] ; Emmanuel Hainry [France] | An analog characterization of elementarily computable functions over the real numbers |
000679 | Gilles Barthe [États-Unis, France] ; Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori | Pure patterns Type systems |
000746 | Alexander Bockmayr [France] ; Arnaud Courtois [France] | Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides |
000763 | Alexander Bockmayr [France] ; Arnaud Courtois [France] | Using Hybrid concurrent constraint programming to model dynamic biological systems |
000899 | Christophe Ringeissen [France] | Matching with free function symbols : A simple extension of matching? |
000956 | D. Galmiche [France] | Workshop : Type-theoretic languages : Proof-search and semantics |
000994 | A. Bockmayr [France] ; Y. Dimopoulos [Chypre (pays)] | Integer programs and valid inequalities for planning problems |
000999 | C. Ringeissen [France] ; E. Monfroy [Pays-Bas] | Generating propagation rules for finite domains : A mixed approach |
000A27 | M. G. J. Van Den Brand [France] ; C. Ringeissen [Pays-Bas] | ASF+SDF parsing tools applied to ELAN |
000B72 | P.-E. Moreau [France] ; H. Kirchner [France] | A compiler for rewrite programs in associative-commutative theories |
000B97 | O. Galibert [France] | YLC A C+ + Linda system on top of PVM |
000C01 | M. Hermann [France] ; R. Galbavy [France] | Unification of infinite sets of terms schematized by primal grammars |
000C02 | S. Collin [France] ; D. Colnet ; O. Zendra | Type inference for late binding : The SmallEiffel compiler |
000C52 | Systèmes à objets : tendances actuelles et évolution | |
000C61 | G. Castagna [France] | Le modèle fondé sur la surcharge : une visite guidée |
000C69 | J. Malenfant [Canada] | Abstraction et encapsulation en programmation par prototypes |
000D42 | D. Galmiche [France] ; G. Perrier | On proof normalization in linear logic |
000D46 | D. Galmiche [France] ; H. Kirchner [France] | Les langages fonctionnels et logiques |
000D65 | M. Hermann ; C. Kirchner ; H. Kirchner | Implementations of term rewriting systems |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |