Skip to search formSkip to main contentSkip to account menu

ATS

Known as: ATS language 
ATS (Applied Type System) is a programming language designed to unify programming with formal specification. ATS has support for combining theorem… 
Wikipedia (opens in a new tab)

Related topics

Related topics

23 relations
Buffer overflowC++Dependent MLDependent type

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
HOW TO MAXIMIZE THE HL-LHC PERFORMANCE *
This contribution presents an overview of the parameter space for the HL-LHC [1] upgrade options that would maximize the LHC… 
2012
2012
Tortured Reasoning: The Intent to Torture Under International and Domestic Law
2012
2012
Investigating an active rockslide by long-range laser scanner: alignment strategy and displacements identification
2011
2011
Variable sampling rate Hotelling's T2 control chart with runs rules
This study investigates the properties of the variable sampling rate Hotelling's T2 chart with runs rules. The average time to… 
2006
2006
Arithmetic transforms for compositions of sequential and imprecise datapaths
This paper addresses the issue of obtaining compact canonical representations of datapath circuits with sequential elements for… 
2005
2005
Modelling the purchase propensity: analysis of a revolving store card
We investigate the incremental roles of information that becomes available only after a revolving loan has been granted in… 
2003
2003
The South African Truth and Reconciliation Commission: a suitable model to enhance the role and rights of victims of gross violations of human rights?
[The South African Truth and Reconciliation Commission is one of the most talked about, innovative, but also highly controversial… 
2000
2000
Classification of Authentication Protocols: A Practical Approach
We propose a simple classification method for public-key based authentication protocols, which consists of identifying several… 
1999
1999
Programming the Mobility Behaviour of Agents by Composing Itineraries
We present an algebra for programming the itineraries of mobile agents. The algebra contains operators for modelling sequential… 
1997
1997
Geographical distribution and aspects of the ecology of the hemiparasitic angiosperm Striga asiatica (L.) Kuntze: a herbarium study
ABSTRACT Striga asiatica (Scrophulariaceae) is an obligate root hemiparasite of mainly C4 grasses (including cereals). It is the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)