Add to ORKGCreates "a semantic model within which a core of the stable aspects of LCL [i.e. Larch interface languages] have been formally defined and the unsettled aspects of the language have been highlighted."--Cf. leaf 178
Larch/CORBA; c Gowri Sankar Sivaprasad, 1995. Copies can be made for academic purposes provided this...
Abstract: The central hypothesis of the collaboration of L&C and IFOMIS is that the methodology ...
The SLE conference series is devoted to the engineering principles of software languages: their desi...
Current research in specifications is emphasizing the practical use of formal specifications in prog...
AbstractEach member of the Larch family of formal specification languages has a component derived fr...
This paper gives a quick overview of Larch/C++, an interface specification language for C++. Through...
We describe a preliminary design for a Larch interface language for the programming language ML. ML&...
As software is increasingly used to control critical systems, program correctness becomes paramount....
This chapter is an overview of the behavioral interface specification language Larch/C++. Besides de...
Formal methods can be neatly woven in with less formal, but more widely-used, industrial-strength me...
Abstract: "Formal methods can be neatly woven in with less formal, but more widely-used, industrial-...
This project aims to prototype formal specification in Larch. The motivation for looking at formal s...
Larch/Smalltalk is a Larch interface specification language for Smalltalk with subtype relations. As...
SUMMARY. This paper looks at changes affecting LCSH over its 100-year history. Adopting a linguistic...
Graduation date: 1988High-level languages provide a convenient environment for program development a...
Larch/CORBA; c Gowri Sankar Sivaprasad, 1995. Copies can be made for academic purposes provided this...
Abstract: The central hypothesis of the collaboration of L&C and IFOMIS is that the methodology ...
The SLE conference series is devoted to the engineering principles of software languages: their desi...
Current research in specifications is emphasizing the practical use of formal specifications in prog...
AbstractEach member of the Larch family of formal specification languages has a component derived fr...
This paper gives a quick overview of Larch/C++, an interface specification language for C++. Through...
We describe a preliminary design for a Larch interface language for the programming language ML. ML&...
As software is increasingly used to control critical systems, program correctness becomes paramount....
This chapter is an overview of the behavioral interface specification language Larch/C++. Besides de...
Formal methods can be neatly woven in with less formal, but more widely-used, industrial-strength me...
Abstract: "Formal methods can be neatly woven in with less formal, but more widely-used, industrial-...
This project aims to prototype formal specification in Larch. The motivation for looking at formal s...
Larch/Smalltalk is a Larch interface specification language for Smalltalk with subtype relations. As...
SUMMARY. This paper looks at changes affecting LCSH over its 100-year history. Adopting a linguistic...
Graduation date: 1988High-level languages provide a convenient environment for program development a...
Larch/CORBA; c Gowri Sankar Sivaprasad, 1995. Copies can be made for academic purposes provided this...
Abstract: The central hypothesis of the collaboration of L&C and IFOMIS is that the methodology ...
The SLE conference series is devoted to the engineering principles of software languages: their desi...