Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program termination » program verification, proving termination
https functionality » its functionality, bags functionality, cross functionality
functionality needs » functionality design
termination https » termination sets, termination sites, termination graphs
needs https » feeds http, trends https
program termination » program verification, proving termination
https functionality » its functionality, bags functionality, cross functionality
functionality needs » functionality design
termination https » termination sets, termination sites, termination graphs
needs https » feeds http, trends https
1
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...Modular Termination of Basic Narrowing -- Linear-algebraic ?-calculus: higher-order, encodings...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Functions and Read-Once Functions -- Subshifts, MSO Logic, and Collapsing Hierarchies -- Fast...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... on Meta-Synthesis Approach -- ICT and Special Educational Needs: Using Meta-synthesis for Bridging...”View full text
Electronic
eBook
7
by Umar, Kabir, Md Sultan, Abu Bakar, Zulzalil, Hazura, Admodisastro, Novia Indriaty, Abdullah @ Selimun, Mohd Taufik
Published 2018
“... (EP). However, this calls for the need of fitness function that can assess reachability attained...”Published 2018
View full text
Article
8
Published 2005
Table of Contents:
“... Stylet-Guided Left Ventricular Leads -- Assessment of Diastolic Function in Heart Failure and Atrial...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...”View full text
Electronic
eBook