Computer Science ›› 2012, Vol. 39 ›› Issue (5): 114-116.
Previous Articles Next Articles
Online:
Published:
Abstract: The logic programming language Godel is developed slowly since its appearance due to its complex language components and the lack of rigorous semantic foundation and mature compilers. In this paper, we firstly described the procedural semantics of its delay computation using evolving algebra. Then the specific implementation methods were introduced with a flow chart and a description by C language. Finally the execution of delay computation in the compiler based on extended Warren's Abstract Machine was illustrated. Its feasibility was proved by the implementation.
Key words: Programming language Uodel,Delay computation, Evolving algebra, Procedural semantics, Extended WAM
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2012/V39/I5/114
Cited