CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Van-de-Snepscheut-J-L-A"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Jump to: 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1984
Number of items: 18.

1994

Van de Snepscheut, Jan L. A. (1994) Mechanized Support for Stepwise Refinement. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NV9G8H. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01

1993

Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NS0RX7. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37

Leino, K. Rustan M. and Van de Snepscheut, Jan L. A. (1993) Semantics of Exceptions. Computer Science Technical Reports, 1993.34. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KK98TT. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-34

Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9SJ1HNZ. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-10

Van de Snepscheut, Jan L. A. (1993) On Lattice Theory and Program Semantics. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z95H7D9K. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-19

Van de Snepscheut, Jan L. A. (1993) Proxac: An Editor for Program Transformation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9V40S70. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-33

1992

Van de Snepscheut, Jan L. A. (1992) A LISP Programming Exercise. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z93F4MSW. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04

Esselink, Klaas and Van de Snepscheut, Jan L. A. (1992) Molecular Dynamics on the Mosaic. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9P8493R. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-25

Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1992) Submicron Systems Architecture Project : Semiannual Technical Report. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9WS8RF5. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-17

Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1992) A Tutorial Introduction to Mosaic Pascal. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-02

1991

Hofstee, Peter H. and Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) A Distributed Implementation of a Task Pool. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-05

Van de Snepscheut, Jan L. A. (1991) Inversion of a Recursive Tree Traversal. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-07

Van de Snepscheut, Jan L. A. (1991) The Sliding Window Protocol Revisited. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-06

Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) Weakest Preconditions for Progress. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13

Van de Snepscheut, Jan L. A. (1991) On the Correctness of Sliding Window Protocols. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechAUTHORS:20120426-141614436

1990

Hofstee, H. Peter and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1990) Distributed sorting. Science of Computer Programming, 15 (2-3). pp. 119-133. ISSN 0167-6423. http://resolver.caltech.edu/CaltechAUTHORS:20170830-083320673

1989

Hofstee, H. Peter and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1989) Distributed Sorting. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06

1984

Martin, Alain J. and Van de Snepscheut, Jan L. A. (1984) Networks of Machines for Distributed Recursive Computations. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84

This list was generated on Mon Jun 24 03:07:35 2019 PDT.