Results for "Programming languages (Electronic computers)" Showing 1 - 12 results of 12 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Programming+languages+%28Electronic+computers%29%22&type=Subject&lng=en 12 0 50 An investigation into performance-related issues of regular expression matching Wed, 10 Jun 2026 12:46:52 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F126045 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F126045 Van Litsenborgh, Pieter Steyn Thesis 2022 Van Litsenborgh, Pieter Steyn 0 A survey of proof systems for CSP Wed, 10 Jun 2026 12:45:58 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F65505 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F65505 Van Zijl, Lynette Thesis 2012 Van Zijl, Lynette 0 LF : a language for reliable embedded systems Wed, 10 Jun 2026 12:44:20 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F52322 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F52322 Van Riet, F. A. Thesis 2012 Van Riet, F. A. 0 Reducing the state explosion problem during model checking Wed, 10 Jun 2026 12:44:19 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F69386 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F69386 Barnard, Dieter Cornelius Thesis 2012 Barnard, Dieter Cornelius 0 Derivation and implementation of an extended entity-relationship data model Wed, 10 Jun 2026 12:43:44 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F68699 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F68699 Greeff, Jeanette Thesis 2012 Greeff, Jeanette 0 A model checker for the LF system Wed, 10 Jun 2026 12:43:31 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19597 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19597 Gerber, Erick D. B. Thesis 2012 Gerber, Erick D. B. 0 Efficiency issues in the design of a model checker Wed, 10 Jun 2026 12:41:57 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51253 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51253 Geldenhuys, Jacobus Thesis 2012 Geldenhuys, Jacobus 0 Neural network-based language modelling for code-switching in South African languages. Wed, 10 Jun 2026 12:41:50 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F130517 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F130517 Jansen van Vuren, Joshua Thesis 2024 Jansen van Vuren, Joshua 0 The design of a specification language suitable for the generation of compilers Wed, 10 Jun 2026 12:41:40 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F58723 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F58723 Lockley, Graeme J.(Graeme James) Thesis 2012 Lockley, Graeme J.(Graeme James) 0 A language to support verification of embedded software Wed, 10 Jun 2026 12:41:18 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F49823 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F49823 Swart, Riaan Thesis 2012 Swart, Riaan 0 An LTL verification system based on automata theory Wed, 10 Jun 2026 12:41:16 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51128 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51128 Inggs, Cornelia Petronella Thesis 2012 Inggs, Cornelia Petronella 0 Generalized nondeterminism and the succinct representation of regular languages Wed, 10 Jun 2026 12:40:51 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F55541 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F55541 Van Zijl, Lynette Thesis 2012 Van Zijl, Lynette 0