Communications of the ACM
Better Tools For Better Software
Northeastern University professor Matthias Felleisens work has had broad impact in the areas of theory, practice and education.
Credit: Brooks Canaday
Northeastern University professor Matthias Felleisen recently received the 2012 Achievement Award from ACM's SIGPLAN for his work on Racket, which enables programmers to turn familiar vocabulary into a programming language.
Racket was originally developed as a research tool, but now it also is used as an educational platform and as a programming language found in many real-world settings. Felleisen says the overarching goal of his research is to develop better tools for better software. The Northeastern researchers also have developed a type of referee system that helps programmers find the source of errors. "It specifies what a software component promises to do for you and what it expects from you in return," Felleisen says. "It can pinpoint exactly where some component broke its promise." He notes the referee system is a key component in developing a sound programming language.
From Northeastern University News
View Full Article
Abstracts Copyright © 2012 Information Inc., Bethesda, Maryland, USA
No entries found