Skip to main content
To Proof Maintenance & Beyond!
Search
Venues
API
About
kirancodes.me
CGO 2006
Corporate Sponsors
DOI
10.1109/cgo.2006.12
dblp
BibTeX
No abstract available.
Related papers
The Evolution of Forth
HOPL 1993
A Formal Method Experience at Secure Computing Corporation
CAV 1998
The evolution of APL
HOPL 1978
Resource aware programming
TOPLAS 2005
The early history and characteristics of PL/I
HOPL 1978
The history of Fortran I, II, and III
HOPL 1978
The development of the General Purpose Simulation System (GPSS)
HOPL 1978
Refined Types: Highly Differentiated Type Systems and Their Use in the Design of Intermediate Langages
PLDI 1988