H ?
«
‹
←
→
›
»
Language peer sets for Cecil:
United States↑
United States/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Cecil(ID:8108/)
alternate simple view
Country: United States
Designed 1988
language for defining constraints on the sequencing of events
Related languages
References:
Olender, Kurt Michael (1988) Olender, Kurt Michael "Cecil/cesar: specification and static evaluation of sequencing constraints" PhD thesis, UColorado Boulder 1988
Olender, K. and Osterweil, L. (1989) Olender, K. and Osterweil, L. "Cesar: a static sequencing constraint analyzer" International Symposium on Software Testing and Analysis Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification Key West, Florida, United States
pp66-74 1989
Abstract
Online copy
Olender, K. and Osterweil, L. (1990) Olender, K. and Osterweil, L. "Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation" IEEE Transactions on Software Engineering 16(03) March 1990 pp268-280
Abstract
Online copy
Olender, K. and Osterweil, L. (1992) Olender, K. and Osterweil, L. "Interprocedural static analysis of sequencing constraints" ACM Transactions on Software Engineering and Methodology (TOSEM) 1(1) January 1992 pp21-52
Abstract
Online copy
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|