WorldCat Identities

Krishnamurthi, Shriram

Overview
Works: 14 works in 55 publications in 1 language and 653 library holdings
Genres: Conference proceedings 
Roles: Editor, Creator
Classifications: QA76.6, 005.12
Publication Timeline
Key
Publications about  Shriram Krishnamurthi Publications about Shriram Krishnamurthi
Publications by  Shriram Krishnamurthi Publications by Shriram Krishnamurthi
Most widely held works by Shriram Krishnamurthi
Practical aspects of declarative languages : 4th international symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 ; proceedings by Shriram Krishnamurthi ( )
16 editions published between 2001 and 2002 in English and held by 106 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, PADL 2002, held in Portland, OR, USA in January 2002. The 18 revised full papers presented together with three invited contributions were carefully reviewed and selected from 37 submissions. Among the topics addressed are objects, ACL, higher order logic programming, compilers, embedded programs, types, XML parsing, texture generation, logic programming, generic programming, modeling languages, Prolog programming, garbage collection, etc
Programming languages : application and interpretation by Shriram Krishnamurthi ( Book )
8 editions published between 2003 and 2007 in English and held by 12 WorldCat member libraries worldwide
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering by Shriram Krishnamurthi ( )
1 edition published in 2008 in English and held by 7 WorldCat member libraries worldwide
Compiler construction 16th international conference ; proceedings ( )
3 editions published in 2007 in English and held by 7 WorldCat member libraries worldwide
Practical aspects of declarative languages : 4th international symposium : proceedings ( Book )
3 editions published between 2001 and 2002 in English and held by 6 WorldCat member libraries worldwide
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering by ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering ( Book )
1 edition published in 2008 in English and held by 3 WorldCat member libraries worldwide
Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002 : proceedings ( Book )
3 editions published in 2002 in English and held by 2 WorldCat member libraries worldwide
How to design programs an introduction to programming and computing by Matthias Felleisen ( )
1 edition published in 2001 in English and held by 2 WorldCat member libraries worldwide
This introduction to programming places computer science in the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process. This approach fosters a variety of skills—critical reading, analytical thinking, creative synthesis, and attention to detail—that are important for everyone, not just future computer programmers. The book exposes readers to two fundamentally new ideas. First, it presents program design guidelines that show the reader how to analyze a problem statement; how to formulate concise goals; how to make up examples; how to develop an outline of the solution, based on the analysis; how to finish the program; and how to test. Each step produces a well-defined intermediate product. Second, the book comes with a novel programming environment, the first one explicitly designed for beginners. The environment grows with the readers as they master the material in the book until it supports a full-fledged language for the whole spectrum of programming tasks. All the book's support materials are available for free on the Web. The Web site includes the environment, teacher guides, exercises for all levels, solutions, and additional projects
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : November 9-10, 2008, Atlanta, Georgia by ACM Workshop on Program Analysis for Software Tools and Engineering ( )
1 edition published in 2008 in English and held by 1 WorldCat member library worldwide
Compiler Construction: 16th International Conference, CC 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 26-30, 2007 Proceedings. Lecture Notes in Computer Science, Volume 4420 ( )
1 edition published in 2007 in English and held by 1 WorldCat member library worldwide
This book constitutes the refereed proceedings of the 16th International Conference on Compiler Construction, CC 2007, held in Braga, Portugal, in March 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software. The 15 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on architecture, garbage collection and program analysis, register allocation, and program analysis
TAV-WEB 2004 : proceedings of the workshop on testing, analysis and verification of web services : Boston, Massachusetts, USA, July 11 by Workshop on testing analysis and verification of web services ( Book )
1 edition published in 2004 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.73 (from 0.00 for Practical ... to 0.95 for Proceeding ...)
Alternative Names
Krishnamurthi, S.
Languages
English (55)
Covers