<--- Back to Details
First PageDocument Content
Ada programming language / Ada / Generic programming / Subroutine / SPARK / Function overloading / Parameter / Constant / Template / Software engineering / Computing / Computer programming
Date: 2013-11-27 11:41:44
Ada programming language
Ada
Generic programming
Subroutine
SPARK
Function overloading
Parameter
Constant
Template
Software engineering
Computing
Computer programming

Add to Reading List

Source URL: www.adacore.com

Download Document from Source Website

File Size: 657,63 KB

Share Document on Facebook

Similar Documents

Human behavior / Violence / Abuse / Crimes / Rape / Violence against women / Sexual abuse / Domestic violence / Sexual assault / Address confidentiality program / Stalking

Survivors of assault and abuse often live in constant fear. Their days are filled with anxiety, knowing that their abuser or attacker might strike again. Sadly, this is a scenario many Iowans face every day. More than 3,

DocID: 1xVMJ - View Document

S3ORAM: A Computation-Efficient and Constant Client Bandwidth Blowup ORAM with Shamir Secret Sharing

DocID: 1xUA8 - View Document

Efficient, Constant-Round and Actively Secure MPC: Beyond the Three-Party Case

DocID: 1xUoQ - View Document

Integer factorization algorithms / Mathematics / Computing / Quadratic sieve / Software engineering / NC / General number field sieve / Pure / Euclidean algorithm

CONTINUED FRACTIONS AND LATTICE SIEVING JENS FRANKE, THORSTEN KLEINJUNG Abstract. We present a new method of lattice sieving which we expect to be faster by a constant factor than the method of Pollard, and which has bee

DocID: 1xUb2 - View Document