Add to ORKGWe describe a preliminary design for a Larch interface language for the programming language ML. ML's suppor
As software is increasingly used to control critical systems, program correctness becomes paramount....
An L-system in its simplest form is a variant of a context-free grammar. Originally, L-systems were ...
Graduation date: 1988High-level languages provide a convenient environment for program development a...
We describe a preliminary design for a Larch interface language for the programming language ML. 1 ...
AbstractEach member of the Larch family of formal specification languages has a component derived fr...
Creates "a semantic model within which a core of the stable aspects of LCL [i.e. Larch interface lan...
Current research in specifications is emphasizing the practical use of formal specifications in prog...
Formal methods can be neatly woven in with less formal, but more widely-used, industrial-strength me...
Larch/Smalltalk is a Larch interface specification language for Smalltalk with subtype relations. As...
Abstract: "Formal methods can be neatly woven in with less formal, but more widely-used, industrial-...
he paper reports on an experiment with the major linear logic programming languages defined in the r...
Pesquisas recentes na área de especificação são enfáticas no use pratico de especificações formais n...
The paper reports on an experiment with the major linear logic programming languages defined in the ...
30 pagesInternational audienceWe introduce a typed functional programming language LPL (acronym for ...
Introduction Standard ML is an established programming language with a well-understood semantics [M...
As software is increasingly used to control critical systems, program correctness becomes paramount....
An L-system in its simplest form is a variant of a context-free grammar. Originally, L-systems were ...
Graduation date: 1988High-level languages provide a convenient environment for program development a...
We describe a preliminary design for a Larch interface language for the programming language ML. 1 ...
AbstractEach member of the Larch family of formal specification languages has a component derived fr...
Creates "a semantic model within which a core of the stable aspects of LCL [i.e. Larch interface lan...
Current research in specifications is emphasizing the practical use of formal specifications in prog...
Formal methods can be neatly woven in with less formal, but more widely-used, industrial-strength me...
Larch/Smalltalk is a Larch interface specification language for Smalltalk with subtype relations. As...
Abstract: "Formal methods can be neatly woven in with less formal, but more widely-used, industrial-...
he paper reports on an experiment with the major linear logic programming languages defined in the r...
Pesquisas recentes na área de especificação são enfáticas no use pratico de especificações formais n...
The paper reports on an experiment with the major linear logic programming languages defined in the ...
30 pagesInternational audienceWe introduce a typed functional programming language LPL (acronym for ...
Introduction Standard ML is an established programming language with a well-understood semantics [M...
As software is increasingly used to control critical systems, program correctness becomes paramount....
An L-system in its simplest form is a variant of a context-free grammar. Originally, L-systems were ...
Graduation date: 1988High-level languages provide a convenient environment for program development a...