Suchergebnisse - "Automatic Programming—Program transformation"
-
1
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.2 [Software Engineering, Design Tools and Techniques—computer-aided software engineering, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.648; http://acmbulletin.fiit.stuba.sk/vol3num3/mederly.pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—information flow controls, D.4.6 [Oper- ating Systems, Security and Protection—access controls, D.3.4 [Programming Languages, Language Classifications—constraint and logic languages, D.3 [Programming Languages, Processors— code generation, optimization, E.1 [Data, Data Structures— arrays, lists, queues, records, F.2 [Analysis of Algorithms and Problems Complexity, Nonnumerical Algorithms and Problems— computations on discrete structures, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation, E.2 [Data, Data Storage Representations—linked representations General Terms security, algorithms, languages, performance Keywords information flow, type inference, security, algorithm, time
Dateibeschreibung: application/pdf
-
3
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors C.3 [Computer Systems Organization, Special-Purpose and Application-Based Systems, Real-time and embedded systems, D.4.5 [Software, Operating Systems, Reliability [Checkpoint/restart, Fault-tolerance, I.2.2 [Computing Methodologies, Artificial Intelligence, Automatic Programming[Program transformation] General Terms Reliability, Languages. Keywords Fault-tolerance, Heartbeating, Checkpointing, Program transformations
Dateibeschreibung: application/pdf
-
4
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Systems, Security and Protection—access controls, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms Design, Languages, Performance, Security Keywords access control, complexity guarantees, incrementalization, optimization
Dateibeschreibung: application/pdf
-
5
Autoren:
Weitere Verfasser:
Schlagwörter: evaluation, program analysis, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms algorithms, performance, theory Keywords narrowing, quasi-termination, offline partial evaluation
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892; http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf
-
6
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and subject descriptors, D.3.4 [Programming Languages, Processors – optimization, I.2.2 [Artificial Intelligence, Automatic Programming – Program transformation, D.2.13 [Software Engineering, Reusable Software. General Terms, Algorithms, Performance. Keywords, Partial Evaluation, specialization, weakest pre-condition
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.9764; http://www.comp.nus.edu.sg/~khoosc/papers/hoscOCS.pdf
-
7
Autoren:
Quelle: Mobile HCI 2005. 7th International Conference on Human Computer Interaction with Mobile Devices and Services, pp. 83–90, Salzburg, 19-22 September 2005
info:cnr-pdr/source/autori:Bandelloni R.; Mori G.; Paterno' F./congresso_nome:Mobile HCI 2005. 7th International Conference on Human Computer Interaction with Mobile Devices and Services/congresso_luogo:Salzburg/congresso_data:19-22 September 2005/anno:2005/pagina_da:83/pagina_a:90/intervallo_pagine:83–90Schlagwörter: H.5 Information interfaces and presentation, Ubiquitous environments, Migratory Interfaces, I.2.2 Automatic Programming. Program Transformation, Model-based design
Dateibeschreibung: application/pdf
-
8
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Optimization, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms, Design, Experimentation Additional Key Words and Phrases, Automatic program specialization, object-oriented languages, partial evaluation, Java, optimization
Dateibeschreibung: application/pdf
-
9
Autoren:
Weitere Verfasser:
Schlagwörter: and logic languages, D.3.4 [Programming Languages, Processors—code generation, optimization, E.1 [Data, Data Structures—arrays, lists, queues, records, E.2 [Data, Data Storage Representations—linked representations, F.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—computations on discrete structures, H.2.3 [Information Systems, Database Management—query languages, H.2.4 [Information Systems, Systems—query processing, rule-based databases, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Algorithms, Languages, Performance Additional Key Words and Phrases, Complexity analysis, Datalog, data structure design, incremental computation, indexing, indexed representations, linked representations
Dateibeschreibung: application/pdf
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.1.1 [PROGRAMMING TECHNIQUES, Applicative (Functional) Programming, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.3.4 [PROGRAMMING LANGUAGES, Processors, F.3.2 [LOGICS AND MEANINGS OF PROGRAMS, Semantics of Programming Languages—Operational semantics, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Programming—Program Transformation, Program Synthesis General Terms, Design, Languages, Theory Additional Key Words and Phrases, Binding-time Analysis, Program Specialization, Regions 1 Work performed while at the Universität Freiburg, Germany
Dateibeschreibung: application/pdf
-
11
Autoren:
Weitere Verfasser:
Schlagwörter: I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms Languages, Performance
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.1605; http://www.dsic.upv.es/users/elp/german/pepm02/vidal.pdf
-
12
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: gramming Languages, Processors---compilers, optimization, I.1.2 [Algebraic Manipulation, Algorithms---analysis of algorithms, I.2.2 [Artificial Intelligence, Automatic Programming---program transformation General Terms, Partial Redundancy, Code Motion, Static Single Assignment Form Additional Key Words and Phrases, common subexpressions, data flow analysis, program optimization
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9783; http://reality.sgi.com/dehnert_engr/papers/KCLLTC99.ps
-
13
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.6 [Programming Techniques, Logic Programming, D.3.3 [Language Classifications, Multiparadigm Languages, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Languages, Performance, Theory Additional Key Words and Phrases, Conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.6018; http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf
-
14
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, I.2.2 [Artificial Intelligence, Automatic Programming—Program Transformation Additional Key Words and Phrases, Partial Deduction, Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.199; http://www.dsi.unive.it/~michele/Papers/cs98.pdf
-
15
Autoren:
Weitere Verfasser:
Schlagwörter: operational semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic- logic programming, I.2.2 [Artificial Intelligence, Automatic Programming- program transformation, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving- logic programming
Dateibeschreibung: application/postscript
-
16
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors--compilers, optimization, D.1.3 [Programming Techniques, Concurrent Programming, I.2.2 [Artificial Intelligence, Automatic Programming--program transformation General Terms, Compilation, Parallelism Additional Key Words and Phrases, Vectorization, multiprocessors, superscalar processors, dependence analysis Technical
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.6233; http://www.cs.berkeley.edu/~yelick/titanium/papers/bacon.ps
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ftp://ftp.daimi.aau.dk/pub/empl/danvy/Papers/danvy-hatcliff-loplas93.ps.gz
Schlagwörter: Logic---lambda calculus and related systems, I.2.2 [Artificial Intelligence, Automatic Programming---program transformation
Dateibeschreibung: application/postscript
-
18
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: D.3.4 [Programming Languages, Processors—compilers, optimization, I. 1.2 [Algebraic Manipulation, Algorithms—analysis of algorithms, 1.2.2 [Artificial Intelligence, Automatic Programming-program transformation
Dateibeschreibung: application/pdf
-
19
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors – optimization, I.2.2 [Artificial Intelligence, Automatic Programming – Program transformation. General Terms Algorithm, Performance, Languages Keywords Reactive System, Partial Evaluation, Tupling
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563; http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf
-
20
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://arxiv.org/pdf/0807.3979v1.pdf.
Schlagwörter: Categories and Subject Descriptors, I.2.2 [Artificial Intelligence, Automatic Programming— Program transformation, D.3.1 [Programming Languages, Formal Definitions and Theory— Semantics, D.3.3 [Programming Languages, Language Constructs and Features—Constraints General Terms, Languages, Theory, Semantics
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.247.7649; http://arxiv.org/pdf/0807.3979v1.pdf
Nájsť tento článok vo Web of Science