Dissertation > Excellent graduate degree dissertation topics show

Formal specification language LFC implementations and applied research

Author: HuangWenJi
Tutor: DongZuoMei
School: Institute of Software
Course: Computer Software and Theory
Keywords: Recursive function Compiler Formal specification language Sentence enumeration Program translation Intermediate code
CLC: TP312
Type: PhD thesis
Year: 2004
Downloads: 120
Quote: 0
Read: Download Dissertation

Abstract


LFC is based on recursive functions on context-free languages ??(CFRF) theory based on formal specification language can support the formal specification of the access and inspection. LFC is also a functional language, with a good mathematical foundation transparent reference, no side effects, pattern matching. This work is mainly to study the formal specification language LFC implementations and applications, and also includes a context-free language sentences enumeration algorithm. On the theoretical side, a context-free language sentences enumeration algorithm. The enumeration algorithm first calculates the minimum sequence context-free language sentences and maximum sequence sentences, and sentences from the smallest sequence according to the sequential scan string until the scan until the maximum sequence sentences, the string is scanned to determine trade-offs. Cut and forward-looking strategy in the scanning process, has considerably reduced the number of the string to be scanned, you can achieve better spatial and temporal performance. Realization compile LFC technology route, designing a target abstract machine translation through the program will be translated into the target abstract machine code source, and then convert the abstract machine code to assembly code, assemble and link the execution. Translation process parameters consistent pattern component translation mode coding, common subexpression extraction, pattern matching tree structure and optimization work. LFC is a type of language to design a type system supports parametric polymorphism, type checking algorithm, also discussed the need to solve the problem in the implementation of the type system. For the achieve compiled purpose, design of a the target abstract HSECD machine, discussed in detail the HSECD machine structural optimization method of instruction, working principle and instruction. Asked the assembly instruction from generated by the HSECD machine instructions, including how to organize the storage structure and macro expansion. In addition, a simple design for context-free language sentence parse tree representation, this representation can improve space efficiency, and easy to implement. According to the characteristics of CFRF, there is proposed the method of calculation of the postfix form, reducing dynamic grammar analysis function calculations, avoiding unnecessary evaluation value calculation, so that the efficiency is improved. On this basis, the LFC's compiler. A LFC written applications from XML DTD to XML Schema conversion tool to test the ability of LFC.

Related Dissertations

  1. SNMP network management system MIB Compiler Implementation and Application,TN915.07
  2. Group key agreement protocol compiler research,TN918.2
  3. Design and Implementation of the Vectorizing Complier of High-Performance DSP Matrix,TP314
  4. Nios Ii SOPC Based PLC System,TP273
  5. Design and Implementation of Robot Graphic Programming System,TP242
  6. The embedded MSDCC heterogeneous multicore compiler research,TP314
  7. Research on the Hardware-Software Code Partition Technology of Reconfigurable Computing Systems,TP332
  8. Porting Compiler of ARCA3 Based on GCC,TP368.1
  9. Automatic Generation and Optimization of Data Permutation Instructions for SIMD Devices,TP332
  10. G-code debugging platform integrated development Design and Implementation,TG659
  11. Research on Key Technologies of Custom Processor and Compiler for the Orbit Prediction of the Spatial Object,V556
  12. Research on 5-DOF Series Robot Control System of Open-Architecture,TP242
  13. Design and implementation of pretreatment system based on the long-haul design structure matrix,TP311.52
  14. Study and Implementation of Instruction Scheduling for Configurable TTA Compiler,TP314
  15. Reserch on Safety-Rules Checking Technology of Spacflight C Programs,TP311.52
  16. Data Similarity Analysis and Optimization Technology for MPI Programs,TP311.11
  17. Research on the Key Technologies and Prototype Development of CNC Turn-mill Machining Simulation System,TG54
  18. Realization of Network Video Embedded Network Video Surveillance Based on S3C2440,TP277
  19. Oscillation of Nonlinear Differential Equation with Multiple Time-varying Delays,O175
  20. The Collation and Study of Cheng Gongsui Anthology,I207.22
  21. Proof Generation for Certifying Compiler,TP314

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Programming language ALGOL
© 2012 www.DissertationTopic.Net  Mobile