Read Books Online and Download eBooks, EPub, PDF, Mobi, Kindle, Text Full Free.
Ada Trade Name Compiler Validation Summary Report Alsys Alsycomp 005 Version 10 Sun 2 120 Sun 2 50 And Sun 3 160 Workstat Ions
Download Ada Trade Name Compiler Validation Summary Report Alsys Alsycomp 005 Version 10 Sun 2 120 Sun 2 50 And Sun 3 160 Workstat Ions full books in PDF, epub, and Kindle. Read online Ada Trade Name Compiler Validation Summary Report Alsys Alsycomp 005 Version 10 Sun 2 120 Sun 2 50 And Sun 3 160 Workstat Ions ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author :INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY. Publisher : ISBN 13 : Total Pages :79 pages Book Rating :4.:/5 (227 download)
Book Synopsis Ada (Trade Name) Compiler Validation Summary Report: ALSYS AlsyCOMP 005, Version 1.0 SUN 2/120, SUN 2/50 and SUN 3/160 Workstat Ions by : INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY.
Download or read book Ada (Trade Name) Compiler Validation Summary Report: ALSYS AlsyCOMP 005, Version 1.0 SUN 2/120, SUN 2/50 and SUN 3/160 Workstat Ions written by INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY. and published by . This book was released on 1985 with total page 79 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Validation Summary Report presents the results and conclusions of testing performed on the AlsyCOMP 005, version 1.0. Standardized tests serve as input to an Ada compiler, producing results which are evaluated by the validation team. This summary briefly states the highlights of the AlsyCOMP 005, version 1.0 validation. On-site testing was performed 31 October 1985 through 2 November 1985 at Alsys premises in La Celle Saint Cloud - France, under the auspices of the BNI (AVF), according to Ada Validation Office policies and procedures. The AlsyCOMP 005, version 1.0 is hosted on SUN Workstation 2/120 and also on a SUN Workstation 2/50 operating under SUN UNIX 4.2 release 2.0, it is also hosted on SUN workstation 3/160 operating under SUN UNIX 4.2 release 3.0. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.6, was used. The purpose of testing is to ensure that a compiler properly implements legal language constructs and that it identifies and rejects illegal langauge constructs. The testing also identifies behavior that is implementation dependent but permitted by the Ada Standard. Six classes of tests are used. These tests are designed to perform checks at compile time, at link time, or during execution. (Author).
Author :BUREAU D'ORIENTATION DE LA NORMALISATION EN INFORMATIQUE ROCQUENCOURT (FRANCE) Publisher : ISBN 13 : Total Pages :161 pages Book Rating :4.:/5 (227 download)
Book Synopsis Ada (Trade Name) Compiler Validation Summary Report. ALSYS AlsyCOMP 001, Version 1.3, VAX-11/750 Host, Altos ACS 68000 14 Target by : BUREAU D'ORIENTATION DE LA NORMALISATION EN INFORMATIQUE ROCQUENCOURT (FRANCE)
Download or read book Ada (Trade Name) Compiler Validation Summary Report. ALSYS AlsyCOMP 001, Version 1.3, VAX-11/750 Host, Altos ACS 68000 14 Target written by BUREAU D'ORIENTATION DE LA NORMALISATION EN INFORMATIQUE ROCQUENCOURT (FRANCE) and published by . This book was released on 1985 with total page 161 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Validation Summary Report presents the results and conclusions of testing performed on the AlsyCOMP 005, version 1.0. Standardized tests serve as input to an Ada compiler, producing results which are evaluated by the validation team. This summary briefly states the highlights of the AlsyCOMP 005, version 1.0 validation. On-site testing was performed 31 October 1985 through 2 November 1985 at Alsys premises in La Celle Saint Cloud - France, under the auspices of the BNI (AVF), according to Ada Validation Office policies and procedures. The AlsyCOMP 005, version 1.0 is hosted on SUN Workstation 2/120 and also on a SUN Workstation 2/50 operating under SUN UNIX 4.2 release 2.0, it is also hosted on SUN workstation 3/160 operating under SUN UNIX 4.2 release 3.0. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.6, was used. The purpose of testing is to ensure that a compiler properly implements legal language constructs and that it identifies and rejects illegal language constructs. The testing also identifies behavior that is implementation dependent but permitted by the Ada Standard. Six classes of tests are used. These tests are designed to perform checks at compile time, at link time, or during execution. (Author).
Book Synopsis Ada Compiler Validation Summary Report: Alsys, AlsyCOMP 031, Version 4. 2, SUN 3/260 (Host) to Intel ISBC 286/12 (target), 890927A1.10171 by :
Download or read book Ada Compiler Validation Summary Report: Alsys, AlsyCOMP 031, Version 4. 2, SUN 3/260 (Host) to Intel ISBC 286/12 (target), 890927A1.10171 written by and published by . This book was released on 1989 with total page 59 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Validation Summary Report (VSR) describes the extent to which a specific Ada compiler conforms to the Ada Standard, ANSI/MIL-STD-1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability (ACVC). An Ada compiler must be implemented according to the Ada Standard, and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be implemented in its entirety, and nothing can be implemented that is not in the Standard. This VSR documents the results of the validation testing performed on an Ada compiler. Testing was carried out for the following purposes: To attempt to identify any language constructs supported by the compiler that do not conform to the Ada Standard; To attempt to identify any language constructs not supported by the compiler but required by the Ada Standard; and To determine that the implementation-dependent behavior is allowed by the Ada Standard.
Book Synopsis Computers, Control & Information Theory by :
Download or read book Computers, Control & Information Theory written by and published by . This book was released on 1986 with total page 128 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Book Synopsis Ada Compiler Validation Summary Report: Certificate Number: 890314A1. 10037. Alsys, AlsyCOMP 005, Version 4.3, Sun 3/260 by :
Download or read book Ada Compiler Validation Summary Report: Certificate Number: 890314A1. 10037. Alsys, AlsyCOMP 005, Version 4.3, Sun 3/260 written by and published by . This book was released on 1989 with total page 50 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Validation Summary Report describes the extent to which a specific Ada compiler conforms to the Ada Standard, ANSI/MIL-STD-1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability. An Ada compiler must be implemented according to the Ada Standard, and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be implemented in its entirety, and nothing can be implemented that is not in the Standard. Even though all validated Ada compilers conform to the Ada Standard, it must be understood that some differences do exist between implementations. The Ada Standard permits some implementation dependencies--for example, the maximum length of identifiers or the maximum values of integer types. Other differences between compilers result from the characteristics of particular operating systems, hardware, or implementation strategies. All the dependencies observed during the process of testing this compiler are given in this report. The information in this report is derived from the test results produced during validation testing. The validation process includes submitting a suite of standardized tests, the ACVC, as inputs to an Ada compiler and evaluating the results.
Book Synopsis Ada Compiler Validation Summary Report: Certificate Number: 880212A1.09027, ALSYS, AlsyCOMP 005, Version 3.21, Sun 3/260 by : ASSOCIATION FRANCAISE DE NORMALISATION PARIS-LA-DEFENSE.
Download or read book Ada Compiler Validation Summary Report: Certificate Number: 880212A1.09027, ALSYS, AlsyCOMP 005, Version 3.21, Sun 3/260 written by ASSOCIATION FRANCAISE DE NORMALISATION PARIS-LA-DEFENSE. and published by . This book was released on 1988 with total page 40 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Report describes the extent to which a specific Ada compiler conforms to the Ada Standard, ANSI/MIL-STD-1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability (ACVC). An Ada compiler must be implemented according to the Ada Standard, and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be implemented in its entirety, and nothing can be implemented that is not in the Standard. Even though all validated Ada compilers conform to the Ada Standard, it must be understood that some differences do exist between implementations. The Ada Standard permits some implementation dependencies--for example, the maximum length of identifiers or the maximum values of integer types. Other differences between compilers result from the characteristics of particular operating systems, hardware, or implementation strategies. All the dependencies observed during the process of testing this compiler are given in this report. The information in this report is derived from the test results produced during validation testing. The validation process includes submitting a suite of standardized tests, the ACVC, as inputs to an Ada compiler and evaluating the results. (kr).
Book Synopsis Ada Compiler Validation Summary Report: Certificate Number: 911119A1. 11231, Alsys, AlsyCOMP 047, Version 5.37, Sun SPARCstation 2 by :
Download or read book Ada Compiler Validation Summary Report: Certificate Number: 911119A1. 11231, Alsys, AlsyCOMP 047, Version 5.37, Sun SPARCstation 2 written by and published by . This book was released on 1991 with total page 95 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Validation Summary Report describes the extent to which a specific Ada compiler conforms to the Ada Standard, ANSI/MIL-STD-1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability. An Ada compiler must be implemented according to the Ada Standard, and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be implemented in its entirety, and nothing can be implemented that is not in the Standard. Even though all validation Ada compilers conform to the Ada Standard, it must be understood that some differences do exist between implementations. The Ada Standard permits some implementation dependencies--for example, the maximum length of identifiers or the maximum values of integer types. Other differences between compilers result from the characteristics of particular operating systems, hardware, or implementation strategies. All the dependencies observed during the process of testing this compiler are given in this report. The information in this report is derived from the test results produced during validation testing. The validation process includes submitting a suite of standardized tests, the ACVC, as inputs to an Ada compiler and evaluating the results.
Book Synopsis Government reports annual index by :
Download or read book Government reports annual index written by and published by . This book was released on 199? with total page 890 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author :BUREAU D'ORIENTATION DE LA NORMALISATION EN INFORMATIQUE ROCQUENCOURT (FRANCE) Publisher : ISBN 13 : Total Pages :130 pages Book Rating :4.:/5 (227 download)
Book Synopsis Ada (Trade Name) Compiler Validation Summary Report. ALSYS AlsyCOMP 002, Version 1.0, HP 9000/220 & HP 9000/320 by : BUREAU D'ORIENTATION DE LA NORMALISATION EN INFORMATIQUE ROCQUENCOURT (FRANCE)
Download or read book Ada (Trade Name) Compiler Validation Summary Report. ALSYS AlsyCOMP 002, Version 1.0, HP 9000/220 & HP 9000/320 written by BUREAU D'ORIENTATION DE LA NORMALISATION EN INFORMATIQUE ROCQUENCOURT (FRANCE) and published by . This book was released on 1985 with total page 130 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Validation Summary Report presents the results and conclusions of testing performed on the AlsyCOMP 002, version 1.0. Standardized tests serve as input to an Ada compiler, producing results which are evaluated by the validation team. This summary briefly states the highlights of the AlsyCOMP 002 version 1.0 validation. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.6, was used. The ACVC is used to validate conformance of a compiler to ANSI/MIL-STD-1815A Ada. The purpose of testing is to ensure that it identifies and rejects illegal language constructs. The testing also identifies behavior that is implementation dependent but permitted by the Ada Standard. Six classes of tests are used. These tests are designed to perform checks at compile time, at link time, or during execution.
Book Synopsis Ada (Trade Mark) Compiler Validation Summary Report: Certificate Number: 880609A1.09104, ALSYS, AlsyCOMP 015, Version P3.4, Sun 3/260 to 68010 (MVME 121) (Target). by : ASSOCIATION FRANCAISE DE NORMALISATION PARIS-LA-DEFENSE.
Download or read book Ada (Trade Mark) Compiler Validation Summary Report: Certificate Number: 880609A1.09104, ALSYS, AlsyCOMP 015, Version P3.4, Sun 3/260 to 68010 (MVME 121) (Target). written by ASSOCIATION FRANCAISE DE NORMALISATION PARIS-LA-DEFENSE. and published by . This book was released on 1988 with total page 39 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Validation Summary Report describes the extent to which a specific Ada compiler conforms to the Ada Standard, ANSI/MIL-STD-1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability. An Ada compiler must be implemented according to the Ada Standard, and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be implemented in its entirety, and nothing can be implemented that is not in the Standard. Even though all validated Ada compilers conform to the Ada Standard, it must be understood that some differences do exist between implementations. The Ada Standard permits some implementation dependencies--for example, the maximum length of identifiers or the maximum values of integer types. Other differences between compilers result from the characteristics of particular operating systems, hardware, or implementation strategies. All the dependencies observed during the process of testing this compiler are given in this report. The information in this report is derived from the test results produced during the validation testing. The validation process includes submitting a suite of standardized tests, the ACVC, as inputs to an Ada compiler and evaluating the results. (kr).
Book Synopsis Ada Compiler Validation Summary Report. Certificate Number: 891102A1.10196. Alsys AlsyCOMP 015, Version 5.1, SUN 3/260 Host and Motorola MVME130COF (68020/68881) Target. Completion of On-Site Testing: 2 November 1989 by : ASSOCIATION FRANCAISE DE NORMALISATION PARIS-LA-DEFENSE.
Download or read book Ada Compiler Validation Summary Report. Certificate Number: 891102A1.10196. Alsys AlsyCOMP 015, Version 5.1, SUN 3/260 Host and Motorola MVME130COF (68020/68881) Target. Completion of On-Site Testing: 2 November 1989 written by ASSOCIATION FRANCAISE DE NORMALISATION PARIS-LA-DEFENSE. and published by . This book was released on 1989 with total page 61 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Validation Summary Report describes the extent to which a specific Ada compiler conforms to the Ada Standard, ANSI/MIL-STD-1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability. An Ada compiler must be implemented according to the Ada Standard, and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be implemented in its entirety, and nothing can be implemented that is not in the Standard. Even though all validated Ada compilers conform to the Ada Standard, it must be understood that some differences do exist between implementations. The Ada Standard permits some implementation dependencies -- for example, the maximum length of identifiers or the maximum values of integer types. Other differences between compilers result from the characteristics of particular operating systems, hardware, or implementation strategies. All the dependencies observed during the process of testing this compiler are given in this report. The information in this report is derived from the test results produced during validation testing. The validation process includes submitting a suite of standardized tests, the ACVC, as inputs to an Ada compiler and evaluating the results. (KR).
Author :INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY. Publisher : ISBN 13 : Total Pages :74 pages Book Rating :4.:/5 (227 download)
Book Synopsis Ada (Trade Name) Compiler Validation Summary Report: Alsys, Inc. AlsyComp 008/V1.0 VAX-11/750 Host and IBM PC-AT Target by : INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY.
Download or read book Ada (Trade Name) Compiler Validation Summary Report: Alsys, Inc. AlsyComp 008/V1.0 VAX-11/750 Host and IBM PC-AT Target written by INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY. and published by . This book was released on 1985 with total page 74 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Validation Summary Report presents the results and conclusions of testing performed on the AlsyCOMP 008/V1.0. Standardized tests serve as input to an Ada compiler, producing results which are evaluated by the validation team. This summary briefly states the highlights of the AlsyCOMP 008/V1.0 validation. The AlsyComp 008/V1.0 is hosted on a VAX-11/750 operating under VMS 4.1. The suite of tests known as the Ada Compiler Validation Capability (ACVC), Version 1.6, was used. The ACVC is used to validate conformance of a compiler to ANSI/MIL-STD-1815A Ada. The purpose of testing is to ensure that a compiler properly implements legal language constructs and that it identifies and rejects illegal language constructs. The testing also identifies behavior that is implementation dependent but permitted by the Ada Standard. Six classes of tests are used. These tests are designed to perform checks at compile time, at link time, or during execution.
Book Synopsis ADA Compiler Validation Summary Report: Certificate Number: 910131I1. 11127 Alsys GmbH and Co. KG, AlsyCOMP-056, Version 1.82, Sun 3/60 (Host) to KWS EB68020 (Target). by :
Download or read book ADA Compiler Validation Summary Report: Certificate Number: 910131I1. 11127 Alsys GmbH and Co. KG, AlsyCOMP-056, Version 1.82, Sun 3/60 (Host) to KWS EB68020 (Target). written by and published by . This book was released on 1991 with total page 77 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Validation Summary Report describes the extent to which a specific Ada compiler conforms to the Ada Standard, ANSI/MIL-STD-1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability. An Ada compiler must be implemented according to the Ada Standard, and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be implemented in its entirety, and nothing can be implemented that is not in the Standard. Even though all validated Ada compilers conform to the Ada Standard, it must be understood that some differences do exist between implementations. The Ada Standard permits some implementation dependencies--for example, the maximum length of identifiers or the maximum values of integer types. Other differences between compilers result from the characteristics of particular operating systems, hardware, or implementation strategies. All the dependencies observed during the process of testing this compiler are given in this report. The information in this report is derived from the test results produced during validation testing. The validation process includes submitting a suite of standardized tests, The ACVC, as inputs to an Ada compiler and evaluating the results.
Book Synopsis Validation Summary Report: Alsys Limited, AlsyCOMP-073, Version 5.3, IBM ES/9000 Model 610 (under AIX/ESA Version 2) (Host and Target), 921126N1.11300 by :
Download or read book Validation Summary Report: Alsys Limited, AlsyCOMP-073, Version 5.3, IBM ES/9000 Model 610 (under AIX/ESA Version 2) (Host and Target), 921126N1.11300 written by and published by . This book was released on 1991 with total page 72 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Validation Summary Report describes the extent to which a specific Ada compiler conforms to the Ada Standard, ANSI/MIL-STD-1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability. An Ada compiler must be implemented according to the Ada Standard, and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be implemented in its entirety, and nothing can be implemented that is not in the Standard. Even though all validation Ada compilers conform to the Ada Standard, it must be understood that some differences do exist between implementations. The Ada Standard permits some implementation dependencies--for example, the maximum length of identifiers or the maximum values of integer types. Other differences between compilers result from the characteristics of particular operating systems, hardware, or implementation strategies. All the dependencies observed during the process of testing this compiler are given in this report. The information in this report is derived from the test results produced during validation testing. The validation process includes submitting a suite of standardized tests, the ACVC, as inputs to an Ada compiler and evaluating the results.
Author :INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY. Publisher : ISBN 13 : Total Pages :39 pages Book Rating :4.:/5 (227 download)
Book Synopsis Ada (Trade Name) Compiler Validation Summary Report: Verdix Corporation VAda-010-13125, Version 5.41 Sun Microsystems Sun-3/160 Host Microbar GPC68020 Target by : INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY.
Download or read book Ada (Trade Name) Compiler Validation Summary Report: Verdix Corporation VAda-010-13125, Version 5.41 Sun Microsystems Sun-3/160 Host Microbar GPC68020 Target written by INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY. and published by . This book was released on 1987 with total page 39 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Validation Summary Report describes the extent to which a specific Ada compiler conforms to the Ada Standard, ANSI/MIL-STD-1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability (ACVC). An Ada compiler must be implemented according to the Ada Standard, and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be implemented in its entirety, and nothing can be implemented that is not in the Standard. Even though all validated Ada compilers conform to the Ada Standard, it must be understood that some differences do exist between implementations. The Ada Standard permits some implementation dependencies--for example, the maximum length of identifiers or the maximum values of integer types. Other differences between compilers result from characteristics of particular operating systems, hardware, or implementation strategies. All of the dependencies observed during the process of testing this compiler are given in this report. The information in this report is derived from the test results produced during validation testing. The validation process includes submitting a suite of standardized tests, the ACVC, as inputs to an Ada compiler and evaluating the results.
Book Synopsis Ada Compiler Validation Summary Report: Certificate Number: 931208W1.11333 Alsys, Inc. AlsyCOMP 032, 5.5 CompuAdd 433 Under IBM OS/2, Version 2.1 + Threads by :
Download or read book Ada Compiler Validation Summary Report: Certificate Number: 931208W1.11333 Alsys, Inc. AlsyCOMP 032, 5.5 CompuAdd 433 Under IBM OS/2, Version 2.1 + Threads written by and published by . This book was released on 1993 with total page 58 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Validation Summary Report describes the extent to which a specific Ada compiler conforms to the Ada Standard, ANSI/MIL-STD-1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability. An Ada compiler must be implemented according to the Ada Standard, and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be implemented in its entirety, and nothing can be implemented that is not in the Standard. Even though all validated Ada compilers conform to the Ada Standard, it must be understood that some differences do exist between implementations. The Ada Standard permits some implementation dependencies--for example, the maximum length of identifiers or maximum values of integer types. Other differences between compilers result from the characteristics of particular operating systems, hardware, or implementation strategies. All the dependencies observed during the process of testing this compiler are given in this report. The information in this report is derived from the test results produced during validation testing. The validation process includes submitting a suite of standardized tests, the ACVC, as inputs to an Ada compiler and evaluating the results.
Author :INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY. Publisher : ISBN 13 : Total Pages :37 pages Book Rating :4.:/5 (227 download)
Book Synopsis Ada (Trade Name) Compiler Validation Summary Report: Verdix Corporation VAda-010-1313, Version 5.41 Sun Microsystems Sun-3/160 by : INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY.
Download or read book Ada (Trade Name) Compiler Validation Summary Report: Verdix Corporation VAda-010-1313, Version 5.41 Sun Microsystems Sun-3/160 written by INFORMATION SYSTEMS AND TECHNOLOGY CENTER W-P AFB OH ADA VALIDATION FACILITY. and published by . This book was released on 1987 with total page 37 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Validation Summary Report describes the extent to which a specific Ada compiler conforms to the Ada Standard, ANSI/MIL-STD-1815A. This report explains all technical terms used within it and thoroughly reports the results of testing this compiler using the Ada Compiler Validation Capability (ACVC). An Ada compiler must be implemented according to the Ada Standard, and any implementation-dependent features must conform to the requirements of the Ada Standard. The Ada Standard must be implemented in its entirety, and nothing can be implemented that is not in the Standard. Even though all validated Ada compilers conform to the Ada Standard, it must be understood that some differences do exist between implementations. The Ada Standard permits some implementation dependencies--for example, the maximum length of identifiers or the maximum values of integer types. Other differences between compilers result from characteristics of particular operating systems, hardware, or implementation strategies. All of the dependencies observed during the process of testing this compiler are given in this report. The information in this report is derived from the test results produced during validation testing. The validation process includes submitting a suite of standardized tests, the ACVC, as inputs to an Ada compiler and evaluating the results.
