Unifying Analysis Tools with Rosetta

Authors:
N. Frisby
Affiliations:
Inf. Technol.&Telecommun. Center, Univ. of Kansas, Lawrence, KS
Venue:
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Year:
2008

Citing 6
Cited 0

Monad transformers and modular interpreters

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Simplifying and improving qualified types

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Typed Combinators for Generic Traversal

PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
System Level Design with Rosetta

System Level Design with Rosetta
Modular and generic programming with interpreterlib

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Data types à la carte

Journal of Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language's generality prohibits the development of a single analysis tool. It is proposed, instead, to leverage the existing analysis tools and create an analysis environment unified around the Rosetta language. A semi-automated tool, the Rosetta Nexus, will generated tool-specific analysis models and a correspondence with the original Rosetta specifications.