A Programmer-Centric Approach to Program Verification in ATS
Zhiqiang RenHongwei XiPublished in: CoRR (2012)
Keyphrases
- programming language
- user centric
- multi aspect
- object oriented
- information systems
- similarity measure
- management system
- probabilistic model
- secure information sharing
- network centric
- computer systems
- general purpose
- database
- information technology
- reinforcement learning
- high level
- case study
- artificial intelligence
- databases