Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
international transformations » international transformation, international transportation, international translations
transformations programming » transformation programme, transformation program
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
1
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “...Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... -- Programming Type-Safe Transformations Using Higher-Order Abstract Syntax -- Session 6: Security -- Formalizing...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... and Rule Transformation -- High-Level Programs and Program Conditions -- Compositional Systems -- Parallel...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Model Transformations -- A Constructive Approach to Testing Model Transformations -- From Sequence...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Accelerators for Cartesian Genetic Programming -- Genetic Programming and Class-Wise Orthogonal Transformation...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Management Using Thread-Local Storage -- An Efficient On-the-Fly Cycle Collection -- Program Transformations...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Formal Notation -- Improved Memory-Access Analysis for x86 Executables -- Analyses and Transformations...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Programs Using Lexical Join Point Information -- Meta-programming and Transformation -- Generalized Type...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern