Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,427,411 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Algebraic specification
Computer science
Extended ML
Formal methods
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
REPORT ON PHYLLOPLANE MYCOFLORA ASSOCIATED WITH CATHARANTHUS ROSEUS (L.) G. DON - A HERBAL MEDICINAL PLANT IN BANGLADESH
S. Shamsi
,
R. Sultana
2016
Corpus ID: 86257797
Catharanthus roseus (L.) G. Don is a well known, widely distributed ornamental plant and important medicinal plant also. The…
Expand
2009
2009
Metalepsis and Paradoxical Narration in Don Quixote : A Reconsideration
Brian Patrick
2009
Corpus ID: 21537950
Metalepsis is the term proposed by Gérard Genette (ND 234–37) to designate a certain type of departure from the norm in narrative…
Expand
2007
2007
Relating time complexity of protein folding simulation to approximations of folding time
K. Steinhöfel
,
A. Skaliotis
,
A. Albrecht
Computer Physics Communications
2007
Corpus ID: 45845683
Review
2003
Review
2003
QUANTITATIVE AND QUALITATIVE METHODOLOGY FUSION IN AN INVESTIGATION OF PERCEPTIONS OF TRANSIT SAFETY
J. Perone
,
L. Tucker
2003
Corpus ID: 61876957
Integrating quantitative and qualitative approaches to transit research provides an innovative tool in both determining and…
Expand
2002
2002
NEW SOUTH WALES DRUG COURT EVALUATION: HEALTH, WELL-BEING AND PARTICIPANT SATISFACTION
Karen Freeman
2002
Corpus ID: 4835086
PREFACE Traditionally in New South Wales, the health care and criminal justice systems have approached illicit drug users from…
Expand
2001
2001
Semantics of Architectural Specifications in CASL
Lutz Schröder
,
Till Mossakowski
,
A. Tarlecki
,
Bartek Klin
,
Piotr Hoffman
Fundamental Approaches to Software Engineering
2001
Corpus ID: 6443345
We present a semantics for architectural specifications in CASL, including an extended static analysis compatible with model…
Expand
1998
1998
Modular correctness proofs of behavioural implementations
M. Bidoit
,
R. Hennicker
Acta Informatica
1998
Corpus ID: 2365146
Abstract. We introduce a concept of behavioural implementation for algebraic specifications which is based on an…
Expand
1996
1996
Debugging Interactive Applications
B. Myers
,
A. Ferrency
,
Richard G. McDaniel
,
R. Dannenberg
1996
Corpus ID: 8506977
Although interactive, direct manipulation applications are known to be difficult to design and implement, the toolkits with which…
Expand
1995
1995
Compositionality and compatibility of parameterization and parameter passing in specification languages
R. Jiménez
,
F. Orejas
,
H. Ehrig
Mathematical Structures in Computer Science
1995
Corpus ID: 8026105
In this paper we continue previous work by Sannella, Sokolowski and Tarlecki on parameterization in specification languages…
Expand
Highly Cited
1990
Highly Cited
1990
A Semi-Functional Implementation of a Higher-Order Logic Programming Language
Conal Elliott
,
F. Pfenning
1990
Corpus ID: 54154214
In this chapter we develop an interpreter of a higher-order constraint logic programming language in Standard ML (SML). The logic…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE