Verifying Exception-Handling Code in Concurrent Libraries.
Dhriti KhannaSubodh SharmaRahul PurandarePublished in: APSEC (2023)
Keyphrases
- exception handling
- programming tool
- development tools
- object oriented
- domain independent
- object oriented programming
- conflict resolution
- concurrent programs
- workflow management
- agent systems
- source code
- workflow management systems
- service oriented
- model checking
- programming language
- data warehouse
- high level
- artificial intelligence