Visual Studio Code Extension and Auto-completion for Mizar Language.
Hirota TaniguchiKazuhisa NakashoPublished in: CANDAR (2021)
Keyphrases
- visual studio
- code examples
- data manipulation
- application development
- visual basic
- web applications
- programming language
- database programming
- source code
- book covers
- sql server
- coverage includes
- specific features
- microsoft access
- mission critical
- object oriented
- databases
- data analysis
- data model
- object oriented programming
- web databases
- database
- oracle database
- data access