|
Northeastern University - FALL SEMESTER 2010 | ||
Section 11990 | ||
Semantics Engineering with PLT Redex (1st Edition) by Matthias Felleisen, Matthew Flatt, Robert Bruce Findler, Et Al Felleisen Hardcover, 528 Pages, Published 2009 ISBN-10: 0-262-06275-5 / 0262062755 ISBN-13: 978-0-262-06275-6 / 9780262062756 This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critic |