Jan Maluszynski's Books

Programming Language Implementation and Logic Programming

3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

By: Jan Małuszyński,Martin Wirsing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Programming Language Implementation and Logic Programming

3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

By: Jan Małuszyński,Martin Wirsing

This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

452

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540544445

ISBN 13

9783540544449

Our Nation Unhinged

The Human Consequences of the War on Terror

By: Peter Jan Honigsberg

Write a review Read reviews Take a Quiz Solve Book Puzzle

Our Nation Unhinged

The Human Consequences of the War on Terror

By: Peter Jan Honigsberg

Jose Padilla short-shackled and wearing blackened goggles and earmuffs to block out all light and sound on his way to the dentist. Fifteen-year-old Omar Khadr crying out to an American soldier, "Kill me!" Hunger strikers at Guantánamo being restrained and force-fed through tubes up their nostrils. John Walker Lindh lying naked and blindfolded in a metal container, bound by his hands and feet, in the freezing Afghan winter night. This is the story of the Bush administration's response to the attacks of September 11, 2001—and of how we have been led down a path of executive abuses, human tragedies, abandonment of the Constitution, and the erosion of due process and liberty. In this vitally important book, Peter Jan Honigsberg chronicles the black hole of the American judicial system from 2001 to the present, providing an incisive analysis of exactly what we have lost over the past seven years and where we are now headed.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

344

Publisher

Univ of California Press

Published Date

ISBN 10

0520943120

ISBN 13

9780520943124

Formal Techniques in Real-Time and Fault-Tolerant Systems

Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

By: Jan Vytopil

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Techniques in Real-Time and Fault-Tolerant Systems

Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

By: Jan Vytopil

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

636

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540550925

ISBN 13

9783540550921

A Grammatical View of Logic Programming

By: Pierre Deransart,Jan Małuszyński

Write a review Read reviews Take a Quiz Solve Book Puzzle

A Grammatical View of Logic Programming

By: Pierre Deransart,Jan Małuszyński

Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field. The authors' approach facilitates discussion of grammatical aspects of, and introduces new kinds of semantics for, definite programs. They survey relevant grammatical formalisms and provide a comprehensive introduction to the well-known attribute grammars and van Wijngaarden grammars. A formal comparison of definite programs to these grammars allows the authors to identify interesting grammatical concepts. The book also includes a presentation of verification methods for definite programs derived from verification methods for attribute grammars, and an analysis of the occur-check problem as an example of how the grammatical view of logic programming can be applied. Pierre Deransart is Research Director at INRIA-Rocquencourt, Le Chesnay Cedex, France. Jan Maluszynski is Professor in the Department of Computer and Information Science at Linkoping University, Sweden. Contents: Preliminaries. Foundations. Grammatical Extensions of Logic Programs. Attribute Grammars. Attribute Grammars and Logic Programming. Proof Methods. Study of Declarative Properties. The Occur-check Problem.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

454

Publisher

MIT Press (MA)

Published Date

ISBN 10

0262041405

ISBN 13

9780262041409

Programming Languages Implementation and Logic Programming

International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings

By: Pierre Deransart,Bernard Lorho,Jan Maluszynski

Write a review Read reviews Take a Quiz Solve Book Puzzle

Programming Languages Implementation and Logic Programming

International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings

By: Pierre Deransart,Bernard Lorho,Jan Maluszynski

The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results. The intention was to bring together researchers from both fields, especially those working in the area of their intersection. Problems such as formal specification of compilers and syntax-based editors, program analysis and program optimization have been traditionally studied by implementors of algorithmic languages and have resulted in a number of well-established notions, formalisms and techniques. At the same time, an increasing number of people use logic programming as a way of specifying compilers or other programming environment tools, taking advantage of the relatively high level of logic programming and the growing efficiency of Prolog implementations. On the other hand, research on logic programming raises the questions of analysis of logic programs and their optimization. These are motivated primarily by compiler construction for logic programs, by studies on the methodology of logic programming and by the attempts to amalgamate logic programming and functional programming. The purpose of the workshop is to review the techniques developed in one (or both) of the fields which could also be of some help in the other one and to facilitate the transfer of expertise. It seems important to compare notions used in both fields: showing similarities between them may prevent rediscovering results already known, while studying differences may contribute to the transfer of technology.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

310

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540508201

ISBN 13

9783540508205

Programming Language Implementation and Logic Programming

3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

By: Jan Małuszyński,Martin Wirsing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Programming Language Implementation and Logic Programming

3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

By: Jan Małuszyński,Martin Wirsing

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

452

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540544445

ISBN 13

9783540544449

Principles and Practice of Semantic Web Reasoning

International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings

By: Francois Bry,Nicola Henze,Jan Maluszynski

Write a review Read reviews Take a Quiz Solve Book Puzzle

Principles and Practice of Semantic Web Reasoning

International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings

By: Francois Bry,Nicola Henze,Jan Maluszynski

This book constitutes the refereed proceedings of the International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2003, held in Mumbai, India in December 2003 as satellite meeting of ICLP 2003. The 13 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on foundations of semantic Web reasoning, reasoning in practice, query- and rule-languages, and semantics and knowledge representation.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

218

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540205829

ISBN 13

9783540205821

Book's by Jan Maluszynski

Programming Language Implementation and Logic Programming

Programming Language Implementation and Logic Programming

Our Nation Unhinged

Our Nation Unhinged

Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

A Grammatical View of Logic Programming

A Grammatical View of Logic Programming

Programming Languages Implementation and Logic Programming

Programming Languages Implementation and Logic Programming

Programming Language Implementation and Logic Programming

Programming Language Implementation and Logic Programming

Principles and Practice of Semantic Web Reasoning

Principles and Practice of Semantic Web Reasoning

Username

Password

Username

Password

Password again

Birthday

Email