Search Results - program compilation https function based https

1

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

2

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

Published 2006

Table of Contents: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
View full text

Electronic eBook

3

Compiler Design Syntactic and Semantic Analysis /

by Wilhelm, Reinhard., Wilhelm, Reinhard., Seidl, Helmut., Hack, Sebastian.
Published 2013

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

4

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

Published 2010

Table of Contents: “...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”
View full text

Electronic eBook

5

Modern Compiler Design

by Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Published 2012

Table of Contents: “... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”
View full text

Electronic eBook

6

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

Published 2011

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

7

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

Published 2012

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

8

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

Published 2015

Table of Contents: “...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”
View full text

Electronic eBook

9

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Machine Learning-Based Compiler -- Optimizing Local Memory Allocation and Assignment through a Decoupled...”
View full text

Electronic eBook

10

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... of Utility Programs Based on Behavior Phase Analysis -- A Systematic Approach to Model-Guided Empirical...”
View full text

Electronic eBook

11

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

Published 2007

Table of Contents: “... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...”
View full text

Electronic eBook

12

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

Published 2005

Table of Contents: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
View full text

Electronic eBook

13

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

Published 2012

Table of Contents: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
View full text

Electronic eBook

14

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

Published 2011

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

15

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

Published 2008

Table of Contents: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
View full text

Electronic eBook

16

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

Published 2013

Table of Contents: “... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”
View full text

Electronic eBook

17

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

Published 2015

Table of Contents: “...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”
View full text

Electronic eBook

18

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

Published 2015

Table of Contents: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
View full text

Electronic eBook

19

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Published 2005

Table of Contents: “... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”
View full text

Electronic eBook

20

Beginning Haskell A Project-Based Approach /

by Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Published 2014

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Narrow Search