Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
function points » function point, function plant, function plans
https function » its function, sites function, ups function
points https » towns https, sports https, agents https
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
function points » function point, function plant, function plans
https function » its function, sites function, ups function
points https » towns https, sports https, agents https
1
Table of Contents:
“... -- Functional Programs -- References -- Index....”
View full text
View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”View full text
Electronic
eBook
3
by Muller, Jean-Michel., Muller, Jean-Michel., Brisebarre, Nicolas., de Dinechin, Florent., Jeannerod, Claude-Pierre., Lefèvre, Vincent., Melquiond, Guillaume., Revol, Nathalie., Stehlé, Damien., Torres, Serge.
Published 2010
Table of Contents:
“... -- Languages and Compilers -- Implementing Floating-Point Operators -- Algorithms for the Five Basic Operations...”Published 2010
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...”View full text
Electronic
eBook
5
Table of Contents:
“...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
View full text
View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
9
Table of Contents:
“... and Uninterpreted Functions -- Decision Procedures for Equality Logic and Uninterpreted Functions -- Linear...”
View full text
View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”View full text
Electronic
eBook
11
Table of Contents:
“...PL/SQL Fundamentals -- Essential SQL -- Looping and Logic -- Functions, Packages, and Procedures...”
View full text
View full text
Electronic
eBook
12
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
13
by Rosenblum, Michael., Rosenblum, Michael., Delmolino, Dominic., Cunningham, Lewis., Shamsudeen, Riyaj., McDonald, Connor., Caffrey, Melanie., Harper, Sue., Holm, Torben., Sands, Robyn., Beresniewicz, John., Crisco, Ron., Bchi, Martin., Billington, Adrian., Petit, Stephan., Nanda, Arup.
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Published 2011
View full text
Electronic
eBook
14
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
15
Table of Contents:
“...Part I: Exercises -- Introduction to Programming Exercises -- If Statement Exercises -- Loop...”
View full text
View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... for Multithreaded Programs -- Concurrent Small Progress Measures -- Specification and Quantitative Analysis...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“...Invited Papers -- Toward Elucidating Language Functions in the Brain -- Privacy-Preserving...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Qualitative Point of View -- A Stochastic Treatment of Similarity -- Order-Based Equivalence Degrees...”View full text
Electronic
eBook