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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1966-2018
0102019662018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
In this day and age of multicore architectures, programming language support is in urgent need for constructing programs that can… (More)
  • figure 3
  • figure 5
  • figure 11
Is this relevant?
2009
2009
The US Navy has been supporting the demonstration of several IEEE standards with the intent of implementing these standards for… (More)
  • figure 1
Is this relevant?
2007
2007
In an intermediate-level warship electronic equipment ATS (automatic test system), we developed an equipment called Portable… (More)
  • figure 1
  • figure 2
Is this relevant?
2007
2007
Contemporary software systems often provide mechanisms forextending functionalities, which imposes great safety concerns on the… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2006
2006
While the Department of Defense (DoD) has had some success in standardizing automatic test systems (ATS) within the individual… (More)
  • figure 3
  • figure 5
  • figure 5
Is this relevant?
2005
2005
This paper discusses modernizing a DoD Automatic Test Systems Family of testers using the Consolidated Automated Support System… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2005
2005
It has been reported that the normally functional bileaflet valve ATS with open-pivot design does not exhibit a full opening… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2005
2005
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are… (More)
  • figure 2
Is this relevant?
Review
2003
Review
2003
1.5 CPET Protocols Cardiopulmonary exercise testing (CPET) provides a global as-1.6 Treatment of the Data sessment of the… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
1972
1972
The measurement of winds to an accuracy of at least 2 knots (1 m/s) is a major requirement of the global atmospheric research… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?