Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming function » programming functional, programming functionals, programme function
proof programming » proofs programming, prolog programming, pro3d programming
parallel proof » parallel prolog, parallel probe, parallel bloom
function java » function jane, function jason, function james
https » http
programming function » programming functional, programming functionals, programme function
proof programming » proofs programming, prolog programming, pro3d programming
parallel proof » parallel prolog, parallel probe, parallel bloom
function java » function jane, function jason, function james
https » http
1
Publicat 2013
Taula de continguts:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Obtenir text complet
Electrònic
eBook
2
Publicat 2013
Taula de continguts:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”Obtenir text complet
Electrònic
eBook
3
Publicat 2005
Taula de continguts:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obtenir text complet
Electrònic
eBook
4
Publicat 2015
Taula de continguts:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Obtenir text complet
Electrònic
eBook
5
Publicat 2013
Taula de continguts:
“... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”Obtenir text complet
Electrònic
eBook
6
Publicat 2014
Taula de continguts:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Obtenir text complet
Electrònic
eBook