Programming languages and applied logic

First Steps in Modal Logic

Popkorn, Sally
Published: May 2008Published: February 1995

Basic Simple Type Theory

Hindley, J. Roger
Published: March 2008Published: September 1997Published: January 2011

Proof Theory

A selection of papers from the Leeds Proof Theory Programme 1990

Aczel, Peter
Simmons, Harold
Wainer, Stanley S.
Published: February 2008Published: April 1993

Understanding Z

A Specification Language and its Formal Semantics

Spivey, J. M.
Published: February 2008

Model-Based Software Testing and Analysis with C#

Jacky, Jonathan
Veanes, Margus
Campbell, Colin
(+ 1 other)
Published: January 2008Published: November 2007Published: January 2008

Path-Oriented Program Analysis

Huang, J. C.
Published: January 2008

Concurrent Programming in ML

Reppy, John H.
Published: September 2007Published: December 1999Published: January 2011

Satisficing Games and Decision Making

With Applications to Engineering and Computer Science

Stirling, Wynn C.
Published: August 2007Published: October 2003Published: December 2004

Reactive Systems

Modelling, Specification and Verification

Aceto, Luca
Ingólfsdóttir, Anna
Larsen, Kim Guldstrand
(+ 1 other)
Published: August 2007Published: October 2007

(1 reviews)

Concurrent and Real-Time Programming in Ada

Burns, Alan
Wellings, Andy
Published: July 2007Published: September 2007

A Distributed Pi-Calculus

Hennessy, Matthew
Published: March 2007Published: March 2007

The Uncertain Reasoner's Companion

A Mathematical Perspective

Paris, J. B.
Published: February 2007Published: February 2011

Compiling with Continuations

Appel, Andrew W.
Published: February 2007Published: April 2011

Constraint Logic Programming using Eclipse

Apt, Krzysztof R.
Wallace, Mark
Published: December 2006Published: December 2007

Deductive and Declarative Programming

Padawitz, Peter
Published: November 2006Published: April 2011

The Elements of C# Style

Baldwin, Kenneth
Gray, Andrew
Misfeldt, Trevor
(+ 1 other)
Published: October 2006

Foundations of Parallel Programming

Skillicorn, D. B.
Published: November 2005Published: April 2011

Formal Specification and Design

Feijs, L. M. G.
Jonkers, H. B. M.
Published: November 2005Published: April 2011

The Logic of Typed Feature Structures

With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Carpenter, Robert L.
Published: November 2005Published: March 2011

The B-Book

Assigning Programs to Meanings

Abrial, J. R.
Published: November 2005Published: February 2011