Search Results - program compilation https functionality current https

Search alternatives:
functionality current » functionality screen , functionality florence , functionality securing
program compilation » program composition , program computational , program comparison
https functionality » its functionality , bags functionality , cross functionality
compilation https » computation https , complications https , communication https
current https » current hot , current hotel , current attempts

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
View full text

Electronic eBook

Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /

Published 2012

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

Electronic eBook

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

Published 2011

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

Electronic eBook

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

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

Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers /

Published 2007

Table of Contents: “... and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM) -- Improving Functional Testing...”
View full text

Electronic eBook

Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings /

Published 2008

Table of Contents: “... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Revisited: Semantics and Representation of Aggregates -- Compiling Fuzzy Answer Set Programs to Fuzzy...”
View full text

Electronic eBook

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Published 2010

Table of Contents: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
View full text

Electronic eBook

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Published 2008

Table of Contents: “... Constraints Using Functional Dependencies -- Relaxations for Compiled Over-Constrained Problems -- Approximate...”
View full text

Electronic eBook

Using Microsoft Dynamics AX 2012 Updated for Version R3 /

by Luszczak, Andreas., Luszczak, Andreas.
Published 2015

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

Electronic eBook

Fast Track to MDX

by Whitehorn, Mark., Whitehorn, Mark., Zare, Robert., Pasumansky, Mosha.
Published 2006

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

Electronic eBook

The Biochemistry of Retinoic Acid Receptors I: Structure, Activation, and Function at the Molecular Level

Published 2014

Table of Contents: “... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”
View full text

Electronic eBook

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: “... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”
View full text

Electronic eBook

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /

Published 2007

Table of Contents: “... Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus -- Linear Recursive Functions...”
View full text

Electronic eBook

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

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

Published 2010

Table of Contents: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
View full text

Electronic eBook

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Published 2008

Table of Contents: “... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”
View full text

Electronic eBook

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Published 2012

Table of Contents: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
View full text

Electronic eBook

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings /

Published 2008

Table of Contents: “... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”
View full text

Electronic eBook

Narrow Search