Treffer: Enhancing the Expressiveness of the CleanJava Language
Title:
Enhancing the Expressiveness of the CleanJava Language
Authors:
Contributors:
The Pennsylvania State University CiteSeerX Archives
Publication Year:
2013
Collection:
CiteSeerX
Subject Terms:
languages, D.3.3 [Programming Languages] Language Constructs and Features — Classes and objects, control structures, inheritance, polymorphism, functions, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, logics of programs, specification techniques
Document Type:
Fachzeitschrift
text
File Description:
application/pdf
Language:
English
Availability:
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.5A7AC526
Database:
BASE
Weitere Informationen
—The CleanJava language is a formal annotation