A portable optimizing compiler for Modula-2

Author(s):  
Michael L. Powell
Keyword(s):  

1988 ◽  
Vol 23 (11) ◽  
pp. 18-26 ◽  
Author(s):  
Ralph E. Johnson ◽  
Justin O. Graver ◽  
Laurance W. Zurawski
Keyword(s):  


1988 ◽  
Vol 23 (1) ◽  
pp. 92-108 ◽  
Author(s):  
J. Bhasker
Keyword(s):  


Author(s):  
Adam Siemieniuk ◽  
Lorenzo Chelini ◽  
Asif Ali Khan ◽  
Jeronimo Castrillon ◽  
Andi Drebes ◽  
...  


2015 ◽  
Author(s):  
Alok Choudhary ◽  
Mahmut Kandemir


1991 ◽  
Vol 20 (345) ◽  
Author(s):  
Jens Palsberg ◽  
Michael I. Schwartzbach

We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, annotates the program with type information, allows polymorphic methods, and can be used as the basis of an optimizing compiler. Types are finite sets of classes and subtyping is set inclusion. Using a trace graph, our algorithm constructs a set of conditional type constraints and computes the least solution by least fixed-point derivation.



1986 ◽  
Vol 21 (11) ◽  
pp. 151-158 ◽  
Author(s):  
Robert G. Atkinson
Keyword(s):  


Informatics ◽  
2010 ◽  
Author(s):  
L. Mukhanov ◽  
P. Ilyin ◽  
A. Ermolitsky ◽  
A. Grabezhnoy ◽  
S. Shlykov ◽  
...  




Sign in / Sign up

Export Citation Format

Share Document