Programming Language - MALPAS IL

MALPAS IL

MALPAS IL - TA Consultancy Services. A strongly typed, block-structured
intermediate language intended for static analysis and verification.
Translators exist for Ada, C, Pascal, Fortran 77, Coral 66 and several
assembly languages. "Code Verification with the Aid of MALPAS", N.J. Ward,
Proc IEE Colloq of High Integrity Ada (Jan 1993).

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

4 plus 5? *   Robot Spam Prevention

 

Next Language:   Manchester Autocode

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z