Rezultaty - programs relative https function based https

1

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

Wydane 2008

Spis treści: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Wydane 2006

Spis treści: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2010

Spis treści: “...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

5

Event-Based Programming Taking Events to the Limit /

od Faison, Ted., Faison, Ted.
Wydane 2006

Spis treści: “... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /

Wydane 2015

Spis treści: “...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers /

Wydane 2012

Hasła przedmiotowe: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Wydane 2006

Spis treści: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

10

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

Wydane 2008

Spis treści: “... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2007

Spis treści: “... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Wydane 2015

Spis treści: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /

Wydane 2015

Spis treści: “...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Linear Programming and Generalizations A Problem-based Introduction with Spreadsheets /

od Denardo, Eric V., Denardo, Eric V.
Wydane 2011

Spis treści: “.... Differentiation -- Chapter 19. Convex Functions -- Chapter 20 -- Nonlinear Programs....”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Wydane 2007

Spis treści: “... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Wydane 2005

Spis treści: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

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

18

Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010...

Wydane 2011

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

Elektroniczne E-book

19

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Wydane 2008

Spis treści: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Wydane 2013

Spis treści: “... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty