×

zbMATH — the first resource for mathematics

Smith, Scott F.

Compute Distance To:
Author ID: smith.scott-f Recent zbMATH articles by "Smith, Scott F."
Published as: Smith, S.; Smith, S. F.; Smith, Scott; Smith, Scott F.
Homepage: https://www.cs.jhu.edu/~scott/
Documents Indexed: 33 Publications since 1983, including 1 Book

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 82 times in 70 Documents Cited by Year
A foundation for actor computation. Zbl 0870.68091
Agha, Gul A.; Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L.
26
1997
Type inference for recursively constrained types and its application to OOP. Zbl 0910.68143
Eifrig, Jonathan; Smith, Scott; Trifonov, Valery
10
1995
From operational semantics to domain theory. Zbl 0856.68094
Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L.
8
1996
Types and trace effects of higher order programs. Zbl 1142.68020
Skalka, Christian; Smith, Scott; van Horn, David
5
2008
A variable typed logic of effects. Zbl 0832.68009
Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn
5
1995
Computational foundations of basic recursive function theory. Zbl 0798.03046
Constable, Robert L.; Smith, Scott F.
5
1993
History effects and verification. Zbl 1116.68381
Skalka, Christian; Smith, Scott
3
2004
Specification diagrams for actor systems. Zbl 1020.68051
Smith, Scott F.; Talcott, Carolyn L.
3
2002
Hybrid partial-total type theory. Zbl 0830.68078
Smith, Scott F.
3
1995
Precise constraint-based type inference for Java. Zbl 0982.68729
Wang, Tiejun; Smith, Scott F.
2
2001
A systematic approach to static access control. Zbl 0987.68859
Pottier, François; Skalka, Christian; Smith, Scott
2
2001
Provably correct synthesis of asynchronous circuits. Zbl 0759.94022
Smith, Scott F.; Zwarico, Amy E.
2
1992
Towards mechanical solution of the Kahan ellipse problem. I. Zbl 0553.68031
Arnon, Dennis S.; Smith, Scott F.
2
1983
Diameter of some monomial digraphs. Zbl 1354.05060
Kodess, A.; Lazebnik, F.; Smith, S.; Sporre, J.
1
2016
Type-specialized staged programming with process separation. Zbl 1256.68022
Liu, Yu David; Skalka, Christian; Smith, Scott F.
1
2011
Continuous management of airlift and tanker resources: a constraint-based approach. Zbl 1055.90532
Smith, S. F.; Becker, M. A.; Kramer, L. A.
1
2004
Polyvariant flow analysis with constrained types. Zbl 0971.68626
Smith, Scott F.; Wang, Tiejun
1
2000
Modular reasoning for actor specification diagrams. Zbl 0928.68076
Smith, Scott F.; Talcott, Carolyn L.
1
1999
A theory of classes for a functional language with effects. Zbl 0835.68013
Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn
1
1993
Diameter of some monomial digraphs. Zbl 1354.05060
Kodess, A.; Lazebnik, F.; Smith, S.; Sporre, J.
1
2016
Type-specialized staged programming with process separation. Zbl 1256.68022
Liu, Yu David; Skalka, Christian; Smith, Scott F.
1
2011
Types and trace effects of higher order programs. Zbl 1142.68020
Skalka, Christian; Smith, Scott; van Horn, David
5
2008
History effects and verification. Zbl 1116.68381
Skalka, Christian; Smith, Scott
3
2004
Continuous management of airlift and tanker resources: a constraint-based approach. Zbl 1055.90532
Smith, S. F.; Becker, M. A.; Kramer, L. A.
1
2004
Specification diagrams for actor systems. Zbl 1020.68051
Smith, Scott F.; Talcott, Carolyn L.
3
2002
Precise constraint-based type inference for Java. Zbl 0982.68729
Wang, Tiejun; Smith, Scott F.
2
2001
A systematic approach to static access control. Zbl 0987.68859
Pottier, François; Skalka, Christian; Smith, Scott
2
2001
Polyvariant flow analysis with constrained types. Zbl 0971.68626
Smith, Scott F.; Wang, Tiejun
1
2000
Modular reasoning for actor specification diagrams. Zbl 0928.68076
Smith, Scott F.; Talcott, Carolyn L.
1
1999
A foundation for actor computation. Zbl 0870.68091
Agha, Gul A.; Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L.
26
1997
From operational semantics to domain theory. Zbl 0856.68094
Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L.
8
1996
Type inference for recursively constrained types and its application to OOP. Zbl 0910.68143
Eifrig, Jonathan; Smith, Scott; Trifonov, Valery
10
1995
A variable typed logic of effects. Zbl 0832.68009
Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn
5
1995
Hybrid partial-total type theory. Zbl 0830.68078
Smith, Scott F.
3
1995
Computational foundations of basic recursive function theory. Zbl 0798.03046
Constable, Robert L.; Smith, Scott F.
5
1993
A theory of classes for a functional language with effects. Zbl 0835.68013
Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn
1
1993
Provably correct synthesis of asynchronous circuits. Zbl 0759.94022
Smith, Scott F.; Zwarico, Amy E.
2
1992
Towards mechanical solution of the Kahan ellipse problem. I. Zbl 0553.68031
Arnon, Dennis S.; Smith, Scott F.
2
1983
all top 5

