Language specific

The meaning of the language-specific mechanisms, such as throw, is provided by working in a context where the appropriate packages have been imported (see Chapter 9, Model Frameworks and Template Packages). 

A Catalysis joint action corresponds to a use case we prefer to separate the specification of the net effect of a joint action—its postcondition—from the interaction sequence (one of many possible) that realizes it. A joint action is an abstraction of that detailed interaction, just as an operation invocation is an abstraction of a language-specific call-return convention. We depict occurrences of joint actions on an interaction diagram we have not found any way to show this in UML. 

Catalysis provides explicit support for specifying exceptions, for composing specifications of an action with such exceptions, and for refining abstract actions with exceptions down to the level of operation invocation sequences and language-specific exception mechanisms. 

Gosling96] Gosling, J., et al. 1996. The Java Language Specification. Reading, Mass. Addison Wesley Longman. 

State courts continue to hold insurance firms liable for environmental damages under general corporate liability policies even when policy language specifically denies pollution coverage (Quint 1994). 

Translations of standard formulas using different Excel language versions should be performed automatically by Excel. Nevertheless, revalidation has to carried out when switching the Excel language. At least the language-specific explanations and training instructions using the text fields have to be translated. 

HPF High Performance FORTRAN a language specification defined by industry and research community leaders as an extension to FORTRAN-90. HPF allows for explicit data-parallel distribution of data structures. 

Instructions and procedures are written in an instructional form in clear and unambiguous language, specifically applicable to the facilities provided. 

FORTRAN Implementation. Implementation of the FORTRAN sections of code involved removal of obvious syntax errors resulting from differences between the DEC FORTRAN-40 and the IBM FORTRAN G1 language specifications. Each section of code was compiled using the FORTRAN G1 compiler and the resulting output was scanned line-by-line. Compiler detected incompat-abilities were removed by recoding. 

Since LISP has been available in different variants, American National Standards Institute (ANSI) standardized a dialect of the LISP programming language in 1994 called Common Lisp (CL) [2]. Common Lisp is a language specification rather than an implementation. An example follows ... 

Java RMI (remote method invocation) is offered as a part of the JAVA language specification and win be a language-dependent method for the distributed object environment. Although there is the constraint that aU the environments should be unified into Java, the developing process with it is a little easier than with CORBA or RPC because several functions for distributed computing are offered as utility objects. 

Common-Language Specific Language Assessment Instruments... 

By creating a physical file of information that may be shared across a network, by email or on a physical medium such a floppy disk. The EXPRESS language specification view of the IFC Object Model determines the structure of the file and the syntax of the file is determined by ISO 10303 part 21, or more recently in XML ... 

The initial levels of abstraction do not go far from the C source code and common engineering approaches. First, we would certainly like to know whether our code base is compliant with the programming language specification and passes only the basic semantic checks (proper number and types of arguments passed to functions, etc.). It is perhaps not very surprising that these decisions can be made by any plain C compiler. However, with the current implementation of HelenOS even this is not quite trivial. 

LicJdy, D. J. 1974. HAL/S Language Specification, Intermetrics, prepared for NASA Lyndon Johnson Space Center. 

The adoption of the RSML specification has had some important benefits. In particular, it has been possible to check it for mathematical completeness and consistency [Heimdahl 1996]. The widespread use of the specification has also spawned a number of supporting tools including code generators, test-case generators and simulators none of these would have been possible using an informal, English language specification. 

The market place is crowded with a plethora of tools claiming to perform Static Code Analysis . Language-specific code checkers such as PC-Lint can be called... 

---