Export Citations
1 Results for: Book/Issue: GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,843,242 records)|Limit your search to The ACM Full-Text Collection (775,298 records)
Showing 1 - 1of1 Results
Select All
- ArticleOctober 2006
Roadmap for enhanced languages and methods to aid verification
- Gary T. Leavens,
- Jean-Raymond Abrial,
- Don Batory,
- Michael Butler,
- Alessandro Coglio,
- Kathi Fisler,
- Eric Hehner,
- Cliff Jones,
- Dale Miller,
- Simon Peyton-Jones,
- Murali Sitaraman,
- Douglas R. Smith,
- Aaron Stump
GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineeringPages 221–236https://doi.org/10.1145/1173706.1173740This roadmap describes ways that researchers in four areas---specification languages, program generation, correctness by construction, and programming languages---might help further the goal of verified software. It also describes what advances the "...
