Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
certified function » fortified functional
program certified » programs certified, program verifier, programming certified
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
certified function » fortified functional
program certified » programs certified, program verifier, programming certified
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
1
Publicado 2008
Table of Contents:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2006
Table of Contents:
“... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”Ligazón do recurso
Electrónico
eBook
3
por Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Publicado 2010
Table of Contents:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Publicado 2010
Ligazón do recurso
Electrónico
eBook
4
Publicado 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2015
Table of Contents:
“... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“...: Towards Large Scale Programming for Symbolic and Certified Numeric Computations -- Complex Inclusion...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2014
Table of Contents:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2005
Table of Contents:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Ligazón do recurso
Electrónico
eBook