Searching for "Class Assertions in C ." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

A Specification of Java Loading and Bytecode Verification
by Allen Goldberg — 1998
… containing signature assertions and direct subtype assertions. When a class c is loaded, an assertion set G c…
Cited by 44 (1 self) – Add To MetaCart

CCEL: A Metalanguage for C++
by Carolyn K. Duby, Scott Meyers, Steven P. Reiss — 1992 — IN USENIX C++ CONFERENCE
… class name must begin with a capital letter CapitalizeClassNames ( Class C; // C is a class Assert(C…
Cited by 31 (5 self) – Add To MetaCart

A Specification of Java Loading and Bytecode Verification
by Allen Goldberg Kestrel, Allen Goldberg — 1998
… signature assertions and direct subtype assertions. When a class c is loaded, an assertion set Γc…
Add To MetaCart

A Static Semantics for Haskell
by Karl-Filip Faxen — 1998
… Class assertion !C (u t 1 : : : t k ) k 0 conDecls 2 Constructor decls ! conDecl1 --- : : : --- con…
Cited by 17 (1 self) – Add To MetaCart

An agent-oriented programming language for computing in context
by Renata Vieira, Álvaro F. Moreira, Rafael H. Bordini, Jomi Hübner — 2006 — Proceedings of Second IFIP Symposium on Professional Practice in Artificial Intelligence, held with the 19th IFIP World Computer Congress, TC-12 Professional Practice Stream, 21–24
… base of an agent contains class assertions C(t) and property assertions R(t1, . . . tn…
Cited by 1 (1 self) – Add To MetaCart

SomeRDFS in the Semantic Web
by P. Adjiman, F. Goasdoué, M. -c. Rousset
… DL notation and FOL translation Class assertion C(a) Property assertion P(a, b) Mappings are the key…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 6.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB