Sentence examples similar to hidden sorted from inspiring English sources

In this work we investigate both further extensions of hidden logic, and an extension of the Maude specification language called BMaude supporting this extended hidden-sorted semantics.

The hidden-sorted approach, originating in work of Goguen and Meseguer in the early 80's, and further developed into the hidden-sorted logic approach by researchers at Oxford, UC San Diego, and Kanazawa offers some attractive answers, and has been implemented in both BOBJ and CafeOBJ.

Hidden hook.

("Something hidden.

Why hidden?

It has been hidden.

"Stillbirths are hidden.

Just hidden.

SSID hidden.

That's about 550 or 600 hides, to be sorted, processed and graded.

You hide.