The design of a specification language suitable for the generation of compilers by Lockley, Graeme J.(Graeme James)

Subjects: “…Programming languages (Electronic computers)…”
Get full text

A survey of proof systems for CSP by Van Zijl, Lynette

Subjects: “…Programming languages (Electronic computers)…”
Get full text

An investigation into performance-related issues of regular expression matching by Van Litsenborgh, Pieter Steyn

Subjects: “…Programming languages (Electronic computers)…”
Get full text

An LTL verification system based on automata theory by Inggs, Cornelia Petronella, Van Wyk, Cornelia

Subjects: “…Programming languages (Electronic computers)…”
Get full text

Efficiency issues in the design of a model checker by Geldenhuys, Jacobus

Subjects: “…Programming languages (Electronic computers)…”
Get full text

Generalized nondeterminism and the succinct representation of regular languages by Van Zijl, Lynette

Subjects: “…Programming languages (Electronic computers)…”
Get full text

A language to support verification of embedded software by Swart, Riaan

Subjects: “…Programming languages (Electronic computers)…”
Get full text

Neural network-based language modelling for code-switching in South African languages. by Jansen van Vuren, Joshua

Subjects: “…Programming languages (Electronic computers)…”
Get full text

Derivation and implementation of an extended entity-relationship data model by Greeff, Jeanette

Subjects: “…Programming languages (Electronic computers) -- Semantics…”
Get full text

Reducing the state explosion problem during model checking by Barnard, Dieter Cornelius

Subjects: “…Programming languages (Electronic computers)…”
Get full text

LF : a language for reliable embedded systems by Van Riet, F. A.

Subjects: “…Programming languages (Electronic computers)…”
Get full text

A model checker for the LF system by Gerber, Erick D. B.

Subjects: “…Programming languages (Electronic computers)…”
Get full text