Pascal-XSC (Binary version) Documentation
Language References:
Januschke, Ratz:
"A Survey of PASCAL-XSC and a Language Reference Supplement on Dynamic and Flexible Arrays"
(Download)
Klatte, Kulisch, Neaga, Ratz, Ullrich:
"PASCAL-XSC Language Reference with Examples"
(Download)
Klatte, Kulisch, Neaga, Ratz, Ullrich:
"PASCAL-XSC Sprachbeschreibung mit Beispielen"
(Download)
Klatte, Kulisch, Neaga, Ratz, Ullrich:
"PASCAL-XSC in RUSSISCH"
Allendörfer, Cordes:
"PASCAL-XSC compiler documentation (User's Guide)"
(pdf-format)
Numerical Toolbox:
Hammer, Hocks, Kulisch, Ratz:
"Numerical Toolbox for Verified Computing I, Basic Numerical Problems"
Lohner, Kulisch, Krämer:
"Numerical Toolbox for Verified Computing II, Advanced Numerical Problems"
Draft Version, Karlsruhe 1994 (
2,9 MB
,
gzipped Postscript 1,5 MB
)
Other documentation:
Weinberg:
"Using PASCAL-XSC Flexible Arrays in C Functions - How to Create an Interface"
(
Postscript (369 KB)
,
PDF (48 KB)
)
XSC-Homepage (Information and Links to C-XSC and Pascal-XSC)