Suchergebnisse - D.3.4 [Programming Languages] Processors—code generation
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Constraint Handling Rules, compilation, optimization, analysis, memory footprint. CR Subject Classification, D.3.2 [Programming Languages] Language Classifications
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.6525; http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW433.pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Constraint Handling Rules, optimized compilation, program transformation, program analysis. CR Subject Classification, D.3.2 [Programming Languages] Language Classifications
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.9185; http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW396.pdf
-
3
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Code generation General Terms, Performance Keywords, Deserialization, code generation
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.3367; http://mir.cs.illinois.edu/~marinov/publications/GligoricETAL11CoDeSe.pdf
-
4
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors – code generation. General Terms Languages. Keywords Run-time code generation
Dateibeschreibung: application/pdf
-
5
Autoren:
Weitere Verfasser:
Dateibeschreibung: application/pdf
-
6
Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives
Schlagwörter: Concurrent, Sequencial, Esterel, Program Dependence
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.4790; http://www.cs.columbia.edu/~sedwards/papers/zeng2004generating.pdf
-
7
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.3.2 [Programming Languages, Language Classifica- tions—Very high-level languages, D.3.3 [Programming Lan- guages, Language Constructs and Features—Classes and objects, Inheritance, Polymorphism, D.3.4 [Programming Languages, Processors—Code generation, Compilers, Op- timization General Terms Design, Languages, Performance Keywords JavaScript, Scripting Language, Dynamic Typing, Type Spe- cialization, Hidden Class, Inline Caching, Prototype
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.278; http://polaris.cs.uiuc.edu/%7Egarzaran/doc/pldi14.pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors H.2.4 [Database Management, Systems—query process- ing, relational databases, D.3.4 [Programming Languages, Processors—code generation, compilers, run-time environ- ments General Terms
Dateibeschreibung: application/pdf
-
9
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Code generation, Compilers
Dateibeschreibung: application/pdf
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Code generation, Compilers General Terms Design, Performance Keywords Approximation, Compiler, GPU, Optimization
Dateibeschreibung: application/pdf
-
11
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors – Code generation, Optimization, Run-time environments
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.2782; http://ppl.stanford.edu/papers/popl13_rompf.pdf
-
12
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.1.1 [Programming Tech- niques, Applicative (Functional) Programming, D.2.1 [Software Engineering, Requirements/Specifications Tools, D.2.4 [Soft- ware Engineering, Software/Program Verification—Correctness proofs, D.2.4 [Software Engineering, Software/Program Verification—Formal methods, D.3.4 [Programming languages, Processors—Code generation General Terms Design, Languages, Verification Keywords theorem proving, code generation, higher-order logic, Isabelle
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.666.5753; http://www4.in.tum.de/%7Ehaftmann/pdf/from_hol_to_haskell_haftmann.pdf
-
13
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.1.5 [Programming Techniques, Object-Oriented Pro- gramming, D.3.3 [Programming Languages, Language Constructs and Features—Control structures, D.3.4 [Programming Languages, Processors—Code generation, Run-time environ- ments, Optimization General Terms, Design, Human Factors, Languages Additional Key Words and Phrases, Nu, invocation, weaving, aspect-oriented intermediate- languages, aspect-oriented virtual machines
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.499.9802; http://www.cs.iastate.edu/~rdyer/papers/tosem09.pdf
-
14
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—Access controls, D.3.4 [Programming Languages, Processors—Code generation, D.2.4 [Software Engineering, Software/Program Verification—Validation
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.376.663; http://www.utdallas.edu/~kxh060100/wartell12acsac.pdf
-
15
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Programming, D.3.4 [PROGRAMMING LANGUAGES, Processors – Code generation, Compilers, Optimization, Runtime environments General Terms Algorithm, Design, Experimentation, Languages, Measurement, Performance
Dateibeschreibung: application/pdf
-
16
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.1 [Software Engineer- ing, Requirements/Specifications—tools, D.3.4 [Programming Languages, Processors—code generation, optimization General Terms Performance, Languages Keywords code generation, code synthesis, SCR, requirements specifications, formal specifications, optimization
Dateibeschreibung: application/pdf
-
17
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.1.3 [Programming Tech- niques, Concurrent Programming – Parallel programming, D.3.4 [Programming Languages, Processors – Code generation, Opti- mization, Run-time environments General Terms Languages, Performance Keywords Parallel Programming, Domain-Specific Languages, Dynamic Optimizations
Dateibeschreibung: application/pdf
-
18
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: D.1.3 [Programming Techniques, Concurrent Programming—Parallel Programming, D.3.4 [Programming Languages, Processors—Code Generation, Compilers, B.7.1 [Integrated Circuits, Types and Design Styles—Memory Technologies, C.1.2 [Processor Architectures, Multiple Data Stream Architectures (Multiprocessors) General Terms Design, Performance Keywords Parallelization, Dynamic optimization, Transactional memory
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.9503; http://cseweb.ucsd.edu/users/tullsen/hipeac11.pdf
-
19
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.6 [Software Engineering, Programming Environments – interactive environments, D.2.11 [Software Engineering, Software Architectures – data abstraction, patterns, D.2.12 [Software Engineering, Interoperability – data mapping, D.3.2 [Programming Languages, Language Classifications- data-flow languages, D.3.3 [Programming Languages, Language Constructs and Features – constraints, D.3.4 [Programming Languages, Processors – code generation, incremental compilers, run-time environments. General Terms, Design, Languages Keywords, Delta-driven execution, incremental computation, adaptive functions
Dateibeschreibung: application/pdf
-
20
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors-Code generation, Compilers, Optimization General Terms Keywords Algorithms, Performance, Experimentation Loop Vectorization, Data Transformation, GPGPU
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science