FST TCS 2002
Subtitle: Foundations of Software Technology and Theoretical Computer Science
Contributors: Manindra Agrawal (Editor); Anil Seth (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 31, 2003
Language: eng
Format: Paperback
Number of pages: 372
ISBN-13: 9783540002253
Subjects: General Theory of Computing; Software engineering; General; Computer Science; Computers; Computers - General Information; Computer Books: General; Programming Languages - General; Logic Design; Algorithms; Approximation; Automata Theory; Computer Science Logic; Computers / Logic Design; Computing Theory; Formal Methods; Mathematical Logic; Optimization; Program Semantics; Programming Calculi; Programming - Software Development
First sentence: In foundational research some two decades ago, Jean-Jacques Lévy attempted to characterize formally what an optimally efficient reduction strategy for the -calculus would look like, even if the technology for its implementation was at the time lacking [13].