Affiliation:
1. Clemson University School of Computing
Abstract
Development Environments (F-IDEs) for specification and programming languages. Specifically we summarize the toolchains for some well-known languages in this category, and conclude with a summary of RESOLVESTUDIO, an F-IDE for the RESOLVE language.
Publisher
Association for Computing Machinery (ACM)