Scott F. Smith

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
From operational to denotational semantics Lecture Notes in Computer Science	2023-08-16	Paper
A set-based context model for program analysis	2021-07-08	Paper
Relative Store Fragments for Singleton Abstraction Static Analysis	2019-09-16	Paper
Reflective semantics of constructive type theory Lecture Notes in Computer Science	2017-11-17	Paper
Types for flexible objects Programming Languages and Systems	2016-02-26	Paper
Type-specialized staged programming with process separation Higher-Order and Symbolic Computation	2013-01-08	Paper
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification Programming Languages and Systems	2008-05-15	Paper
Types and trace effects of higher order programs Journal of Functional Programming	2008-03-27	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-08-17	Paper
Specification diagrams for actor systems Higher-Order and Symbolic Computation	2003-05-11	Paper
scientific article; zbMATH DE number 1728236 (Why is no real title available?)	2002-04-15	Paper
scientific article; zbMATH DE number 1693037 (Why is no real title available?)	2002-01-22	Paper
scientific article; zbMATH DE number 1629949 (Why is no real title available?)	2001-11-06	Paper
The coverage of operational semantics	2001-03-19	Paper
scientific article; zbMATH DE number 1304377 (Why is no real title available?)	2000-01-09	Paper
A foundation for actor computation Journal of Functional Programming	1997-06-04	Paper
From operational semantics to domain theory Information and Computation	1996-10-01	Paper
scientific article; zbMATH DE number 515740 (Why is no real title available?)	1996-04-16	Paper
HYBRID PARTIAL-TOTAL TYPE THEORY International Journal of Foundations of Computer Science	1995-10-29	Paper
A variable typed logic of effects Information and Computation	1995-08-01	Paper
Computational foundations of basic recursive function theory Theoretical Computer Science	1994-11-03	Paper
scientific article; zbMATH DE number 139979 (Why is no real title available?)	1993-03-28	Paper
scientific article; zbMATH DE number 3881880 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

This page was built for person: Scott F. Smith