Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Variadic template
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Developing Safety-Critical Systems (SCS) is an expensive activity largely due to the cost of testing both components and the… Expand
2012
2012
In this paper we propose a new method for reachability analysis of the class of discrete-time polynomial dynamical systems. Our… Expand
2010
2010
Multi-dimensional arrays are among the most fundamental and most useful data structures of all. In C++, excellent template… Expand
2010
2010
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction… Expand
2008
2008
Generic functions and classes typically accept a fixed number of type arguments. However, generic functions and classes that… Expand
2007
2007
Generic functions and classes accepting a variable number of type arguments have proven to be a very useful, but missing, feature… Expand
1998
1998
This work is partially supported by the EPSRC through Grant GR/L32699 “Compliant System Architecture” and by ESPRIT through… Expand
Highly Cited
1989
Highly Cited
1989
Recursive query processing in deductive databases has attracted much attention recently, and both top-down and bottom-up… Expand
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