IMPlementation language

IMPlementation language

(language)
(IMP) An extension of B with floating-point operations, developed by W. Davidsen at General Electric in 1970 for the GE 600. It was also cross-compiled to VAX and Intel 8080.
References in periodicals archive ?
It uses Java as the implementation language and the source language, and the example compiler and exercises target the Java Virtual Machine.
For that goal, we will use the formal method as high level specification and implementation language.
This introduction to Java's APIs for XML Web Services (JAX-WS) and RESTful Web Services (JAX-RS) is for programmers interested in developing Java web services whatever the implementation language.
We are talking about implementation language with the DOS, Kerry said in a short interview.
Sensible precautions can be put in place such as phased implementation with time, programs for education and capacity building, limited carve outs such as the right to employ members preferentially, implementation language that respects the possibility of recognizing a collective right, and perhaps even specialized Aboriginal panels that have the education to decide cases.
The language for specifying weaving rules could be an extension of the implementation language, or something entirely different.
Cincom was also considered by Gartner as the first to state that implementation language must be independent of database management systems and data structures, which led to Cincom's release of TIS, the first logical user view, directory-driven Total Information System(TM).
However, Section 352 which also includes "persons involved in real estate closings and settlements, had no implementation language for the real estate industry.
In an ideal world, the UML modeller should not be concerned with the implementation language, so it is important to understand that the UML defines the logical structure of the software, and not an exact implementation.
6 release offers advanced functions that no UML tools can match, including simulation without the need to write code in the implementation language, automatic generation of test cases, interactive generation of sequence diagrams, as well as other functions.
AdaCore has acquired SofCheck's products, including static error detection tools, the AdaMagic compiler front end technology, and also ParaSail, a new Parallel Specification and Implementation Language intended for high-reliability applications on multicore target platforms.
BetterState also automatically generates the task creation file and the OSEK implementation language (OIL) file, which would otherwise have to be created by hand.

Full browser ?