Adhering to the principles of logic programming results in greater expressiveness than is obtained by using the many non-logical features which have been grafted onto current logic programming languages such as Prolog. This report describes an alternative approach to high performance logic programming in which the language and its implementation were designed together. Prolog's non-logical features are discarded and new logical ones are added. Extended pure Prolog (xpProlog) is a superset of conventional Prolog; it is sufficient in itself, without any need for "impure" non-logical predicates. This gives both greater expressiveness and better performance than conventional Prologs. XpProlog programs have the following advantages over conventional Prolog programs: • They are often easier to understand because their meaning does not rely on the underlying computational mechanism. • Coroutining, automatic delaying and sound negation are available. • As technology improves, better implementations and optimization techniques can be used without affecting existing programs. This report covers: • The proper use of logic programming. • How Prolog must be changed to become a good logic programming language (xpProlog). • Sound negation and coroutining. • An efficient abstract machine (xpPAM) which can be efficiently emulated on conventional machines, translated to conventional machine code, or implemented in special purpose hardware. • How to compile extended Prolog and functional (applicative) languages to the abstract machine or to conventional machine code. • Discussion of alternative Prolog abstract machine designs. The xpProlog Abstract Machine's design allows: • Performance similar to the Warren Abstract Machine (WAM) for sequential programs. • Tail recursion optimization (TRO). • Parallelism and coroutining with full backtracking. • Dynamic optimization of clause order. • Efficient if-then-else ("shallow" backtracking). • Simple, regular instruction set for easily optimized compilation. • Efficient memory utilization. • Integrated object-oriented virtual memory. • Predicates as first-class objects. • Simple extension to functional programming. C.R. categories: 1.2.5: Prolog; D.1.3: concurrent programming; D.3.2: very high level languages; D.3.3: language constructs: coroutines, backtracking; D.3.4: 1 interpreters.; 1.2.3: logic programming. / Science, Faculty of / Computer Science, Department of / Graduate

This thesis describes the implementation of a general purpose personal information storage and retrieval system. Chapter one contains an introduction to information storage and retrieval. Chapter two contains a description of the features a useful personal information retrieval system should contain. This description forms the basis for the implementation of the personal information storage and retrieval system described in chapter three. The system is implemented in UCSD Pascal on an Apple II microcomputer.

The problems we studied in this thesis are linearly constrained convex programming (LCCP) and nonnegative matrix factorization (NMF). The resolutions of these two problems are all closely related to convex programming with simple convex constraints. The work can mainly be described in the following three parts. Firstly, an interior point algorithm following a parameterized central path for linearly constrained convex programming is proposed. The convergence and polynomial-time complexity are proved under the assumption that the Hessian of the objective function is locally Lipschitz continuous. Also, an initialization strategy is proposed, and some numerical results are provided to show the efficiency of the proposed algorithm. Secondly, the path following algorithm is promoted for general barrier functions. A class of barrier functions is proposed, and their corresponding paths are proved to be continuous and converge to optimal solutions. Applying the path following algorithm to these paths provide more flexibility to interior point methods. With some adjustments, the initialization method is equipped to validate implementation and convergence. Thirdly, we study the convergence of hierarchical alternating least squares algorithm (HALS) and its fast form (Fast HALS) for nonnegative matrix factorization. The coordinate descend idea for these algorithms is restated. With a precise estimation of objective reduction, some limiting properties are illustrated. The accumulation points are proved to be stationary points, and some adjustments are proposed to improve the implementation and efficiency

No description available.

As software projects become larger and more complex, software optimization at that scale is only feasible through automated means. One such component of software optimization is alias analysis, which attempts to determine which variables in a program refer to the same area in memory, and is used to relocate instructions to improve performance without interfering with program execution. Several alias analyses have been proposed over the past few decades, with varying degrees of precision and time and space complexity, but few studies have been conducted to compare these techniques with one another, nor to measure with program data to confirm their accuracy. Normally, this is out of the scope of alias analyses because these processes are static, and can only rely upon the input source code. We address these limitations by instrumenting several benchmarks and combining their data with commonly used alias analyses to objectively measure the accuracy of those analyses. Additionally, we also gather additional program statistics to further determine which programs are the most suitable for evaluating subsequent alias analysis techniques.

The aim of this diploma thesis is using cartesian genetic programming on design image filters and creating basic structure for implement diferent type of problems. Genetic programming is rapidly growing method, which often using for solve dificult problems. This thesis analyze basic principle, way of application and implementing this method to design filters. Result of this thesis is program realize design filters define by specific parameters, overview of implementig method and achieve summary from this sphere.

The aim of this qualitative study is to explore and describe the mathematical thinking skills that students require for a first level programming subject that forms part of the National Diploma in Information Communication Technology (ICT) at a University of Technology (UoT). Mathematics is an entry requirement for many tertiary programmes, including ICT courses, unfortunately the poor quality of schooling in South Africa limits learners' access to higher education. From the literature it is evident that students lack fluency in fundamental mathematical and problem-solving skills when they enter higher education. In this study, the concept of programming thinking skills is explored, described and linked to mathematical thinking skills. An instrument (Mathematical and Programming Thinking Skills Matrix for the Analysis of Programming Assessment) has been developed and used to analyse examination papers of a first-year programming subject (at TUT) in order to identify mathematical skills as these appear in programming assessments. Semi-structures interviews were conducted with first-year programming lecturers, examiners and moderators. The literature as well and the results of the analysed data indicated and confirmed that mathematical thinking skills are extremely important when learning to program. The results of the study indicate a strong relationship between mathematical thinking skills and programming thinking skills. The outcome of this study is therefore a set of mathematical thinking skills that needs to be developed when compiling a mathematics curriculum for first level programming students studying towards a National Diploma in ICT. / Dissertation (MEd)--University of Pretoria, 2016. / Science, Mathematics and Technology Education / MEd / Unrestricted

The purpose of this study was to compare seventh-grade students' motivation and preference toward text-based programming using Visual Basic, and graphics-based programming using Robolab. Motivation was defined by the My Class Activities questionnaire using the dimensions of interest, challenge, choice, and enjoyment. Preference was determined through team and individual student choice. This study was conducted with 122 students from three 6-week technology education classes. This study examined two hypotheses. First, middles school students will be more motivated when using a graphics-based programming language than text-based as measured by the My Class Activities survey. The second hypothesis for this study was that middle school students preferred using graphic-based programming more than using text-based programming in an introductory experience. Student preference was identified individually and within a team environment.

No description available.

No description available.