Lazy rewriting on eager machinery

Συγγραφείς: Wan Fokkink, Jasper Kamperman, Pum Walters

Πηγή: ACM Transactions on Programming Languages and Systems. 22:45-86

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Pum Walters, Wan Fokkink, Jasper Kamperman

Πηγή: ACM Transactions on Programming Languages and Systems. 20:679-706

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Yoonsik Cheon

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.utep.edu/cheon/techreport/tr14-31.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: 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

Συγγραφείς: Thi Viet Nga Nguyen, François Irigoin

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.jucs.org/jucs_9_3/alias_verification_for_fortran/Nguyen_T_V_N.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Medhat G. Assaad

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://archives.cs.iastate.edu/documents/disk0/00/00/02/41/00000241-00/tr.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: 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

Συγγραφείς: Kandemir, M., Muralidhara, S.P., Narayanan, S.H.K., Zhang, Y., Ozturk O.

Πηγή: Proceedings of the Annual International Symposium on Microarchitecture, MICRO

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://hdl.handle.net/11693/28639
https://doi.org/10.1145/1669112.1669176

Compiler Blockability of Dense Matrix Factorizations

Συγγραφείς: Carr, Steve, Lehoucq, R. B.

Πηγή: Michigan Tech Publications

Θεματικοί όροι: 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

Διαθεσιμότητα: https://digitalcommons.mtu.edu/michigantech-p/12557
https://doi.org/10.1145/275323.275325

Improving Data Locality with Loop Transformations

Συγγραφείς: Mckinley, Kathryn S., Carr, Steve, Tseng, Chau Wen

Πηγή: Michigan Tech Publications

Θεματικοί όροι: 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

Διαθεσιμότητα: https://digitalcommons.mtu.edu/michigantech-p/12530
https://doi.org/10.1145/233561.233564