https://github.com/kevalmorabia97/type-checking-for-c-language

Name, Internal Name and Structural Equivalence check for C language written in Java
https://github.com/kevalmorabia97/type-checking-for-c-language

c-language type-system

Last synced: about 1 month ago
JSON representation

Name, Internal Name and Structural Equivalence check for C language written in Java

• Host: GitHub
• URL: https://github.com/kevalmorabia97/type-checking-for-c-language
• Owner: kevalmorabia97
• License: mit
• Created: 2017-11-14T07:37:13.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-11-25T10:35:26.000Z (over 8 years ago)
• Last Synced: 2025-03-15T04:11:38.935Z (over 1 year ago)
• Topics: c-language, type-system
• Language: Java
• Homepage:
• Size: 537 KB
• Stars: 3
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Type-Checking for C language


Name, Internal Name and Structural Equivalence check for C language written in Java.


 For information about type checking, view Type Systems Notes.pdf file