This text is for use by advanced undergraduate/graduate students of computer science. Taking a formal approach to the teaching of computer science, this book in

A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic p

This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelli

The text contains a detailed and current presentation of the program analyses and transformations that extract the flow of data in computer memory systems. The

RAPTOR is a visual programming language based upon executable flowcharts. A fully functional programming language, RAPTOR simplifies the syntax of programming b