Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,058,988 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Comparison of programming languages
History of software
IBM System/370
Imperative programming
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Smtlink 2.0
Yan Peng
,
M. Greenstreet
International Workshop on the ACL2 Theorem Prover…
2018
Corpus ID: 52956888
Smtlink is an extension of ACL2 with Satisfiability Modulo Theories (SMT) solvers. We presented an earlier version at ACL2'2015…
Expand
2014
2014
Elaboracion e implementacion de la gestion de produccion y del mantenimiento en la empresa aceros estructurales ubc s.a.c.
Almendras Alvarado
,
Elvis Dante
2014
Corpus ID: 191627057
The objective of this research was to establish essential tools for planning and control for the development and implementation…
Expand
2008
2008
Pos-modernidade e a negacao da infancia ( Post-modernity and the denial of the childhood )
L. D. Lima
2008
Corpus ID: 144912961
The way that childhood’s concept has been developed may constitute an excellent projection of the values system and aspirations…
Expand
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)
ACCEPT & CONTINUE