THE INTERMEDIATE LEXICON: AN AID TO INTERNATIONAL CO-OPERATIONHORSNELL V.1975; ASLIB PROC.; G.B.; DA. 1975; VOL. 27; NO 2; PP. 57-66; BIBL. 4REF.; (48TH. ASLIB ANNU. CONF. ACCESS INF. INT. CO-OPER. FOREIGN RESOUR.; CAMBRIDGE; 1974)Conference Paper

EVALUATION AND IMPLEMENTATION OF AN INTERMEDIATE LEXICON.HORSNELL V.1977; IN: EURIM II. EUR. CONF. APPL. RES. INF. SERV. LIBR.; AMSTERDAM; 1976; LONDON; ASLIB; DA. 1977; PP. 110-112; BIBL. 4 REF.Conference Paper

INTERMEDIATE LEXICON FOR INFORMATION SCIENCE. A FEASIBILITY STUDYHORSNELL V.1974; LONDON; POLYTECH. NORTH LONDON; DA. 1974; PP. (133P.); BIBL. DISSEM.; ISBN 0900639083Miscellaneous

LE SLUNT (SPOKEN LANGUAGES UNIVERSAL NUMERIC TRANSLATION) OU TRADUCTION NUMERIQUE UNIVERSELLE DES LANGUES PARLEES.GOSHAKE W.1977; IN: FRANCHIR BARRIERE LINGUIST. CONGR. EUR. SYST. RESEAUX DOC. 3; LUXEMBOURG; 1977; MUENCHEN; VERLAG DOK.; DA. 1977; VOL. 1; PP. 715-730Conference Paper

L'EXPLICATION SEMANTIQUE COMME UN MOYEN D'ANALYSE ET DE FORMALISATION DU SUJETEGOROVA NA.1976; NAUCH.-TEKH. INFORM., 2; S.S.S.R.; DA. 1976; NO 1; PP. 26-28; ABS. ANGL. ALLEM.; BIBL. 7REF.Serial Issue

THE INTERMEDIATE LEXICON. THE POSSIBILITIES FOR INFORMATION EXCHANGE NETWORKSHORSNELL V.1975; IN: INF. REVOLUTION. PROC. 38TH. AM. SOC. INF. SCI. ANNU. MEET.; BOSTON, MASS.; 1975; WASHINGTON; A.S.I.S.; DA. 1975; PP. 79; BIBL. 2 REF.Conference Paper

NUMBER LANGUAGE AND INFORMATION RETRIEVALGOSHAWKE W.1979; ANALYSIS OF MEANING. INFORMATICS. CONFERENCE/1979/OXFORD; GBR; LONDON: ASLIB; DA. 1979; PP. 290-292; BIBL. 1 REF.Conference Paper

Factorial languages of low combinatorial complexitySHUR, Arseny M.Lecture notes in computer science. 2006, pp 397-407, issn 0302-9743, isbn 3-540-35428-X, 1Vol, 11 p.Conference Paper

On the correctness of transformations in compiler back-endsZIMMERMANN, Wolf.Lecture notes in computer science. 2006, pp 74-95, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 22 p.Conference Paper

A typed intermediate language for compiling multiple inheritanceJUAN CHEN.ACM SIGPLAN notices. 2007, Vol 42, Num 1, pp 25-30, issn 1523-2867, 6 p.Conference Paper

ETUDE ET REALISATION D'UN PRODUCTEUR DE CODE PARAMETRALE PAR LES DESCRIPTIONS DES LANGAGES SOURCE ET CIBLELEBARBIER DANIEL.1979; ; FRA; DA. 1979; 116 P.; 21 CM; BIBL. 3 P.; TH. 3E CYCLE: INF./RENNES 1/1979/585Thesis

XDP : a compiler intermediate language extension for the representation and optimization of data movementCARTER, L; FERRANTE, J; VASANTH BALA et al.International journal of parallel programming. 1994, Vol 22, Num 5, pp 485-518, issn 0885-7458Article

La langue intermédiaire dans la traduction automatique en URSS (1954-1960) : Filiations et modèles = Intermediate language in machine translation in the USSR (1954-1960) : Filiations and modelsARCHAIMBAULT, S; LEON, J.Histoire épistémologie langage. 1997, Vol 19, Num 2, pp 105-132, issn 0750-8069Article

UNE PROPOSITION DE CORRESPONDANCE ENTRE INTERFACES EXTERNES HETEROGENES ET INTERFACE CONCEPTUELLE D'UNE ARCHITECTURE DE BASES DE DONNEES REPARTIESTEJERA LISBOA CLAIRE.1979; ; FRA; DA. 1979; 165 P.-PL.; 30 CM; TH. DOCT.-ING.: MATH. APPL./PARIS 6/1979Thesis

A common intermediate language and its use in partitioning concurrent declarative programsARIOLA, Z. M; MASSEY, B. C; SAMI, M et al.New generation computing. 1996, Vol 14, Num 3, pp 281-315, issn 0288-3635Article

A verifiable SSA program representation for aggressive compiler optimizationMENON, Vijay S; GLEW, Neal; MURPHY, Brian R et al.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 397-408, issn 1523-2867, 12 p.Conference Paper

Haskell is not not MLRUDIAK-GOULD, Ben; MYCROFT, Alan; JONES, Simon Peyton et al.Lecture notes in computer science. 2006, pp 38-53, issn 0302-9743, isbn 3-540-33095-X, 1Vol, 16 p.Conference Paper

Automatic discovery of covariant read-only fieldsPALSBERG, Jens; TIAN ZHAO; JIM, Trevor et al.ACM transactions on programming languages and systems. 2005, Vol 27, Num 1, pp 126-162, issn 0164-0925, 37 p.Article

Protocol specializationNEUBAUER, Matthias; THIEMANN, Peter.Lecture notes in computer science. 2004, pp 246-261, issn 0302-9743, isbn 3-540-23724-0, 16 p.Conference Paper

Formal Verification of an SSA-Based Middle-End for CompCertBARTHE, Gilles; DEMANGE, Delphine; PICHARDIE, David et al.ACM transactions on programming languages and systems. 2014, Vol 36, Num 1, issn 0164-0925, 4.1-4.35Article

A certified type-preserving compiler from lambda calculus to assembly languageCHLIPALA, Adam.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 54-65, issn 1523-2867, 12 p.Conference Paper

An overview of the PL.8 compilerAUSLANDER, Marc; HOPKINS, Martin.ACM SIGPLAN notices. 2004, Vol 39, Num 4, pp 39-48, issn 1523-2867, 10 p.Article

Design of a CIL connector to SPINLI YONJIAN; XUE RUI.Annual international computer software and applications conference. 2004, isbn 0-7695-2209-2, 2Vol, vol1, 349-354Conference Paper

Language integration in the Common Language RuntimeHAMILTON, Jennifer.ACM SIGPLAN notices. 2003, Vol 38, Num 2, pp 19-28, issn 1523-2867, 10 p.Article

PolyAML : A polymorphic aspect-oriented functional programming languageDANTAS, Daniel S; WALKER, David; WASHBURN, Geoffrey et al.ACM SIGPLAN notices. 2005, Vol 40, Num 9, pp 306-319, issn 1523-2867, 14 p.Conference Paper