Search for Topics All Reviews
	Browse All Reviews > Software (D) > Programming Techniques (D.1) > Sequential Programming (D.1.4)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 17 Reviews about "Sequential Programming (D.1.4)": Date Reviewed   Problem solving and program design in C (6th ed.) Hanly J., Koffman E.,  Addison-Wesley Publishing Company, Boston, MA, 2009. 936 pp. Type: Book (978-0-321535-42-9) Intended for a first programming course at the college level, this book has no prerequisites. In fact, it begins in an unusual manner. Chapter 0, “Computer Science as a Career Path,” describes various computer disciplines the student... Aug 2 2012   Python for software design: how to think like a computer scientist Downey A.,  Cambridge University Press, New York, NY, 2009. 272 pp. Type: Book (9780521725965), Reviews: (2 of 2) In about 250 pages, Downey successfully presents the programming language Python. Three of the 19 chapters of the book are devoted to case studies. Even though the average chapter length is only about 15 pages, the author provides details of... Jun 26 2009   Python for software design: how to think like a computer scientist Downey A.,  Cambridge University Press, New York, NY, 2009. 272 pp. Type: Book (9780521725965), Reviews: (1 of 2) I found the title of this book a little misleading. In fact, it is simply an introduction to programming, using Python as a programming language. In a volume of this size, it is not really possible to present software design seriously.... Jun 18 2009   Learning Joomla! 1.5 extension development: creating modules, components, and plugins with PHP LeBlanc J.,  Packt Publishing, 2007. 176 pp. Type: Book (9781847191304) As indicated by the title, this brief but fast-paced tutorial is designed to allow experienced PHP programmers to quickly begin programming in Joomla! by creating extensions. The book is fast paced, and it covers a variety of ... Feb 8 2008   Simply Scheme (2nd ed.) Harvey B., Wright M.,  MIT Press, Cambridge, MA, 1999.Type: Book (9780262082815) When I first read Simply Scheme [1] a few years ago, I did so after having enjoyed Structure and interpretation of computer programs (SICP) by Abelson and Sussman [2], the book that inspired Harvey and Wright to write Simply... Feb 1 2000   Verification of sequential and concurrent programs (2nd ed.) Apt K. (ed), Olderog E.,  Springer-Verlag New York, Inc., Secaucus, NJ, 1997.Type: Book (9780387948966) A program consists of statements designating the actions to be performed and the variables on which they operate. Each statement changes the state of variables, which may be defined by an assertion, that is, a relation between variables that must ... Feb 1 1998   Interprocedural static analysis of sequencing constraints Olender K., Osterweil L.  ACM Transactions on Software Engineering and Methodology 1(1): 21-52, 1992. Type: Article In their abstract, the authors state, “This paper describes a system that automatically performs static interprocedural sequencing analysis from programmable constraint specifications.” Once past the title, the rest is easy, or at... Nov 1 1992   Programming solutions handbook for IBM microcomputers Sanchez J., Canton M.,  McGraw-Hill, Inc., New York, NY, 1991.Type: Book (9780070545977) By one common definition, an expert in a given domain possesses some 50,000 chunks of domain-specific information [1,2]. For expert programmers, these chunks are typically in the form of templates that they can stitch together to create programs. ... Sep 1 1992   Verification of sequential and concurrent programs Krzysztof R., Olderog E.,  Springer-Verlag New York, Inc., New York, NY, 1991.Type: Book (9780387975320) The formal verification of sequential programs by means of syntax-directed proof systems is now well understood in principle. It is possible to take the proof rules as defining the semantics of the programming languages, and this is how Dijkstra... Jul 1 1992   Block-structure and object-oriented languages Madsen O.,  MIT Press, Cambridge, MA, 1987.Type: Book (9780262192644) The purpose of this paper is to show that in object-oriented programming (e.g., in SIMULA 67 and Beta) block structure--when procedures, classes, and blocks can be textually nested--is a natural and powerful mechanism. From this... Mar 1 1989       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2013 ThinkLoud, Inc. Terms of Use | Privacy Policy