WorldCat Identities

Krishnamurthi, Shriram

Overview
Works: 19 works in 75 publications in 2 languages and 1,083 library holdings
Genres: Conference papers and proceedings  Textbooks 
Roles: Editor, Author, Creator
Classifications: QA76.7, 005.12
Publication Timeline
.
Most widely held works by Shriram Krishnamurthi
Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings by Shriram Krishnamurthi( Book )

24 editions published between 2001 and 2002 in English and held by 233 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."--Publisher's description
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 by Shriram Krishnamurthi( Book )

20 editions published between 2003 and 2007 in English and held by 138 WorldCat member libraries 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
Programming languages : application and interpretation by Shriram Krishnamurthi( )

12 editions published between 2003 and 2012 in English and Undetermined and held by 90 WorldCat member libraries worldwide

"Unlike some other textbooks, this one does not follow a top-down narrative. Rather it has the flow of a conversation, with backtracking. We will often build up programs incrementally, just as a pair of programmers would. We will include mistakes, not because I don't know the answer, but because this is the best way for you to learn. Including mistakes makes it impossible for you to read passively: you must instead engage with the material, because you can never be sure of the veracity of what you're reading. At the end, you'll always get to the right answer. However, this non-linear path is more frustrating in the short term (you will often be tempted to say, "Just tell me the answer, already!"), and it makes the book a poor reference guide (you can't open up to a random page and be sure what it says is correct). However, that feeling of frustration is the sensation of learning. I don't know of a way around it."--Open Textbook Library
How to design programs : an introduction to programming and computing by Matthias Felleisen( Book )

2 editions published between 2001 and 2008 in English and held by 6 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. - Publisher
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering by Shriram Krishnamurthi( Book )

3 editions published in 2008 in English and held by 3 WorldCat member libraries worldwide

Annotation
Practical aspects of declarative languages : 4th international symposium, PADL 2002( )

1 edition published in 2002 in English and held by 2 WorldCat member libraries worldwide

Compiler Construction( Book )

1 edition published in 2007 in Undetermined and held by 2 WorldCat member libraries worldwide

Compiler construction 16th international conference ; proceedings( Book )

1 edition published in 2007 in English and held by 2 WorldCat member libraries worldwide

30th European Conference on Object-Oriented Programming ECOOP'16, July 18-22, 2016, Rome, Italy by European Conference on Object-Oriented Programming( )

1 edition published in 2016 in English and held by 1 WorldCat member library worldwide

<>( Book )

1 edition published in 2011 in Korean and held by 1 WorldCat member library worldwide

1st Summit on Advances in Programming Languages (SNAPL 2015) : SNAPL'15, May 3-6, 2015, Asilomar, California, US by Summit on Advances in Programming Languages( )

1 edition published in 2015 in English and held by 1 WorldCat member library worldwide

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

2nd summit on advances in programming languages : SNAPL 2017, May 7–10, 2017, Asilomar, CA, USA by Summit on Advances in Programming Languages( )

1 edition published in 2017 in English and held by 1 WorldCat member library worldwide

1st Summit on Advances in Programming Languages (SNAPL 2015)( )

1 edition published in 2015 in English and held by 0 WorldCat member libraries 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 0 WorldCat member libraries 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
30th European Conference on Object-Oriented Programming (ECOOP 2016)( )

1 edition published in 2016 in English and held by 0 WorldCat member libraries worldwide

2nd Summit on Advances in Programming Languages (SNAPL 2017)( )

1 edition published in 2017 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.59 (from 0.18 for How to des ... to 0.99 for <> ...)

Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedingsPractical aspects of declarative languages : 4th international symposium, PADL 2002
Alternative Names
Shriram Krishnamurthi Computer scientist

크리슈나무르티, 슈리람

Languages
English (72)

Korean (1)

Covers
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 : proceedingsHow to design programs : an introduction to programming and computingCompiler 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 ; proceedingsPractical aspects of declarative languages : 4th international symposium, PADL 2002Compiler construction 16th international conference ; proceedings