UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for 'Prof David A Watt' ordered by Year. (20)

2005 2004 2001 2000 1999 1996 1994 1993 1992 1991 1990 1989 1987 1985 1982

2005

The Design of Monty: a Programming/Scripting Language
Watt,D.A. Language Descriptions, Tools and Applications (LDTA 2005) pp 1-23 Electronic Notes in Theoretical Computer Science [More Details].

2004

Programming Language Design Concepts
Watt,D.A. pp 1-480 Wiley [More Details].

2001

Java Collections - An Introduction to Abstract Data Types, Data Structures and Algorithms
Watt,D.A. Brown,D.F. pp 1-549 Wiley [More Details].

2000

Formalizing the dynamic semantics of Java
Watt,D.A. Proceedings of 3rd International Workshop on Action Semanrics pp 1-18 University of Aarhus [More Details].

Programming languages - trends in education
Watt,D.A. Simposio Brasileiro de Linguagens de Programacao Universidade Federal de Pernambuco [More Details].

Programming Language Processors in Java - Compilers and Interpreters
Watt,D.A. Brown,D.F. pp 1-436 Pearson [More Details].

Compiler Construction - Proceedings of 9th International Conference
Watt,D.A. pp 1-295 Springer [More Details].

1999

The static and dynamic semantics of Standard ML
Watt,D.A. Proceedings of 2nd International Workshop on Action Semantics pp 155-172 Dept of Computer Science, University of Aarhus [More Details].

JAS - a Java action semantics
Brown,D.F. Watt,D.A. Proceedings of 2nd International Workshop on Action Semantics pp 43-56 Dept of Computer Science, University of Aarhus [More Details].

1996

Why don't programming language designers use formal methods?
Watt,D.A. Anais XXIII Seminário Integrado de Software e Hardware pp 3-16 Universidade Federal de Pernambuco [More Details].

1994

Using ASF+SDF to interpret and transform actions
Watt,D.A. Proc. 1st International Workshop on Action Semantics (ed. Mosses, P.D.), University of Aarhus, Denmark (1994) pp 129-142 University of Aarhus [More Details].

Action transformations in the Actress compiler generator
Watt,D.A. Compiler Construction - 5th Intl. Conference CC'94 (ed. Fritzson, P.) Springer LNCS pp 16-30 Springer [More Details].

1993

Programming Language Processors
Watt,D.A. pp 1-452 Prentice Hall [More Details].

1992

Actress - an action semantics directed compiler generator
Watt,D.A. Brown,D. Moura,H. Compiler Construction - 4th Intl. Conference CC'92 (ed. Kastens, U., and Pfahler, P.) Springer LNCS pp 95-109 Springer [More Details].

1991

Programming Language Syntax and Semantics
Watt,D.A. pp 1-389 Prentice Hall [More Details].

1990

Programming Language Concepts and Paradigms
Watt,D.A. pp 1-322 Prentice Hall [More Details].

1989

The Professional Programmers Guide to Pascal
Watt,D.A. pp 1-115CW Pitman Publishing [More Details].

1987

Ada - Language and Methodology
Watt,D.A. Wichmann,B.A. Findlay,W. pp 1-518 Prentice Hall [More Details].

1985

An Introduction to Methodical Programming
Watt,D.A. Findlay,W. pp 1-413 Pitman Publishing [More Details].

1982

Pocket Guide to Pascal
Watt,D.A. pp 1-58CW Pitman Publishing [More Details].