Basic Simple Type Theory

Author: J. Roger Hindley

Publisher: Cambridge University Press

ISBN: 9780521465182

Category: Computers

Page: 186

View: 2955

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm that lies at the heart of every such system. Also featured are two other interesting algorithms that until now have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making it the first book at this level that can be used as an introduction to type theory for computer scientists.

Basic Proof Theory

Author: A. S. Troelstra,H. Schwichtenberg

Publisher: Cambridge University Press

ISBN: 9780521779111

Category: Computers

Page: 417

View: 6599

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.

Computer Science Logic

16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September

Author: Julian Bradfield

Publisher: Springer

ISBN: 3540457933

Category: Computers

Page: 628

View: 5646

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ́ the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials – ‘Introduction to Mu- Calculi’ (Julian Brad?eld) and ‘Parametrized Complexity’ (Martin Grohe) – were given on the previous day.

Theoretical Aspects of Computing - ICTAC 2008

5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings

Author: John S. Fitzgerald,Anne E. Haxthausen

Publisher: Springer Science & Business Media

ISBN: 3540857613

Category: Computers

Page: 455

View: 7597

This book constitutes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008 held in Istanbul, Turkey in September 2008. The 27 revised full papers were carefully reviewed and selected from over 70 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development.
Artificial intelligence

Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving

10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001. Proceedings

Author: Pavel Brazdil,Alipio Jorge

Publisher: Springer


Category: Artificial intelligence

Page: 418

View: 3394

This book constitutes the refereed proceedings of the 10th Portuguese Conference on Artificial Intelligence, EPTA 2001, held in Porto, Portugal, in December 2001. The 21 revised long papers and 18 revised short papers were carefully reviewed and selected from a total of 88 submissions. The papers are organized in topical sections on extraction of knowledge from databases, AI techniques for financial time series analysis, multi-agent systems, AI logics and logic programming, constraint satisfaction, and AI planning.

Programming Languages

Principles and Practice

Author: Kenneth C. Louden

Publisher: Course Technology Ptr


Category: Computers

Page: 694

View: 4518

This text provides students with an overview of key issues in the study of programming languages. Rather than focus on individual language issues, Kenneth Louden focuses on language paradigms and concepts that are common to all languages.


Author: Zahir Tari

Publisher: IEEE

ISBN: 9780769501826

Category: Computers

Page: 386

View: 3711

The September 1999 symposium provided a forum for both researchers and practitioners of distributed object systems to evaluate existing ORB middleware products; to propose solutions to major limitations of existing products; and to introduce promising future research directions. Contributors emphasi"

Theories of types and proofs

Author: Masako Takahashi,Mitsuhiro Okada,Mariangiola Dezani-Ciancaglini,Nihon Sūgakkai

Publisher: N.A


Category: Mathematics

Page: 295

View: 7539

Computer programming

Programming Languages and Systems

13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Author: David Schmidt

Publisher: Springer


Category: Computer programming

Page: 417

View: 4757

This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004. The 27 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from a total of 118 submissions. The papers deal with a broad variety of current issues in the specification, analysis, and implementation of programming languages and systems.

Design Concepts in Programming Languages

Author: Franklyn Turbak,David Gifford,Mark A. Sheldon

Publisher: Mit Press


Category: Computers

Page: 1322

View: 5394

1. Introduction 2. Syntax 3. Operational semantics 4. Denotational semantics 5. Fixed points 6. FL: a functional language 7. Naming 8. State 9. Control 10. Data 11. Simple types 12. Polymorphism and higher-order types 13. Type reconstruction 14. Abstract types 15. Modules 16. Effects describe progran behavior 17. Compilation 18. Garbage collection.
Language Arts & Disciplines

Generalized Galois logics

relational semantics of nonclassical logical calculi

Author: Katalin Bimbó,J. Michael Dunn

Publisher: Center for the Study of Language and Inf

ISBN: 9781575865744

Category: Language Arts & Disciplines

Page: 382

View: 2584

Nonclassical logics play an ever-increasing role in various disciplines from mathematics, informatics and computer science to artificial intelligence, cognitive science, linguistics and philosophy.
Lambda calculus

Explicit Substitutions and All that

Author: César A. Muñoz

Publisher: N.A


Category: Lambda calculus

Page: 22

View: 4081

Abstract: "Explicit substitution calculi are extensions of the [lambda]-calculus where the substitution mechanism is internalized into the theory. This feature makes them suitable for implementation and theoretical study of logic-based tools such as strongly typed programming languages and proof assistant systems. In this paper we explore new developments on two of the most successful styles of explicit substitution calculi: the [lambda sigma]- and [lambda s [subscript e]]-calculi."
Programming languages (Electronic computers)


A Monthly Publication of the Special Interest Group on Programming Languages

Author: N.A

Publisher: N.A

ISBN: 9781581136289

Category: Programming languages (Electronic computers)

Page: 299

View: 5843