Dissertation > Excellent graduate degree dissertation topics show

Implementation of Visual Computing for the Compiler of Programming Language G(?)del

Author: LiLing
Tutor: ZhaoZhiZhuo
School: Xiamen University
Course: Computer System Architecture
Keywords: G(o ¨)del language Compiler system Visual computing
CLC: TP314
Type: Master's thesis
Year: 2008
Downloads: 19
Quote: 0
Read: Download Dissertation

Abstract


G(o丨¨)del is a declarative,general-purpose programming language succeeded to Prolog in the family of logic programming languages.Compared with the algorithm-based programming language such as Pascal,C and so on,logic programming language provides a declarative program designing method.So the logic language programmers focus on description the problem and quest for the solution at the level of computing model.Its simple, uniform syntax and sentences,powerful inbuilt features of unification and backtracking often allow algorithms to be encoded more elegantly than in other,more conventional languages.Unfortunately,these excellent features bring about difficulties to novices at G(o丨¨)del.Our main purpose is to design a visual system(G(o丨¨)del reference trace tool) which monitors and traces the inference steps of G(o丨¨)del language and implement this system by C++.These dissertations focus on the visual computing of G(o丨¨)del language,the description of tracing G(o丨¨)del language inference process and implementation of system.This chapter,we begin to study the status quo language G(o丨¨)del give a brief account.G(o丨¨)del reference trace tool not only plays an important role in the process of tracking displays debugging procedure,and it can also be used as a assistant tool in the G(o丨¨)del programming.G(o丨¨)del reference trace tool first calls the reference process of debugging information(SLDtree.xml), through loading debug information in the reasoning process of tracking monitors internal debugging information will be converted to CShow class, and then through the process control buttons control the display.In this way,after the implementation of procedures for compiling,in the process of reasoning we can display a dynamic real-time observation of the whole reasoning process of reasoning.Based on such an application needs,with the method of G(o丨¨)del language compiler system we give G(o丨¨)del Computing Visualization of the overall structure,and based on the visualization of G(o丨¨)del language compiler system design and visual display of part of the realization of the two methods and techniques in detail,focused on compiler system debugging information generated by the use of methods and techniques.G(o丨¨)del reference trace tool tracking display is an independent application procedures,the procedures can be run directly from the operating system,and can also run on GPDE,when G(o丨¨)del verbal reasoning process tracking monitors as part of the development environment.The importance of the logic programming has been familiar to people years before.But to be new logic programming language,G(o丨¨)del needs some time and practice to make itself to be accepted and popular,which especially requires the support of the appropriate compiler and development environment of this language.Our design G(o丨¨)del inference trace tool has debug function.The motivation for developing this new tool not only increases the productivity of experienced programmers but also to make the teaching of G(o丨¨)del more effective.G(o丨¨)del inference trace tool will help G(o丨¨)del language’ s study and be popular.We believe that G(o丨¨)del language will be able to receive more attention and obtain a more widespread use with the mature of G(o丨¨)del programming environment.

Related Dissertations

  1. The Formalized Procedural Semantic of Logic Programming Language G(?)del,TP312.1
  2. Component Simulation and Visualization Computation of Absorber in Fire-directed Absorption Chiller,TU831
  3. A Visual Computing Environment Based on a Scalable Stereo Display Wall,TN873
  4. The Algorithms and Visulizisation of Transmission Pricing Based on Complex Power Tracing,TM764
  5. Research on Lane Departure Warning System Based on Computer Vision,TP391.41
  6. The Compiler System of ATLAS,TP314
  7. Research on Visualization Model and Its Applications in Data Mining,TP311.13
  8. Study on Some Key Problems in Visual Inspection,TP391.41
  9. Design and Implementation of the Vectorizing Complier of High-Performance DSP Matrix,TP314
  10. The embedded MSDCC heterogeneous multicore compiler research,TP314
  11. Study and Implementation of Instruction Scheduling for Configurable TTA Compiler,TP314
  12. Research on Value Profile-based Optimization,TP314
  13. Matrix calculation based on scalable DSP (FT-Matrix) connector assembler Research and Implementation,TP314
  14. Fine-grained reconfigurable system for heterogeneous circulating water compiler technology research,TP314
  15. The Study on Generating Executable Test Suite Based on TTCN-3 Abstract Syntax Tree,TP314
  16. Proof Generation for Certifying Compiler,TP314
  17. A Method to Generate Assertion and Proof about Assembly Language Certifying Compiler,TP314
  18. Analysis and Implementation of Key Compilation Technologies for YHFT-DSP,TP314
  19. Pre-compilation Techniques of Helper Threads for Irregular Computing,TP314
  20. Loop Transformation in Task Compiler of Reconfigurable Computing Processor,TP314
  21. Research on Implementation and Optimization of BWDSP100 Compiler,TP314

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Compiler,interpreter
© 2012 www.DissertationTopic.Net  Mobile