Robert D. Tennent

From MaRDI portal
Person:418808

Available identifiers

zbMath Open tennent.robert-dMaRDI QIDQ418808

List of research outcomes





PublicationDate of PublicationType
Monoidal indeterminates and categories of possible worlds2016-05-10Paper
Monoidal indeterminates and categories of possible worlds2012-05-30Paper
An introduction to Landin's ``Getting rid of labels2010-11-12Paper
A fibrational framework for possible-world semantics of \textsc{Algol}-like languages2007-05-11Paper
Specifying Software2002-04-29Paper
https://portal.mardi4nfdi.de/entity/Q27541362001-11-11Paper
Syntactic control of interference revisited2000-08-23Paper
Abstract models of storage2000-06-04Paper
https://portal.mardi4nfdi.de/entity/Q42227751998-12-13Paper
https://portal.mardi4nfdi.de/entity/Q42227581998-12-10Paper
https://portal.mardi4nfdi.de/entity/Q43643881998-03-15Paper
Parametricity and local variables1998-01-28Paper
Semantical analysis of specification logic. II1994-04-17Paper
https://portal.mardi4nfdi.de/entity/Q42825671994-03-17Paper
https://portal.mardi4nfdi.de/entity/Q31385451993-11-11Paper
Continuations in possible-world semantics1992-06-26Paper
Semantical analysis of specification logic1990-01-01Paper
Elementary data structures in ALGOL-like languages1989-01-01Paper
A note on undefined expression values in programming logics1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47257111986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37073981985-01-01Paper
Semantics of interference control1983-01-01Paper
Some proposals for improving Pascal1983-01-01Paper
Two examples of block structuring1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39485761982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39143931981-01-01Paper
Another look at type compatibility in pascal1978-01-01Paper
A note on files in pascal1977-01-01Paper
Language design methods based on semantic principles1977-01-01Paper
On a new approach to representation independent data classes1977-01-01Paper
The denotational semantics of programming languages1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40665611973-01-01Paper

Research outcomes over time

This page was built for person: Robert D. Tennent