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
A note on files in pascal	1977-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
The denotational semantics of programming languages	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4066561	1973-01-01	Paper

Research outcomes over time

This page was built for person: Robert D. Tennent