Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « Titre (en) » - entrée « languages »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
language < languages < langue  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 41.
[0-20] [0 - 20][0 - 41][20-40]
Ident.Authors (with country if any)Title
000033 (2014) Benoît Sonntag [France] ; Dominique Colnet [France]Efficient compilation strategy for object‐oriented languages under the closed‐world assumption
000138 (2013) Ralf Karrenberg [Allemagne] ; Marek Košta [Allemagne] ; Thomas Sturm [Allemagne]Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
000774 (2010) Yamine Ait Ameur [France] ; Frédéric Boniol [France] ; Dominique Méry [France] ; Virginie Wiels [France]Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems
000822 (2010) Ajit K. MohantyLanguages, inequality and marginalization: implications of the double divide in Indian multilingualism
000855 (2010) Shahram Esmaeilsabzali [Canada] ; Nancy A. Day [Canada] ; Joanne M. Atlee [Canada] ; Jianwei Niu [États-Unis]Deconstructing the semantics of big-step modelling languages
000A51 (2009) Eric Jul [Danemark] ; Ian Rogers [Royaume-Uni]Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
000E03 (2008) Olivier Zendra [France] ; Eric Jul [Danemark] ; Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Richard Jones [Royaume-Uni] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis]Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
000E40 (2008) Florent Jacquemard [France] ; Michael Rusinowitch [France]Closure of Hedge-Automata Languages by Hedge Rewriting
001030 (2007) Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] ; Olivier Zendra [France]Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
001240 (2006) Guillaume Bonfante [France]Some Programming Languages for Logspace and Ptime
001372 (2006) El Bieta Kasperska [Pologne] ; Elwira Mateja-Losa [Pologne] ; Damian Słota [Pologne]Comparison of Simulation and Optimization Possibilities for Languages: DYNAMO and COSMIC & COSMOS – on a Base of the Chosen Models
001560 (2005) Balder Ten Cate [Pays-Bas]Interpolation for extended modal languages
001618 (2005) Anssi Yli-Jyr [Finlande]Approximating Dependency Grammars Through Intersection of Regular Languages
001786 (2004) Jérôme Besombes [France] ; Jean-Yves Marion [France]Learning Tree Languages from Positive Examples and Membership Queries
001964 (2003) Noëlle Carbonell [France]Towards the design of usable multimodal interaction languages
001B06 (2003) Moreau Pierre-Etienne [France] ; Christophe Ringeissen [France] ; Marian Vittek [Slovaquie]A Pattern Matching Compiler for Multiple Target Languages
001C98 (2002) Petra Hofstedt [Allemagne]A General Approach for Building Constraint Languages
001F03 (2001) Paolo Bottoni [Italie] ; Bernd Meyer [Australie] ; Kim Marriott [Australie] ; Francesco Parisi Presicce [Italie]Deductive Parsing of Visual Languages
001F46 (2001) Henk Harkema [États-Unis]A Characterization of Minimalist Languages
002052 (2000) Didier Galmiche [France]Workshop: Type-Theoretic Languages: Proof-Search and Semantics
002315 (1999) Dieter Hofbauer [Allemagne] ; Maria Huber [Allemagne]Test Sets for the Universal and Existential Closure of Regular Tree Languages

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "languages" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "languages" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    languages
}}

Wicri

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