Programming languages and applied logic

Systematic Program Design

From Clarity to Efficiency

Liu, Yanhong Annie
Published: August 2013Published: August 2013Published: June 2013

Functional Programming Using F#

Hansen, Michael R.
Rischel, Hans
Published: June 2013Published: June 2013Published: May 2013

(1 reviews)

Nominal Sets

Names and Symmetry in Computer Science

Pitts, Andrew M.
Published: May 2013Published: No date available

Non-Hausdorff Topology and Domain Theory

Selected Topics in Point-Set Topology

Goubault-Larrecq, Jean
Published: March 2013Published: March 2013

Practical Foundations for Programming Languages

Harper, Robert
Published: February 2013

Programming with Higher-Order Logic

Miller, Dale
Nadathur, Gopalan
Published: September 2012Published: June 2012

Graph Structure and Monadic Second-Order Logic

A Language-Theoretic Approach

Courcelle, Bruno
Engelfriet, Joost
Published: June 2012Published: July 2013

Nonmonotonic Reasoning

Logical Foundations of Commonsense

Brewka, Gerhard
Published: March 2012Published: February 1991

Web Data Management

Abiteboul, Serge
Manolescu, Ioana
Rigaux, Philippe
(+ 2 others)
Published: February 2012Published: February 2012

(1 reviews)

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Roever, Willem-Paul de
Boer, Frank de
Hanneman, Ulrich
(+ 4 others)
Published: January 2012Published: November 2001

Specification and Proof in Real Time CSP

Davies, Jim
Published: January 2012Published: May 1993Published: May 2012

Proofs and Computations

Schwichtenberg, Helmut
Wainer, Stanley S.
Published: December 2011Published: February 2012

Formal Methods for Distributed Processing

A Survey of Object-Oriented Approaches

Bowman, Howard
Derrick, John
Published: December 2011Published: January 2002

Advanced Topics in Bisimulation and Coinduction

Sangiorgi, Davide
Rutten, Jan
Published: October 2011Published: November 2011

Introduction to Bisimulation and Coinduction

Sangiorgi, Davide
Published: October 2011Published: November 2011

Unification Grammars

Francez, Nissim
Wintner, Shuly
Published: October 2011Published: February 2012

An Introduction to Category Theory

Simmons, Harold
Published: September 2011Published: September 2011Published: March 2012

Aspect-Oriented, Model-Driven Software Product Lines

The AMPLE Way

Rashid, Awais
Royer, Jean-Claude
Rummler, Andreas
Published: September 2011Published: December 2011

Foundations of Component-Based Systems

Leavens, Gary T.
Sitaraman, Murali
Published: July 2011Published: June 2000

Computation and Automata

Salomaa, Arto
Published: April 2011Published: May 1985Published: July 2013