Transcend

XCend

anonymous@undisclosed.example.com (Anonymous) — Wed, 14 Aug 2013 14:37:31 +0000

XCend XCend pronounced: TransCend is a technology to * specify and use hierarchical data structures. It is * independent of any language or datatype paradigm, but - by using language dependent backends * code can be generated for various languages. The major benefit of

STATS

anonymous@undisclosed.example.com (Anonymous) — Fri, 11 May 2012 16:33:31 +0000

STATS STAT System

XCend File Syntax

anonymous@undisclosed.example.com (Anonymous) — Wed, 25 Jul 2012 12:14:34 +0000

XCend File Syntax . A XCend file consists mainly of a pattern, which has to be an element at the root: element { } In general, a pattern is a sequence of element and attribute declarations: element (?|* ()?)? { } # and attribute (?)? { }

XCend Theory

anonymous@undisclosed.example.com (Anonymous) — Fri, 11 May 2012 16:33:47 +0000

XCend Theory Isabelle/HOL Theories