| | | Language Design |
Until October 1998, the main language design task was finalization of the Casl design. The documentation of the final design is given by the Casl Language Summary [14]; a (now slightly outdated) rationale for the language design was published in 1997 [43]. The semantics, tools, and methodology task groups have all provided essential feedback regarding language design proposals.
Recent work on syntactic issues regarding mixfix parsing and syntactic extensions for literals to be used with Basic Datatypes for Casl [48][40][49] has now been completed.
Various interesting sublanguages of Casl, e.g., total, many-sorted, equational--mostly corresponding closely to embeddings of the specification languages of other frameworks into Casl [34][32][33][36]--have been defined. The logic underlying Casl has been translated to first-order logic (or second-order logic when sort generation constraints are considered). This allows the re-use of first-order and higher-order theorem provers for Casl [37][36]. Some extensions are now being investigated, in particular for higher-order [38] and object-oriented specifications. Possible extensions for specification of reactive systems are treated in a separate task group.
| | | Language Design |