Suchergebnisse - "D.3.4 [Programming Languages] Processors — Compilers"

Lazy rewriting on eager machinery

Autoren: Wan Fokkink Jasper Kamperman Pum Walters

Quelle: ACM Transactions on Programming Languages and Systems. 22:45-86

Schlagwörter: Optimization, Languages, Specificity ordering, 0202 electrical engineering, electronic engineering, information engineering, D.3.4 [Programming Languages]: Processors - Compilers, 0102 computer and information sciences, 02 engineering and technology, Lazy rewriting, Innermost reduction, 01 natural sciences

Zugangs-URL: http://www.cs.swan.ac.uk/reports/yr1999/CSR3-99.pdf
https://hdl.handle.net/1871.1/2dbee48c-b1e9-4cce-8379-250af6639cd6
https://doi.org/10.1145/345099.345102
https://research.vu.nl/en/publications/2dbee48c-b1e9-4cce-8379-250af6639cd6
https://link.springer.com/chapter/10.1007%2F3-540-59200-8_54
https://core.ac.uk/display/20698248
https://dblp.uni-trier.de/db/journals/toplas/toplas22.html#FokkinkKW00
https://research.vu.nl/en/publications/lazy-rewriting-on-eager-machinery
https://dl.acm.org/doi/10.1145/345099.345102
https://rd.springer.com/chapter/10.1007/3-540-59200-8_54

Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems

Autoren: Pum Walters Wan Fokkink Jasper Kamperman

Quelle: ACM Transactions on Programming Languages and Systems. 20:679-706

Schlagwörter: Term rewriting, Abstract machine, Languages, Specificity ordering, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, D.3.4 [Programming Languages]: Processors - compilers, optimization, SDG 4 - Quality Education, 01 natural sciences, Automata

Zugangs-URL: https://hdl.handle.net/1871.1/f513fc46-3de0-40f3-bd24-8c5a261600c8
https://research.vu.nl/en/publications/f513fc46-3de0-40f3-bd24-8c5a261600c8
https://doi.org/10.1145/291889.291903
https://research.vu.nl/en/publications/within-arms-reach-compilation-of-left-linear-rewrite-systems-via-
https://dblp.uni-trier.de/db/journals/toplas/toplas20.html#FokkinkKW98
https://dl.acm.org/doi/10.1145/291889.291903
https://www.narcis.nl/publication/RecordID/oai%3Aresearch.vu.nl%3Apublications%2Ff513fc46-3de0-40f3-bd24-8c5a261600c8
https://doi.org/10.1145/291889.291903

Writing Self-testing Java Classes with SelfTest

Autoren: Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.utep.edu/cheon/techreport/tr14-31.pdf.

Schlagwörter: annotation, annotation processor, test case, unit test, Java, JUnit, SelfTest. 1998 CR Categories, D.2.3 [Software Engineering] Coding Tools and Techniques — Object-oriented programming, D.2.5 [Software Engineering] Testing and Debugging — Testing tools (e.g, data generators, coverage testing, D.3.4 [Programming Languages] Processors — Compilers, preprocessors

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.3707

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.3707
http://www.cs.utep.edu/cheon/techreport/tr14-31.pdf

Alias Verification for Fortran Code Optimization

Autoren: Thi Viet Nga Nguyen François Irigoin The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Thi Viet Nga Nguyen François Irigoin The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf.

Schlagwörter: Key Words, alias, dummy aliasing, verification, optimization Category, D.2.4 Software Engineering- Software/Program Verification [Assertion checkers] D.2.5 Software Engine, Symbolic execution] D.3.4 Programming Languages- Processors [Compilers, Optimization

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.802; http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.802
http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf

TABLE OF CONTENTS

Autoren: Medhat G. Assaad The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Medhat G. Assaad The Pennsylvania State University CiteSeerX Archives

Quelle: http://archives.cs.iastate.edu/documents/disk0/00/00/02/41/00000241-00/tr.pdf.

Schlagwörter: sematics, D.3.3 [Programming Languages] Language Constructs and Features — control struc- tures, procedures, functions, and subroutines, D.3.4 [Programming Languages] Processors — compilers, optimization, experimetation, performance, D.3.m [Programming Languages] Mis- cellaneous — dynamic dispatch, multiple dispatch, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — logi

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.6535

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.6535
http://archives.cs.iastate.edu/documents/disk0/00/00/02/41/00000241-00/tr.pdf

Optimizing shared cache behavior of chip multiprocessors

Autoren: Kandemir, M. Muralidhara, S.P. Narayanan, S.H.K. et al.

Quelle: Proceedings of the Annual International Symposium on Microarchitecture, MICRO

Schlagwörter: Algorithm, B.3.2 [memory structures]: design styles - cache memories, D.3.4 [programming languages]: processors - compilers, Design, Experimentation, Performance, Design styles, Memory structure, Programming language, Computer software, Experiments, Linguistics, Microprocessor chips, Multiprocessing systems, Optimization, Program compilers, Cache memory

Dateibeschreibung: application/pdf

Relation: http://dx.doi.org/10.1145/1669112.1669176; http://hdl.handle.net/11693/28639

Verfügbarkeit: http://hdl.handle.net/11693/28639
https://doi.org/10.1145/1669112.1669176

Compiler Blockability of Dense Matrix Factorizations

Autoren: Carr, Steve Lehoucq, R. B.

Quelle: Michigan Tech Publications

Schlagwörter: D.3.4 [Programming Languages]: Processors - compilers, F.2.1 [Analysis of Algorithms and Problem Complexity]: Numerical Algorithms and Problems - computations on matrices, Optimization

Relation: https://doi.org/10.1145/275323.275325

Verfügbarkeit: https://digitalcommons.mtu.edu/michigantech-p/12557
https://doi.org/10.1145/275323.275325

Improving Data Locality with Loop Transformations

Autoren: Mckinley, Kathryn S. Carr, Steve Tseng, Chau Wen

Quelle: Michigan Tech Publications

Schlagwörter: Cache, Compiler optimization, D.3.4 [Programming Languages]: Processors - compilers, Data locality, Languages, Loop distribution, Loop fusion, Loop permutation, Loop reversal, Loop transformations, Microprocessors, Optimization, Performance, Simulation

Relation: https://doi.org/10.1145/233561.233564

Verfügbarkeit: https://digitalcommons.mtu.edu/michigantech-p/12530
https://doi.org/10.1145/233561.233564