Types in Logic Programming
Title | Types in Logic Programming PDF eBook |
Author | Frank Pfenning |
Publisher | MIT Press |
Pages | 388 |
Release | 1992 |
Genre | Computers |
ISBN | 9780262161312 |
This collection of original research papers assesses and summarizes the impact of types on logic programming. Type theory is a well-established branch of theoretical computer science that has played an important role in the development of imperative and functional programming languages. This collection of original research papers assesses and summarizes the impact of types on logic programming. It covers all of the major themes in this burgeoning field, including simple types, regular tree types, polymorphic types, subtypes, and dependent types. Language design issues as well as semantics, pragmatics, and applications of types are discussed.The benefits that type considerations have to offer logic programming are being increasingly realized: through type checking many errors can be caught before a program is run, resulting in more reliable programs; types form an expressive basis for module systems, since they prescribe a machine-verifiable interface for the code encapsulated within a module; and types may be used to improve performance of code generated by a compiler. The research in this collection describes these benefits as well as important differences in the impact of types in functional and logic programming.
On Types and Type Consistency in Logic Programming
Title | On Types and Type Consistency in Logic Programming PDF eBook |
Author | Gregor Meyer |
Publisher | IOS Press |
Pages | 194 |
Release | 2000 |
Genre | Logic programming |
ISBN | 9783898382359 |
Types in Logic Programming
Title | Types in Logic Programming PDF eBook |
Author | Frank Pfenning |
Publisher | Mit Press |
Pages | 357 |
Release | 1992 |
Genre | Logic programming |
ISBN | 9780262161312 |
This collection of original research papers assesses and summarizes the impact of types on logic programming. Type theory is a well-established branch of theoretical computer science that has played an important role in the development of imperative and functional programming languages. This collection of original research papers assesses and summarizes the impact of types on logic programming. It covers all of the major themes in this burgeoning field, including simple types, regular tree types, polymorphic types, subtypes, and dependent types. Language design issues as well as semantics, pragmatics, and applications of types are discussed.The benefits that type considerations have to offer logic programming are being increasingly realized: through type checking many errors can be caught before a program is run, resulting in more reliable programs; types form an expressive basis for module systems, since they prescribe a machine-verifiable interface for the code encapsulated within a module; and types may be used to improve performance of code generated by a compiler. The research in this collection describes these benefits as well as important differences in the impact of types in functional and logic programming.
Programming with Higher-Order Logic
Title | Programming with Higher-Order Logic PDF eBook |
Author | Dale Miller |
Publisher | Cambridge University Press |
Pages | 321 |
Release | 2012-06-11 |
Genre | Computers |
ISBN | 052187940X |
A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.
Logic Programming with Prolog
Title | Logic Programming with Prolog PDF eBook |
Author | Max Bramer |
Publisher | Springer Science & Business Media |
Pages | 228 |
Release | 2005-11-30 |
Genre | Computers |
ISBN | 1846282128 |
Written for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any background in logic or AI. Includes a full glossary of the technical terms and self-assessment exercises.
On Types and Type Consistency in Logic Programming
Title | On Types and Type Consistency in Logic Programming PDF eBook |
Author | Gregory P. Meyer |
Publisher | Ios PressInc |
Pages | 176 |
Release | 2000-10 |
Genre | Computers |
ISBN | 9781586031251 |
Types and Programming Languages
Title | Types and Programming Languages PDF eBook |
Author | Benjamin C. Pierce |
Publisher | MIT Press |
Pages | 646 |
Release | 2002-01-04 |
Genre | Computers |
ISBN | 0262303825 |
A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.