Risultati della ricerca - program computers https function based https

1

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

Pubblicazione 2008

Sommario: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Testo

Elettronico eBook

2

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

Pubblicazione 2006

Sommario: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Testo

Elettronico eBook

3

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

Pubblicazione 2011

Soggetti: “...Programming languages (Electronic computers)....”
Testo

Elettronico eBook

4

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

Pubblicazione 2010

Sommario: “...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”
Testo

Elettronico eBook

5

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

Pubblicazione 2015

Sommario: “...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”
Testo

Elettronico eBook

6

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

Pubblicazione 2012

Soggetti: “...Computer programming....”
Testo

Elettronico eBook

7

Event-Based Programming Taking Events to the Limit /

di Faison, Ted., Faison, Ted.
Pubblicazione 2006

Sommario: “... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
Testo

Elettronico eBook

8

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

Pubblicazione 2015

Sommario: “...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”
Testo

Elettronico eBook

9

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

Pubblicazione 2015

Sommario: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Testo

Elettronico eBook

10

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

Pubblicazione 2006

Sommario: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Testo

Elettronico eBook

11

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

Pubblicazione 2005

Sommario: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
Testo

Elettronico eBook

12

Mathematical and Computer Programming Techniques for Computer Graphics

di Comninos, Peter., Comninos, Peter.
Pubblicazione 2006

Sommario: “...-Dimensional Transformations -- Viewing and Projection Transformations -- 3D Rendering -- Physically Based...”
Testo

Elettronico eBook

13

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

Pubblicazione 2007

Sommario: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Testo

Elettronico eBook

14

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

Pubblicazione 2005

Sommario: “... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”
Testo

Elettronico eBook

15

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

Pubblicazione 2008

Sommario: “... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”
Testo

Elettronico eBook

16

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Pubblicazione 2010

Sommario: “... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...”
Testo

Elettronico eBook

17

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

Pubblicazione 2007

Sommario: “... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”
Testo

Elettronico eBook

18

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Pubblicazione 2013

Sommario: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Testo

Elettronico eBook

19

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

Pubblicazione 2008

Sommario: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Testo

Elettronico eBook

20

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

Pubblicazione 2012

Sommario: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Testo

Elettronico eBook

Restringi la ricerca