Static elaboration of recursion for concurrent software.
Stephen A. EdwardsJia ZengPublished in: PEPM (2008)
Keyphrases
- software systems
- software tools
- user interface
- software maintenance
- software package
- software development
- software architecture
- development process
- software packages
- hardware design
- computer mediated
- personal computer
- computer systems
- software application
- mutual exclusion
- software platform
- metadata
- analysis tool
- software testing
- modeling language
- embedded systems
- logic programs
- case study