Welcome！[Sign In] ！[Sign Up]！
Front-page it | Collect it | [中国-简体中文]
FAQ Fav
Location:
Downloads SourceCode Windows Develop Other
Title: while-language_v2 Download
 Description: Prolog code defining syntax und semantics of the "while language" with welltyped predicates. Inspired by "Semantics With Applications" (Nielson).
 Downloaders recently: [More information of uploader sidhappens]
 To Search:
File list (Check if you may need any files): 
 

while-language_v2.pro

CodeBus www.codebus.net