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

Python based FPGA design-flow by New, Wesley

Subjects: “…Programming Languages - Python…”
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

An algebraic framework for reasoning about privacy by Rajaona, Solofomampionona Forunat

Subjects: “…Programming languages…”
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

INSPECT: Intelligent Node-based System for IFC Processing and Evaluation, with Conversational Tool Support —LLMassisted natural language IFC querying by Abdelshaheid, Basel

Subjects: “…Visual Programming Languages…”
Get full text
Get full text

Implementing a smalltalk to Java translator

Subjects: “…Smalltalk 80 computer program language…”
Get full text
Get full text

Architectural Level Computational Hardware Abstraction: A New Programming Language for FPGA Projects by Taylor, John-Philip

Subjects: “…Programming Language…”
Get full text

Static analysis of regular expressions by Weideman, Nicolaas Hendrik

Subjects: “…Computer programming language -- Regular expressions…”
Get full text

SLAM landmark identification using lidar measurements by Gericke, Johannes Petrus

Subjects: “…SLAM (Computer program language)…”
Get full text

A comprehensive framework for SQL query execution in distributed multidatabase systems by Winckler, Cornelis Janse

Subjects: “…SQL (Computer program language)…”
Get full text