Torthaí Cuardaigh - international transformation programming program constructs https

Cuardaigh malartuithe:
international transformation » international information , operational transformation , institutional transformation
transformation programming » transformations programming , transformation programme , transformation programmed
programming program » programming programmed , programming problem , programming problems
program constructs » program construction , program constructing , programming constructs
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 /

Foilsithe 2015

Clár Ábhair: “...Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2005

Clár Ábhair: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2007

Clár Ábhair: “... -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2010

Clár Ábhair: “... -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... and Rule Transformation -- High-Level Programs and Program Conditions -- Compositional Systems -- Parallel...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2013

Clár Ábhair: “... -- Programming Type-Safe Transformations Using Higher-Order Abstract Syntax -- Session 6: Security -- Formalizing...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2007

Clár Ábhair: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2010

Clár Ábhair: “... Model Transformations -- A Constructive Approach to Testing Model Transformations -- From Sequence...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2013

Clár Ábhair: “...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2010

Clár Ábhair: “... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... Accelerators for Cartesian Genetic Programming -- Genetic Programming and Class-Wise Orthogonal Transformation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2005

Clár Ábhair: “... Management Using Thread-Local Storage -- An Efficient On-the-Fly Cycle Collection -- Program Transformations...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... Formal Notation -- Improved Memory-Access Analysis for x86 Executables -- Analyses and Transformations...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2007

Clár Ábhair: “... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2013

Clár Ábhair: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2005

Clár Ábhair: “... Programs Using Lexical Join Point Information -- Meta-programming and Transformation -- Generalized Type...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2006

Clár Ábhair: “...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

1
2
3
4
5
6
7
8
Ar aghaidh »
[8]

Cuardach Cúng