Search Results - international transformation programming programming constructs https

Search alternatives:
international transformation » international information , operational transformation , institutional transformation
transformation programming » transformations programming , transformation programme , transformation programmed
programming programming » programming programmed , programming program
programming constructs » programming concepts , programming contest
constructs https » construction https , constructs loops , constructs arti

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /

Published 2015

Table of Contents: “...Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security...”
View full text

Electronic eBook

Mathematics of Program Construction 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /

Published 2008

Table of Contents: “...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”
View full text

Electronic eBook

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
View full text

Electronic eBook

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline...”
View full text

Electronic eBook

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Published 2008

Table of Contents: “... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...”
View full text

Electronic eBook

Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European...

Published 2010

Table of Contents: “... -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local...”
View full text

Electronic eBook

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings /

Published 2008

Table of Contents: “... and Rule Transformation -- High-Level Programs and Program Conditions -- Compositional Systems -- Parallel...”
View full text

Electronic eBook

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint...

Published 2013

Table of Contents: “...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”
View full text

Electronic eBook

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /

Published 2010

Table of Contents: “... Model Transformations -- A Constructive Approach to Testing Model Transformations -- From Sequence...”
View full text

Electronic eBook

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings /

Published 2013

Table of Contents: “... -- Programming Type-Safe Transformations Using Higher-Order Abstract Syntax -- Session 6: Security -- Formalizing...”
View full text

Electronic eBook

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
View full text

Electronic eBook

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

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

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”
View full text

Electronic eBook

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Published 2008

Table of Contents: “... Accelerators for Cartesian Genetic Programming -- Genetic Programming and Class-Wise Orthogonal Transformation...”
View full text

Electronic eBook

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European...

Published 2005

Table of Contents: “... Management Using Thread-Local Storage -- An Efficient On-the-Fly Cycle Collection -- Program Transformations...”
View full text

Electronic eBook

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European...

Published 2008

Table of Contents: “... Formal Notation -- Improved Memory-Access Analysis for x86 Executables -- Analyses and Transformations...”
View full text

Electronic eBook

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European...

Published 2007

Table of Contents: “... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings /

Published 2005

Table of Contents: “... Programs Using Lexical Join Point Information -- Meta-programming and Transformation -- Generalized Type...”
View full text

Electronic eBook

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European...

Published 2006

Table of Contents: “...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”
View full text

Electronic eBook

Narrow Search