Intensional analysis of quantified types
- 期刊名称ACM Transactions on Programming Languages and Systems
- 作者Saha, Bratin; Trifonov, Valery; Shao, Zhong
- 卷第25卷
- 期第2期
- 印刷ISSN0164-0925
- 文件大小718.58KB
- 发表时间2003-03-01
- DOI10.1145/641888.641889
- 页码159-209
[ACM Press the third ACM SIGSOFT/SIGPLAN software engineering symposium - Boston, Massachusetts, United States (1988.11.28-1988.11.30)] Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments - SDE 3 - The ergo attribute systemNord, Robert L.; Pfenning, Frank · 1988
[ACM Press the third ACM SIGSOFT/SIGPLAN software engineering symposium - Boston, Massachusetts, United States (1988.11.28-1988.11.30)] Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments - SDE 3 - Centaur: the systemBorras, P.; Clement, D.; Despeyroux, Th.; Incerpi, J.; Kahn, G.; Lang, B.; Pascual, V. · 1988
[ACM Press the third ACM SIGSOFT/SIGPLAN software engineering symposium - Boston, Massachusetts, United States (1988.11.28-1988.11.30)] Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments - SDE 3 - An integrated toolset for engineering software configurationsMahler, Axel; Lampen, Andreas · 1988
[ACM Press the third ACM SIGSOFT/SIGPLAN software engineering symposium - Boston, Massachusetts, United States (1988.11.28-1988.11.30)] Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments - SDE 3 - Interacting with an active, integrated environmentRodden, Thomas; Sawyer, Pete; Sommerville, Ian · 1988
[ACM Press the third ACM SIGSOFT/SIGPLAN software engineering symposium - Boston, Massachusetts, United States (1988.11.28-1988.11.30)] Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments - SDE 3 - The relationship between software development environments and the software processNotkin, David · 1988
[ACM Press the third ACM SIGSOFT/SIGPLAN software engineering symposium - Boston, Massachusetts, United States (1988.11.28-1988.11.30)] Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments - SDE 3 - Version management in GypsyCohen, Ellis S.; Soni, Dilip A.; Gluecker, Raimund; Hasling, William M.; Schwanke, Robert W.; Wagner, Michael E. · 1988
[ACM Press the third ACM SIGSOFT/SIGPLAN software engineering symposium - Boston, Massachusetts, United States (1988.11.28-1988.11.30)] Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments - SDE 3 - An overview of PCTE and PCTE+Boudier, Gerard; Gallo, Ferdinando; Minot, Regis; Thomas, Ian · 1988
[ACM Press the third ACM SIGSOFT/SIGPLAN software engineering symposium - Boston, Massachusetts, United States (1988.11.28-1988.11.30)] Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments - SDE 3 - (ISEF): an integrated industrial-strength software engineering frameworkKoenig, Shaye · 1988
A unifying model for consistent distributed software development environmentsWalpole, J.; Blair, G. S.; Malik, J.; Nicol, J. R. · ACM SIGPLAN Notices · 1989
A unifying model for consistent distributed software development environmentsWalpole, J.; Blair, G. S.; Malik, J.; Nicol, J. R. · ACM SIGSOFT Software Engineering Notes · 1988