Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computing » program comparing, programs compiling, problem computing
function tracing » function tracking, function training, function pacing
https function » its function, sites function, ups function
tracing https » tracing http, teaching https, coaching https
program computing » program comparing, programs compiling, problem computing
function tracing » function tracking, function training, function pacing
https function » its function, sites function, ups function
tracing https » tracing http, teaching https, coaching https
1
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
8
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
10
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
11
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
12
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”View full text
Electronic
eBook
13
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”View full text
Electronic
eBook
15
Table of Contents:
“...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
View full text
View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“...) Probability Function for FMS IP Trace-Back Technique -- A Mechanism for Detection and Prevention...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... in General-Purpose Computations on Current Graphics Processors -- Optimised Computational Functional Imaging...”View full text
Electronic
eBook
18
Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium...
Published 2014
Table of Contents:
“... -- The Diagonal Reduction Algorithm Using Fast Givens -- Constructing Generalized Bent Functions from Trace Forms...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”View full text
Electronic
eBook