Skip to search formSkip to main contentSkip to account menu

Don Sannella

Known as: Donald Sannella, Donald T. Sannella, Sannella 
Donald T. Sannella FRSE is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Catharanthus roseus (L.) G. Don is a well known, widely distributed ornamental plant and important medicinal plant also. The… 
2009
2009
Metalepsis is the term proposed by Gérard Genette (ND 234–37) to designate a certain type of departure from the norm in narrative… 
Review
2003
Review
2003
Integrating quantitative and qualitative approaches to transit research provides an innovative tool in both determining and… 
2002
2002
PREFACE Traditionally in New South Wales, the health care and criminal justice systems have approached illicit drug users from… 
2001
2001
We present a semantics for architectural specifications in CASL, including an extended static analysis compatible with model… 
1998
1998
Abstract. We introduce a concept of behavioural implementation for algebraic specifications which is based on an… 
1996
1996
Although interactive, direct manipulation applications are known to be difficult to design and implement, the toolkits with which… 
1995
1995
In this paper we continue previous work by Sannella, Sokolowski and Tarlecki on parameterization in specification languages… 
Highly Cited
1990
Highly Cited
1990
In this chapter we develop an interpreter of a higher-order constraint logic programming language in Standard ML (SML). The logic…