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. Mohanty | Languages, 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
}}
| 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 | ![](Common/icons/LogoDilib.gif) |