On the use of global optimization algorithms for the detection of semantic programming errors (setl, data flow, type finding)

Authors:
Stefan M. Freudenberger
Affiliations:
-
Venue:
On the use of global optimization algorithms for the detection of semantic programming errors (setl, data flow, type finding)
Year:
1984

Generating editing environments based on relations and attributes

ACM Transactions on Programming Languages and Systems (TOPLAS)
Cesar: a static sequencing constraint analyzer

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation

IEEE Transactions on Software Engineering
Relations and attributes: A symbiotic basis for editing environments

SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments

Hi-index	0.00