Search Results - program execution https function general https

1

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”
View full text

Electronic eBook

2

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

Published 2007

Table of Contents: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
View full text

Electronic eBook

3

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Published 2013

Table of Contents: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
View full text

Electronic eBook

4

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

Published 2008

Table of Contents: “... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”
View full text

Electronic eBook

5

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

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

6

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

Published 2012

Table of Contents: “... -- An Executable Semantics for CompCert C -- Producing Certified Functional Code from Inductive Specifications...”
View full text

Electronic eBook

7

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Published 2015

Table of Contents: “... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”
View full text

Electronic eBook

8

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

9

Multiple Origins of Sex Differences in Brain Neuroendocrine Functions and their Pathologies /

Published 2013

Table of Contents: “..., Boston, USA) Fetal hormonal programming of the brain: Implications for understanding sex differences...”
View full text

Electronic eBook

10

Beginning Java Game Development with LibGDX

by STEMKOSKI, LEE., STEMKOSKI, LEE.
Published 2015

Table of Contents: “.... Integrating Third-Party Software -- 8. Introduction to 3D Programming -- 9. Taking Your Games Further...”
View full text

Electronic eBook

11

Topics in Nonparametric Statistics Proceedings of the First Conference of the International Society for Nonparametric Statistics /

Published 2014

Table of Contents: “... of independence -- Empirical -- Divergence Minimizers for Hadamard Differentiable Functionals -- Advances...”
View full text

Electronic eBook

12

Using Microsoft Dynamics AX 2012 Updated for Version R2 /

by Luszczak, Andreas., Luszczak, Andreas.
Published 2013

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

Electronic eBook

13

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Published 2010

Table of Contents: “... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”
View full text

Electronic eBook

14

Applied Statistics for Business and Management using Microsoft Excel

by Herkenhoff, Linda., Herkenhoff, Linda., Fogli, John.
Published 2013

Subjects: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

15

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Published 2010

Table of Contents: “... for Executable Specifications of General Attribute Grammars -- A Domain-Specific Language Approach to Protocol...”
View full text

Electronic eBook

16

Using Microsoft Dynamics AX 2012

by Luszczak, Andreas., Luszczak, Andreas.
Published 2012

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

Electronic eBook

17

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: “...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”
View full text

Electronic eBook

18

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
View full text

Electronic eBook

19

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2013

Table of Contents: “... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”
View full text

Electronic eBook

20

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Published 2010

Table of Contents: “... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”
View full text

Electronic eBook

Narrow Search