Robert D. Tennent

Available identifiers

zbMath Open tennent.robert-dMaRDI QIDQ418808

List of research outcomes

Publication	Date of Publication	Type
Monoidal Indeterminates and Categories of Possible Worlds	2016-05-10	Paper
Monoidal indeterminates and categories of possible worlds	2012-05-30	Paper
An introduction to Landin's ``Getting rid of labels	2010-11-12	Paper
A fibrational framework for possible-world semantics of \textsc{Algol}-like languages	2007-05-11	Paper
Specifying Software	2002-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q2754136	2001-11-11	Paper
Syntactic control of interference revisited	2000-08-23	Paper
Abstract models of storage	2000-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4222775	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4222758	1998-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4364388	1998-03-15	Paper
Parametricity and local variables	1998-01-28	Paper
Semantical analysis of specification logic. II	1994-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q4282567	1994-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q3138545	1993-11-11	Paper
Continuations in possible-world semantics	1992-06-26	Paper
Semantical analysis of specification logic	1990-01-01	Paper
Elementary data structures in ALGOL-like languages	1989-01-01	Paper
A note on undefined expression values in programming logics	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4725711	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3707398	1985-01-01	Paper
Semantics of interference control	1983-01-01	Paper
Some proposals for improving Pascal	1983-01-01	Paper
Two examples of block structuring	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3948576	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3914393	1981-01-01	Paper
Another look at type compatibility in pascal	1978-01-01	Paper
Language design methods based on semantic principles	1977-01-01	Paper
On a new approach to representation independent data classes	1977-01-01	Paper
A note on files in pascal	1977-01-01	Paper
The denotational semantics of programming languages	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4066561	1973-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert D. Tennent