PROCOSProfessional Congress Organization System (informatics)
References in periodicals archive ?
The ideas in this article were inspired by the ESPRIT ProCoS Working Group (no.
[1993], which discusses the use of a transformational approach to logic program termination analysis in the context of verifying the ProCos compiler.
Paullus II, procos., ex Macedon(ia) et rege Perse per triduum IIII, II[I], pridie k.