J.V. Guttag, J.J. Horning, A. Modet  Home/Search
Context Related
| digital.com/pub/DEC/SRC...SRC058.ps.gz digital.fr/pub/DEC/SRC/...SRC058.ps.gz dec.com/pub/DEC/SRC/res...SRC058.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: non.com/news.answers/larchfaq (more) From: fermivista.math....ftp.digital.fr (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Larch family of languages is used to specify program interfaces in a two-tiered definitional style. Each Larch specification has components written in two languages: one that is designed for a specific programming language and another that is independent of any programming language. The former are the Larch interface languages, and the latter is the Larch Shared Language (LSL). Version 2.3 of LSL is similar to previous versions, but contains a number of refinements based on experience... (Update)
Context of citations to this paper: More
...using only the sorts corresponding to primitive types. 2.1. 1 The Larch Shared Language The semantics of LSL is defined precisely in [23]. This section is just an informal synopsis of LSL features that are relevant to Speckle. LSL specifications are written in units called...
.... [10, 11] Algebraic specifications were selected in our initial investigation because languages that support them, such as Larch [12], are widely known and are well supported by tools. In addition, the equational nature of algebraic specifications appears to be well...
Cited by: More
Structuring Z Specifications with Views - Daniel Jackson June (Correct)
Lightweight Modelling and Automatic Analysis of Multicast Key.. - Taghdiri (2002) (Correct)
Algebraic Specifications and Sequencing: A Defect Detection.. - Olender, Bieman (Correct)
Similar documents (at the sentence level):
9.3%: Larch: Languages and Tools for Formal - Specification Guttag And (Correct)
Active bibliography (related documents): More All
0.2: Observational Proofs by Rewriting - Bouhoula, Rusinowitch (Correct)
0.2: Observational Proofs by Implicit Context Induction - Berregeb, Bouhoula, Rusinowitch (1997) (Correct)
0.2: Three-Tiered Specification of Micro-Architectures - Alagar, Lämmel (Correct)
Similar documents based on text: More All
1.6: Preliminary Report on The Larch Shared Language - Guttag, Horning (1983) (Correct)
0.3: Larch Frequently Asked Questions - Revision August (Correct)
0.2: Classified Larch Bibliography - Garland (1996) (Correct)
Related documents from co-citation: More All
14: Systematic Software Development using VDM - Jones - 1986
12: Debugging Larch Shared Language specifications - Garland, Guttag et al. - 1990
11: Larch: Languages and tools for formal specification (context) - Guttag, Horning et al. - 1993
BibTeX entry: (Update)
John V. Guttag, James J. Horning, and Andr'es Modet. Report on the Larch Shared Language: Version 2.3. Technical Report 58, Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, April 1990. Order from src-report@src.dec.com. http://citeseer.ist.psu.edu/guttag93report.html More
@misc{ guttag90report,
author = "J. Guttag and J. Horning and A. Modet",
title = "Report on the Larch Shared Language: Version",
text = "John V. Guttag, James J. Horning, and Andr'es Modet. Report on the Larch
Shared Language: Version 2.3. Technical Report 58, Digital Equipment Corporation,
Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, April 1990.
Order from src-report@src.dec.com.",
year = "1990",
url = "citeseer.ist.psu.edu/guttag93report.html" }
Citations (may not include all citations):177 Fundamentals of Algebraic Specification 1: Equations and Ini.. (context) - Ehrig, Mahr - 1985
160 Abstraction and Specification in Program Development (context) - Liskov, Guttag - 1986
74 The Algebraic Specification of Abstract Data Types (context) - Guttag, Horning - 1978
64 The Larch Family of Specification Languages (context) - Guttag, Horning et al. - 1985
35 The Specification and Application to Programming of Abstract.. (context) - Guttag - 1975
32 Final Algebra Semantics and Data Type Extensions (context) - Wand - 1979
30 Report on the Larch Shared Language (context) - Guttag, Horning - 1986
29 Debugging Larch Shared Language Specifications - Garland, Guttag et al. - 1990
27 An Initial Algebra Approach to the Specification, Correctnes.. (context) - Goguen, Thatcher et al. - 1978
15 The stratified loose approach: A generalization of initial a.. (context) - Bidoit - 1988
12 Digital Equipment Corporation Systems Research Center Report (context) - Guttag, Horning et al. - 1985
12 Towards Structured Algebraic Specifications (context) - Gaudel - 1985
10 Semantics of CLEAR, a Specification Language (context) - Burstall, Goguen - 1980
6 Preliminary Report on the Specification and Programming Lang.. - Dahl, Langmyhr et al. - 1986
4 On Observational Equivalence and Algebraic Specifications (context) - Sanella, Tarlecki - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://non.com/news.answers/larch-faq.html): More
Larch Frequently Asked Questions - Revision August (Correct)
An Overview of Larch/C++: Behavioral Specifications for C++ Modules - Leavens (1996) (Correct)
Shortcomings of LCL 2.4 - Patrice Chalin (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC