Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
operational transformations » operational transformation, operational transportation, rational transformations
transformations programming » transformation programme, transformation program
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
operational transformations » operational transformation, operational transportation, rational transformations
transformations programming » transformation programme, transformation program
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
1
Published 2008
Table of Contents:
“...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... of Hardware Using Genetic Programming -- Population Parallel GP on the G80 GPU -- Operator Equalisation...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... and Rule Transformation -- High-Level Programs and Program Conditions -- Compositional Systems -- Parallel...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Model Transformations -- A Constructive Approach to Testing Model Transformations -- From Sequence...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Programs Using Lexical Join Point Information -- Meta-programming and Transformation -- Generalized Type...”View full text
Electronic
eBook
15
Table of Contents:
“...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
View full text
View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...-Dependence Analysis and Program Transformation for Symbolic Execution -- JPF–SE: A Symbolic Execution...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... -- Practical Conflict Resolution for the Composition of Program Transformations....”View full text
Electronic
eBook