Search the dblp DataBase
Scott F. Smith :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jonathan Eifrig , Scott F. Smith , Valery Trifonov , Amy E. Zwarico Application of OOP Type Theory: State, Decidability, Integragtion. [Citation Graph (1, 0)][DBLP ] OOPSLA, 1994, pp:16-30 [Conf ] Scott F. Smith Extracting Recursive Programs in Type Theory. [Citation Graph (0, 0)][DBLP ] AMAST, 1991, pp:341-349 [Conf ] Christian Skalka , Scott F. Smith History Effects and Verification. [Citation Graph (0, 0)][DBLP ] APLAS, 2004, pp:107-128 [Conf ] Scott F. Smith , Amy E. Zwarico Correct Compilation of Specifications to Deterministic Asynchronous Circuits. [Citation Graph (0, 0)][DBLP ] CHARME, 1993, pp:179-190 [Conf ] Gul Agha , Ian A. Mason , Scott F. Smith , Carolyn L. Talcott Towards a Theory of Actor Computation. [Citation Graph (0, 0)][DBLP ] CONCUR, 1992, pp:565-579 [Conf ] Scott F. Smith Reflective Semantics of Constructive Type Theory: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Constructivity in Computer Science, 1991, pp:33-45 [Conf ] Furio Honsell , Ian A. Mason , Scott F. Smith , Carolyn L. Talcott A Theory of Classes for a Functional Language with Effects. [Citation Graph (0, 0)][DBLP ] CSL, 1992, pp:309-326 [Conf ] Yu David Liu , Scott F. Smith Modules with Interfaces for Dynamic Linking and Communication. [Citation Graph (0, 0)][DBLP ] ECOOP, 2004, pp:414-439 [Conf ] Ran Rinat , Scott F. Smith Modular Internet Programming with Cells. [Citation Graph (0, 0)][DBLP ] ECOOP, 2002, pp:257-280 [Conf ] Tiejun Wang , Scott F. Smith Precise Constraint-Based Type Inference for Java. [Citation Graph (0, 0)][DBLP ] ECOOP, 2001, pp:99-117 [Conf ] François Pottier , Christian Skalka , Scott F. Smith A Systematic Approach to Static Access Control. [Citation Graph (0, 0)][DBLP ] ESOP, 2001, pp:30-45 [Conf ] Scott F. Smith , Tiejun Wang Polyvariant Flow Analysis with Constrained Types. [Citation Graph (0, 0)][DBLP ] ESOP, 2000, pp:382-396 [Conf ] Scott F. Smith , Carolyn L. Talcott Modular Reasoning for Actor Specification Diagrams. [Citation Graph (0, 0)][DBLP ] FMOODS, 1999, pp:- [Conf ] Christian Skalka , Scott F. Smith Static enforcement of security with types. [Citation Graph (0, 0)][DBLP ] ICFP, 2000, pp:34-45 [Conf ] Scott F. Smith , Amy E. Zwarico Provably Correct Synthesis of Asynchronous Circuits. [Citation Graph (0, 0)][DBLP ] Designing Correct Circuits, 1992, pp:237-260 [Conf ] Robert L. Constable , Scott F. Smith Partial Objects In Constructive Type Theory [Citation Graph (0, 0)][DBLP ] LICS, 1987, pp:183-193 [Conf ] Robert L. Constable , Scott F. Smith Computational Foundations of Basic Recursive Function Theory [Citation Graph (0, 0)][DBLP ] LICS, 1988, pp:360-371 [Conf ] Scott F. Smith From Operational to Denotational Semantics. [Citation Graph (0, 0)][DBLP ] MFPS, 1991, pp:54-76 [Conf ] Jonathan Eifrig , Scott F. Smith , Valery Trifonov Sound Polymorphic Type Inference for Objects. [Citation Graph (0, 0)][DBLP ] OOPSLA, 1995, pp:169-184 [Conf ] Yu David Liu , Scott F. Smith Interaction-based programming with classages. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2005, pp:191-209 [Conf ] Yu David Liu , Scott F. Smith A formal framework for component deployment. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2006, pp:325-344 [Conf ] Ran Rinat , Menachem Magidor , Scott F. Smith Correspondence Polymorphism for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP ] OOPSLA, 1999, pp:167-186 [Conf ] Valery Trifonov , Scott F. Smith Subtyping Constrained Types. [Citation Graph (0, 0)][DBLP ] SAS, 1996, pp:349-365 [Conf ] Jonathan Eifrig , Scott F. Smith , Valery Trifonov Type inference for recursively constrained types and its application to OOP. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal ] Christian Skalka , Scott F. Smith Set Types and Applications. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:75, n:, pp:- [Journal ] Christian Skalka , Scott F. Smith , David Van Horn A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:111-124 [Journal ] Scott F. Smith Specification Diagrams for Actor Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal ] Scott F. Smith , James F. Frenzel Bioinformatic searches using a single-chip shared-memory multiprocessor. [Citation Graph (0, 0)][DBLP ] Future Generation Comp. Syst., 2006, v:22, n:1-2, pp:80-87 [Journal ] Scott F. Smith , Amy E. Zwarico Correct Compilation of Specifications to Deterministic Asynchronous Circuits. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1995, v:7, n:3, pp:155-226 [Journal ] Furio Honsell , Ian A. Mason , Scott F. Smith , Carolyn L. Talcott A Variable Typed Logic of Effects [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:119, n:1, pp:55-90 [Journal ] Ian A. Mason , Scott F. Smith , Carolyn L. Talcott From Operational Semantics to Domain Theory. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1996, v:128, n:1, pp:26-47 [Journal ] Scott F. Smith Hybrid Partial-Total Type Theory. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1995, v:6, n:3, pp:235-263 [Journal ] Christian Skalka , Scott F. Smith Static use-based object confinement. [Citation Graph (0, 0)][DBLP ] Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:87-104 [Journal ] Scott F. Smith , William L. Jorgensen , Philip L. Fuchs PULSAR: a personalized microcomputer-based system for keyword search and retrieval of literature information. [Citation Graph (0, 0)][DBLP ] Journal of Chemical Information and Computer Sciences, 1981, v:21, n:4, pp:209-213 [Journal ] Gul Agha , Ian A. Mason , Scott F. Smith , Carolyn L. Talcott A Foundation for Actor Computation. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1997, v:7, n:1, pp:1-72 [Journal ] Jonathan Eifrig , Scott F. Smith , Valery Trifonov , Amy E. Zwarico An Interpretation of Typed OOP in a Language with State. [Citation Graph (0, 0)][DBLP ] Lisp and Symbolic Computation, 1995, v:8, n:4, pp:357-397 [Journal ] Scott F. Smith , Carolyn L. Talcott Specification Diagrams for Actor Systems. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2002, v:15, n:4, pp:301-348 [Journal ] Kim B. Bruce , Luca Cardelli , Giuseppe Castagna , Jonathan Eifrig , Scott F. Smith , Valery Trifonov , Gary T. Leavens , Benjamin C. Pierce On Binary Methods. [Citation Graph (0, 0)][DBLP ] TAPOS, 1995, v:1, n:3, pp:221-242 [Journal ] Robert L. Constable , Scott F. Smith Computational Foundations of Basic Recursive Function Theory. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:121, n:1&2, pp:89-112 [Journal ] Jens Palsberg , Scott F. Smith Constrained Types and Their Expressiveness. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1996, v:18, n:5, pp:519-527 [Journal ] François Pottier , Christian Skalka , Scott F. Smith A systematic approach to static access control. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2005, v:27, n:2, pp:344-382 [Journal ] The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. [Citation Graph (, )][DBLP ] Sound and Complete Type Inference for a Systems Programming Language. [Citation Graph (, )][DBLP ] Coqa: Concurrent Objects with Quantized Atomicity. [Citation Graph (, )][DBLP ] Dynamic Dependency Monitoring to Secure Information Flow. [Citation Graph (, )][DBLP ] RNA Search Acceleration with Genetic Algorithm Generated Decision Trees. [Citation Graph (, )][DBLP ] A microkernel virtual machine: : building security with clear interfaces. [Citation Graph (, )][DBLP ] Refactoring programs to secure information flows. [Citation Graph (, )][DBLP ] Improving usability of information flow security in java. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.307secs