Type Safety for FJ and FGJ

2006 ◽  
pp. 257-271
Author(s):  
Shuling Wang ◽  
Quan Long ◽  
Zongyan Qiu
Keyword(s):  
Type Safety

scholarly journals Making legacy Fortran code type safe through automated program transformation

2021 ◽  
Author(s):  
Wim Vanderbauwhede
Keyword(s):  
Side Effect ◽  
Program Transformation ◽  
The Novel ◽  
Formal Approach ◽  
Type Checking ◽  
Type Safety ◽  
Fortran Code ◽  
Fortran 90 ◽  
Code Type ◽  
Fortran 77

AbstractFortran is still widely used in scientific computing, and a very large corpus of legacy as well as new code is written in FORTRAN 77. In general this code is not type safe, so that incorrect programs can compile without errors. In this paper, we present a formal approach to ensure type safety of legacy Fortran code through automated program transformation. The objective of this work is to reduce programming errors by guaranteeing type safety. We present the first rigorous analysis of the type safety of FORTRAN 77 and the novel program transformation and type checking algorithms required to convert FORTRAN 77 subroutines and functions into pure, side-effect free subroutines and functions in Fortran 90. We have implemented these algorithms in a source-to-source compiler which type checks and automatically transforms the legacy code. We show that the resulting code is type safe and that the pure, side-effect free and referentially transparent subroutines can readily be offloaded to accelerators.

scholarly journals Checking type safety of foreign function calls

2008 ◽  
Vol 30 (4) ◽  
pp. 1-63 ◽  
Author(s):  
Michael Furr ◽  
Jeffrey S. Foster
Keyword(s):  
Type Safety ◽  
Function Calls

The construction of a radar-type safety device to complement human vision in safety prediction

Ergonomics ◽  
1990 ◽  
Vol 33 (6) ◽  
pp. 735-761 ◽  
Author(s):  
Noboru Sugimoto ◽  
Hiroyasu Ikeda
Keyword(s):  
Human Vision ◽  
Safety Device ◽  
Type Safety

An operational semantics and type safety prooffor multiple inheritance in C++

2006 ◽  
Vol 41 (10) ◽  
pp. 345-362 ◽  
Author(s):  
Daniel Wasserrab ◽  
Tobias Nipkow ◽  
Gregor Snelting ◽  
Frank Tip
Keyword(s):  
Operational Semantics ◽  
Multiple Inheritance ◽  
Type Safety

scholarly journals Design of an on-line check device for safety valve

2018 ◽  
Vol 232 ◽  
pp. 01045
Author(s):  
Zhipeng Yan ◽  
Qing Li ◽  
Muda Jin ◽  
Haijian Zhong
Keyword(s):  
Hydraulic System ◽  
High Speed ◽  
Safety Valve ◽  
Motor Drive ◽  
Pressure Relief ◽  
Type Safety ◽  
On Line ◽  
Spring Type ◽  
Pulling Force ◽  
Upper Computer

As the main pressure relief component of the tanker, the spring type safety valve is indispensable for its periodic verification. An on-line check device is designed for the check problem of the safety valve. The check device is divided into mechanical structure, program control, motor drive, tension detection, displacement measurement, upper computer, etc., and the safety valve is verified according to the safety valve check principle and the determination method. Compared with the check device that uses the hydraulic system to provide the pulling force, the device has the advantages of simple operation, high speed, convenient disassembly, strong applicability, and the like, and has certain market application prospects.

scholarly journals Type safety analysis for Dart

2017 ◽  
Vol 52 (2) ◽  
pp. 1-12
Author(s):  
Thomas S. Heinze ◽  
Anders Møller ◽  
Fabio Strocco
Keyword(s):  
Safety Analysis ◽  
Type Safety

scholarly journals Towards proving type safety of .NET CIL

2008 ◽  
Vol 72 (3) ◽  
pp. 176-219 ◽  
Author(s):  
Nicu G. Fruja
Keyword(s):  
Type Safety
Sign in / Sign up

Export Citation Format

Share Document