skip to main content
article

The specification language T

Published:01 May 2005Publication History
Skip Abstract Section

Abstract

The non-executable language T belongs to the class of open languages initially defined in [Sunik 1,2]. Open languages are artificial human languages with the grammar of OO programming languages. Similar to a natural language, an open language is not confined to any particular representation domain and may be applied in any tasks requiring explicit informing. T can be used for producing OO specifications of various entities representing software, hardware, technical appliances, biology systems, knowledge representation systems, etc. It also allows explicit representation of semantics of programming languages and produces executable code compliant with the semantics represented.

References

  1. Sunik Boris. Definition of Open Language, SIGPLAN Notices, February 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Sunik Boris. The paradigm of Open C++, SIGPLAN Notices, June 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Ellis M. and Stroustrup B. The Annotated C++ Reference Manual. Reading, MA: Addison-Wesley, 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. The specification language T

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Article Metrics

            • Downloads (Last 12 months)3
            • Downloads (Last 6 weeks)1

            Other Metrics

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader