Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích

oprava existující anotace, přidání nové anotace

Název:		Abstract Computing Machines
Autor:
Rok vydání:		2005
Identifikátory:		9783540211464

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	<P>This book takes a Lambda-calculus approach to organizing computations. It sets out with a brief introduction to Lambda-calculus, describes a variant of the classical secd-machine as a basic interpreter for the Lambda-calculus, and in the main part continues with strongly normalizing abstract Lambda-calculus machines, of which some are interpreting and some execute compiled code. The classical functional abstract machines are introduced as their weakly normalizing counterparts, and abstract machines for classical imperative languages are shown to derive from them by admitting side-effecting operations.</P>
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)