Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7 9, 1994 : proceedings
The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specif...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
786 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Compiler construction, 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994, proceedings, Peter A. Fritzson, ed, Berlin, Springer-Verlag, 1994, 1 vol. (xi, 449 p.), Lecture notes in computer science, 0-387-57877-3 • Compiler Construction, Texte imprimé, 9783662175606 |
| LEADER | 05087nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944723 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155199277 | ||
| 020 | |a 9783540483717 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Compiler Construction |n (05 |d :1994 |c :Edinburgh, GB). | |
| 245 | 1 | 0 | |a Compiler construction : |b 5th International Conference, CC '94, Edinburgh, U.K., April 7 9, 1994 : proceedings |c [edited by] Peter A. Fritzson. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 786 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a OASIS: An optimizing action-based compiler generator -- Action transformations in the actress compiler generator -- An overview of door attribute grammars -- Coupling evaluators for attribute coupled grammars -- Towards the global optimization of functional logic programs -- A portable and optimizing back end for the SML/NJ compiler -- Efficient organization of control structures in distributed implementations -- Implementing 2DT on a multiprocessor -- Global code selection for directed acyclic graphs -- Compiling nested loops for limited connectivity VLIWs -- Delayed exceptions Speculative execution of trapping instructions -- On the implementation of abstract interpretation systems for (constraint) Logic Programs -- A suite of analysis tools based on a general purpose abstract interpreter -- Flow grammars a flow analysis methodology -- Provable correctness of prototype interpreters in LDL -- Developing efficient interpreters based on formal language specifications -- Generating an efficient compiler for a data parallel language from a denotational specification -- Adding semantic and syntactic predicates to LL(k): pred-LL(k) -- Cosy compiler phase embedding with the CoSy compiler model -- Towards provably correct code generation for a hard real-time programming language -- Supporting array dependence testing for an optimizing/parallelizing C compiler -- Processing array statements and procedure interfaces in the PREPARE high performance fortran compiler -- A practical approach to the symbolic debugging of parallelized code -- Reducing the cost of data flow analysis by congruence partitioning -- Interprocedural constant propagation using dependence graphs and a data-flow model -- Solving demand versions of interprocedural analysis problems -- Compile time instruction cacheoptimizations -- Instruction scheduling over regions: A framework for scheduling across basic blocks -- Transport-triggering vs. operation-triggering. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements on languages and target architectures. It also includes language design and programming environment issues which are related to language translation. There is an emphasis on practical and efficient techniques. This volume contains the papers selected for presentation at CC '94, the fifth International Conference on Compiler Construction, held in Edinburgh, U.K., in April 1994. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Compilateurs (logiciels) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Fritzson, Peter A., |d 1952- |4 pbd | |
| 776 | 0 | |0 018561829 |t Compiler construction |o 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994 |o proceedings |f Peter A. Fritzson, ed |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (xi, 449 p.) |s Lecture notes in computer science |z 0-387-57877-3 | |
| 776 | 0 | |t Compiler Construction |b Texte imprimé |z 9783662175606 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-57877-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-BJTC0WDB-K |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747917094 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-57877-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750929693 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-57877-3 |z Accès INSA CVL | |
| 997 | |0 944723 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||