clausal language

Computing Dictionary

Clausal Language definition

(CL) A programming language and proof system developed by Paul Voda and a colleague since 1997, written in Trilogy II.
Paul Voda Home (
The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
Previous Definition: clausal
Next Definition: clause
Words Near: clausal language
More from
Synonyms and Antonyms for clausal language
More from
Search for articles containing clausal language Word FAQs presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature