Search Results - integrating ((functions programmed) OR (functional programs)) program a https

1

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

Published 2010

Table of Contents: “... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”
View full text

Electronic eBook

2

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

Published 2008

Table of Contents: “... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”
View full text

Electronic eBook

3

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

Published 2010

Table of Contents: “... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”
View full text

Electronic eBook

4

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Published 2011

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

5

Programming for Engineers A Foundational Approach to Learning C and Matlab /

by Bradley, Aaron R., Bradley, Aaron R.
Published 2011

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

6

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

Published 2006

Table of Contents: “... of Production Rules for Integrity Maintenance -- Modules for Prolog Revisited -- A Local Algorithm...”
View full text

Electronic eBook

7

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

Published 2008

Table of Contents: “...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”
View full text

Electronic eBook

8

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Published 2007

Table of Contents: “... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...”
View full text

Electronic eBook

9

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”
View full text

Electronic eBook

10

Programming Languages An Active Learning Approach /

by Lee, Kent D., Lee, Kent D.
Published 2008

Table of Contents: “... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
View full text

Electronic eBook

11

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Published 2008

Table of Contents: “... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”
View full text

Electronic eBook

12

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
View full text

Electronic eBook

13

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /

Published 2007

Table of Contents: “... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”
View full text

Electronic eBook

14

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /

Published 2012

Table of Contents: “... Disambiguation Errors -- A Formal Proof of Square Root and Division Elimination in Embedded Programs -- Coherent...”
View full text

Electronic eBook

15

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /

Published 2006

Table of Contents: “... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”
View full text

Electronic eBook

16

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
View full text

Electronic eBook

17

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

Published 2013

Table of Contents: “... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”
View full text

Electronic eBook

18

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

Published 2007

Table of Contents: “... Generalisation Operators for First-Order Objects -- Efficient and Scalable Induction of Logic Programs Using a...”
View full text

Electronic eBook

19

Reflections on the Teaching of Programming Methods and Implementations /

Published 2008

Table of Contents: “... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”
View full text

Electronic eBook

20

Web Programming with Dart

by Belchin, Moises., Belchin, Moises., Juberias, Patricia.
Published 2015

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

Narrow Search