Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Variadic template

Known as: Variadic templates 
In computer programming, variadic templates are templates that take a variable number of arguments. Variadic templates are supported by C++ (since… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
  • P. Conmy, I. Bate
  • IEEE 15th International Symposium on High…
  • 2014
  • Corpus ID: 11377973
Developing Safety-Critical Systems (SCS) is an expensive activity largely due to the cost of testing both components and the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
2012
2012
In this paper we propose a new method for reachability analysis of the class of discrete-time polynomial dynamical systems. Our… Expand
  • figure 1
  • figure 2
  • table 1
2010
2010
Multi-dimensional arrays are among the most fundamental and most useful data structures of all. In C++, excellent template… Expand
  • figure 1
2010
2010
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction… Expand
  • figure 1
  • figure 4
  • figure 6
2008
2008
Generic functions and classes typically accept a fixed number of type arguments. However, generic functions and classes that… Expand
  • figure 4
  • figure 5
2007
2007
Generic functions and classes accepting a variable number of type arguments have proven to be a very useful, but missing, feature… Expand
  • figure 2
  • figure 5
1998
1998
This work is partially supported by the EPSRC through Grant GR/L32699 “Compliant System Architecture” and by ESPRIT through… Expand
  • figure 1
  • figure 8
  • figure 11
  • figure 12
  • figure 13
Highly Cited
1989
Highly Cited
1989
  • H. Seki
  • PODS '89
  • 1989
  • Corpus ID: 5402308
Recursive query processing in deductive databases has attracted much attention recently, and both top-down and bottom-up… Expand
  • figure 1
  • figure 2
Highly Cited
1989
Highly Cited
1989
A description is given of the concept of a multiagent plan-recognition model to assist a naval tactical decision maker in… Expand
Highly Cited
1988
Highly Cited
1988
This article presents a model of the reflective tower based on the formal semantics of its levels. They are related extensionally… Expand