Home

Debugging Larch Shared Language specifications


Author(s) : John V. Guttag Stephen J. Garl John V. Guttag, 
Publisher : N/A
Publication Date : 1990
ISSN : N/A
Abstract : Our approach to both hardware and software research is to create and use real systems sothat we can investigate their properties fully. Complex systems cannot be evaluated solely in the abstract. Based on this belief, our strategy is to demonstrate the technical and practicalfeasibility of our ideas by building prototypes and using them as daily tools. The experience we gain is useful in the short term in enabling us to refine our designs, and invaluable in the longterm in helping us to advance the state of knowledge about those systems. Most of the major advances in information systems have come through this strategy, including time-sharing, theArpaNet, and distributed personal computing. SRC also performs work of a more mathematical flavor which complements our systemsresearch. Some of this work is in established fields of theoretical computer science, such as the analysis of algorithms, computational geometry, and logics of programming. The rest ofthis work explores new ground motivated by problems that arise in our systems research. DEC has a strong commitment to communicating the results and experience gained throughpursuing these activities. The Company values the improved understanding that comes with exposing and testing our ideas within the research community. SRC will therefore reportresults in conferences, in professional journals, and in our research report series. We will seek users for our prototype systems among those with whom we have common research interests,and we will encourage collaboration with university researchers.,