Stephen Adams

Publication List Details

Period

1975 - 2008

Number

17

Co-Authors

Implementing Sets Efficiently in a Functional Language (2007)

Stephen Adams

Most texts describing data structures give imperative implementations. These are either difficult or tedious to convert to a functional (non sideeffecting) form. This technical report describes the...

Table of Contents (2007)

Stephen Adams, Chris Hanson

the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, with the Front-Cover Texts being “A GNU...

Speeding up dataflow analysis using flow-insensitive pointer analysis (2002)

Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, ...

Abstract. In recent years, static analysis has increasingly been applied to the problem of program verification. Systems for program verification typically use precise and expensive interprocedural...

Speeding UpDa263 wAna13E Using Flow-Insensitive PointerAna361 StephenAdam (2002)

Thomc Ball Manuvir, Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, ...

In recent years, static analysis has increasingly been applied to the problemof program verification. Systemsfs program verification typically use precise and expensive interprocedural dataflow...

Codice Qumran (1998)

Adams, Stephen

Codice Qumran, Stephen Adams. . - Casale Monferrato. NALUAF000170, Edizioni Piemme. NAEDAF001968, 1998.

A high level simulator for Gunk (1997)

Stephen Adams

this document is in revision to incorporate the new thread features.

Conversations with Carl Rogers, 1984 (1984)

Rogers, Carl R., Lee, Robert (entrevista), Sanford, Ruth (asesoría), Adams, Stephen (realización), Lucas, Robert (realización), O'Hara, Maureen Miller (prod.), ...

El psicólogo norteamericano Carl R. Rogers (1902-1987) es el fundador de la terapia centrada en la persona o terapia no dirigida, planteamiento que junto con la psicología humanística del también...

Conversations with Carl Rogers, 1984 (1984)

Rogers, Carl R., Lee, Robert (entrevista), Sanford, Ruth (asesoría), Adams, Stephen (realización), Lucas, Robert (realización), O'Hara, Maureen Miller (prod.), ...

El psicólogo norteamericano Carl R. Rogers (1902-1987) es el fundador de la terapia centrada en la persona o terapia no dirigida, planteamiento que junto con la psicología humanística del también...