Cited by 137 Authors

8 Talcott, Carolyn L.
5 Harper, Robert
4 Mason, Ian A.
4 Ren, Shangping
3 Henrio, Ludovic
3 Sirjani, Marjan
2 Gaspari, Mauro
2 Ho, Weng Kin
2 Mezzetti, Gianluca
2 Naumov, Pavel G.
2 Niehren, Joachim
2 Owe, Olaf
2 Sabel, David
2 Schmidt-Schauß, Manfred
2 Skalka, Christian
1 Abbasi, Rosa
1 Ábrahám, Erika
1 Agha, Gul A.
1 Alves, Sandra
1 Ameur-Boulifa, R.
1 Ancona, Davide
1 Angiuli, Carlo
1 Arnon, Dennis S.
1 Aspinall, David
1 Atkey, Robert
1 Bailey, Andrew D. jun.
1 Bartoletti, Massimo
1 Basile, Davide
1 Bergstra, Jan A.
1 Beringer, Lennart
1 Bickford, Mark
1 Biernacka, Małgorzata
1 Birkedal, Lars
1 Boreale, Michele
1 Bornat, Richard
1 Brown, Geoffrey W.
1 Bugliesi, Michele
1 Calcagno, Cristiano
1 Caromel, Denis
1 Castellani, Ilaria
1 Chothia, Tom
1 Crary, Karl
1 Dami, Laurent
1 Danvy, Olivier
1 de Boer, Frank S.
1 De Nicola, Rocco
1 Degano, Pierpaolo
1 Deniélou, Pierre-Malo
1 Dezani-Ciancaglini, Mariangiola
1 Donaldson, Alastair F.
1 Dragoni, Nicola
1 Dymnikov, Constantine
1 Felty, Amy P.
1 Ferrari, Gian Luigi
1 Field, John Everett
1 Florido, Mário
1 Foster, Jeffrey S.
1 Fournet, Cédric
1 Galletta, Letterio
1 Garrigue, Jacques
1 Gay, Simon J.
1 Ghassemi, Fatemeh
1 Ghilezan, Silvia
1 Gonthier, Georges
1 Grabe, Immo
1 Grüner, Andreas
1 Haller, Philipp
1 Hicks, Michael C.
1 Hofmann, Martin
1 Hötzel Escardó, Martín
1 Jaghoori, Mohammad Mahdi
1 Johansen, Christian
1 Johnsen, Einar Broch
1 Kammüller, Florian
1 Khosravi, Ramtin
1 Kodess, Alex
1 Kronenthal, Brian G.
1 Kulankhina, O.
1 Kurnia, Ilham W.
1 Küster Filipe Bowles, Juliana
1 Lagorio, Giovanni
1 Liu, Yu David
1 Loidl, Hans-Wolfgang
1 Longuet, Delphine
1 Luk, Wayne
1 Lutz, Bianca
1 Madelaine, Eric
1 Male, Chris
1 Manzano-Ruiz, Diego
1 Marinescu, Maria-Cristina
1 Marth, Kevin
1 McCaskill, George A.
1 Middelburg, Cornelis A.
1 Might, Matthew
1 Mignotte, Maurice
1 Miller, Heather
1 Milne, George J.
1 Moggi, Eugenio
1 Momigliano, Alberto
1 Morrisett, Greg
...and 37 more Authors

Citations by Year