Skip to search formSkip to main contentSkip to account menu

Plus

Known as: UBC PLUS 
Plus is a "Pascal-like" system implementation language from the University of British Columbia (UBC), Canada, based on the SUE system language… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Smtlink is an extension of ACL2 with Satisfiability Modulo Theories (SMT) solvers. We presented an earlier version at ACL2'2015… 
2014
2014
The objective of this research was to establish essential tools for planning and control for the development and implementation… 
2008
2008
The way that childhood’s concept has been developed may constitute an excellent projection of the values system and aspirations…