Helyesség
Szintaxis
Az A++ szintaxisa példákon keresztül érthető meg a legkönnyebben.
Az A++ definícióját és szintaxisát először EBNF jelöléssel, majd példákon keresztül igyekszem megmutatni.
Az A++ az alábbi diagramm alapján épül fel:

Az alábbi szabály alapján kell a kódot "létrehozni":

Például:
Az absztrakció szintaxisa (1. változat):
.gif)
Az absztrakció szintaxisa (2. változat):
.gif)
A referencia szintaxisa:
.gif)
A szintézis szintaxisa:
.gif)
Előre definiált absztrakciók felhasználásával előállított kód:

Példa, az előre definiált primitívek használatára:
