Rezultaty - programming function https function rewriting https

Inne możliwości wyszukiwania:
programming function » programming functional , programming functionals , programme function
function rewriting » functions writing , function predicting , induction rewriting
rewriting https » writing https , rewriting type , screenwriting https
function https » functions https , fiction https
https function » its function , sites function , ups function

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Wydane 2010

Spis treści: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Wydane 2010

Spis treści: “... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings /

Wydane 2011

Hasła przedmiotowe: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /

Wydane 2007

Spis treści: “...Rewriting Foundations -- The Hydra Battle Revisited -- Orderings and Constraints: Theory...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Wydane 2012

Spis treści: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings /

Wydane 2008

Spis treści: “..., and confluence. -- Term-Graph Rewriting Via Explicit Paths -- Finer Is Better: Abstraction Refinement...”
Dokumenty pełnotekstowe

Elektroniczne E-book

All About Maude - A High-Performance Logical Framework How to Specify, Program, and Verify Systems in Rewriting Logic /

od Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Wydane 2007

Spis treści: “...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Wydane 2006

Spis treści: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Wydane 2008

Spis treści: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /

Wydane 2006

Spis treści: “... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Wydane 2007

Spis treści: “... Calculus for a Comparative Analysis of Bio-inspired Calculi -- Applicative Programming -- A Rewriting...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Wydane 2006

Spis treści: “... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Wydane 2013

Spis treści: “... Printing System -- Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJULIENNE -- Why3...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Wydane 2007

Spis treści: “... by Learning Rewriting Rules -- An Efficient Algorithm for Computing Kernel Function Defined with Anti...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “... -- Conflict-based Program Rewriting for Solving Configuration Problems -- Program Updating by Incremental...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Wydane 2006

Spis treści: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Wydane 2005

Spis treści: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty