D. Wile. Integrating syntaxes and their associated semantics. Technical Report Technical Report, USC/Information Science Institute, 1999.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....disambiguate if the expressions (or applications) themselves do not. There are little languages with little parsers [34] to make the connection between language expressions and activity in other servers or databases and ALL of those choices are variable (these can be more dynamic than those in [83] [68] Compatibility is not the issue; NO one language can express all the things we might want to express [16] 7] so there cannot be one comprehensive compatible organization; we have to accept the notion that there will be multiple partially incompatible languages. 3.4 Parsers and other PMs ....

David Wile, "Integrating Syntaxes and their Associated Semantics", Technical Report, Information Sciences Institute, USC (1991)

....compiler inputs, rewrite rules have to be adapted if the grammar serving as contract changes. This issue is an open research problem. Finally, we would like to integrate our approach with other scenarios of grammar adaptation, and applications for grammar transformations. We just mention a few. In [16], grammar transformations are used for the development of domain specific languages starting 16 An extreme strategy is the following. The input grammar is discarded by reject all. The output grammar is constructed (from scratch) via introduce, resolve, and include. from reusable syntax ....

D. S. Wile. Integrating Syntaxes and their Associated Semantics. Draft, 1999.

....predictable. The present paper does not explore several dimensions in depth. Modular grammars [1] and expressiveness beyond simple BNF as for example in SDF [7, 17] are not considered in the formalisation. Grammar transformations are useful for several applications not covered by this paper. In [19], grammar transformations are used for the development of domain specific languages starting from reusable syntax components. In [18] semantics preserving grammar transformations are used to derive abstract syntaxes from concrete syntaxes. Grammar transformations are also involved in parser ....

D. S. Wile. Integrating Syntaxes and their Associated Semantics. Draft, 1999.

....course, we use the source texts as debugging aids to incrementally improve the raw extracted grammar. Grammar transformations We use special purpose transformations to correct and complete grammars during recovery. Grammar transformations are used by other people for similar or other reasons. In [120], grammar transformations are used for the development of domain specific languages starting from reusable syntax components. In [119] semantics preserving grammar transformations are used to derive abstract syntaxes from concrete syntaxes. The other direction is also very common since it is ....

D.S. Wile. Integrating Syntaxes and their Associated Semantics. Draft, 1999.

....specification level interoperability between specifications or programs written in different languages or running on different kinds of processors is described. The interoperability described relies on remote procedure calls and ways that interoperating programs manipulate shared typed data. Wile (1991) on the other hand uses a common syntactic framework defined in terms of grammars and transformations between these grammars. He highlights the difficulties of consistency checking in a multi language framework. Traditionally, multiparadigm languages, which deploy a common multiparadigm base ....

Wile, D. S. (1991). Integrating Syntaxes and their Associated Semantics (Technical Report No. RR-92-297). USC/Information Sciences Institute.

....to compose partial programming and or specification languages. Zave and Jackson s approach [55] is based on the predicate logic semantic domain. Partial specifications are assigned semantics in this domain, and their composition is the conjunction of all partial specification. Wile s approach [56] to composition uses a common syntactic framework defined in terms of grammars and transformations. Garden project [57] provides multi formalisms specification by means of a common operational semantics. These approaches are globally intended to facilitate the proofs of concurrent systems ....

D.S. Wile. Integrating syntaxes and their associated semantics. Technical Report RR-92-297, Univ. Southern California, 1992.

....described relies on remote procedure calls and ways that interoperating programs manipulate shared typed data. The work serves as a basis for the disciplined and orderly marshaling of interoperable components to eradicate inconsistencies in the overall system specification or program. Wile [38] on the other hand uses a common syntactic framework defined in terms of grammars and transformations between these grammars. He highlights the difficulties of consistency checking in a multi language framework, which suggests that, again, the handling of inconsistencies, once detected, has not ....

D. S. Wile (1992); "Integrating Syntaxes and their Associated Semantics"; Technical report, RR-92-297; 1992; USC/Information Sciences Institute, University of Southern California, Marina del Rey, California, USA.

....with individual behaviours and goals. Dardenne et al. 12] describe a goal directed approach to composite system development, while Feather [19] suggests using many, parallel evolutionary transformations , which may then be merged by replaying them sequentially. Work on program transformation [60, 61] provides an additional vehicle for tackling consistency checks and information transfers between different ViewPoints. Robinson [49] proposes a multiple perspectives integration architecture as part of a model of specification design. Meyers and Reiss [40] study interperspective (cf. ....

D. S. Wile (1992); "Integrating Syntaxes and their Associated Semantics"; Technical report, RR-92297; 1992; USC/Information Sciences Institute, University of Southern California, Marina del Rey, California, USA.

....specification level interoperability between specifications or programs written in different languages or running on different kinds of processors is described. The interoperability described relies on remote procedure calls and ways that interoperating programs manipulate shared typed data. Wile (1991) on the other hand uses a common syntactic framework defined in terms of grammars and transformations between these grammars. He highlights the difficulties of consistency checking in a multi language framework. Traditionally, multiparadigm languages, which deploy a common multiparadigm base ....

Wile, D. S. (1991). Integrating Syntaxes and their Associated Semantics (Technical Report No.

....a closer resemblance to multi view systems [Meyers 1991] in which multiple program fragments are treated as views on a problem or solution domain. In this setting then, communication protocols support activities such as interoperability [Wileden et al. 1990; Wileden et al. 1992] transformation [Wile 1992] , merging [Feather 1989a; Feather 1989b; Lippe van Oostrom 1992] and composition [Zave Jackson 1993] of views. Table 3.4 lists various techniques for integrating multiple partial specifications. These techniques may be used as the building blocks of method integration and are not necessarily ....

....level [Hayes Schlichting 1987] 3. User level (negotiation) e.g. contract nets [Smith Davis 1981] using domain goals [Robinson 1990] Merging 1. Operation based [Lippe van Oostrom 1992] 2. Evolutionary transformations [Feather 1989a; Feather 1989b] Transformation 1. Syntax integration [Wile 1992] 2. Meta system approach [Boloix, Sorenson Tremblay 1992] Table 3.4: Some techniques for (method) integration. To reiterate briefly, formal composition is the process of combining together formal partial specifications which describe different, possibly overlapping views, of a system. As ....

[Article contains additional citation context not shown here]

Wile, D. S. (1992); "Integrating Syntaxes and their Associated Semantics"; Technical report, RR-92-297; USC/Information Sciences Institute, University of Southern California, Marina del Rey, California, USA.

....have been proposed in order to compose partial programming or and specification languages. Zave and Jackson s approach[20] is based on predicate logic which is used to assign semantics to specifications and their composition is the conjunction of all partial specifications. Wile s approach[19] to composition uses a common syntactic framework defined in grammatical terms and transformations. Garden s project[15] provides multi formalism specification by means of common operational semantics. These approaches are globally intended to get clear proofs on concurrent systems properties. Our ....

D.S Wile, "Integrating Syntaxes and Their Associated Semantics", USC/Information Sciences Institute. Tech. Rep. RR-92-297. Univ. Southern California, 1992.

No context found.

D. Wile. Integrating syntaxes and their associated semantics. Technical report. USC/Information Sciences Institute, Marina del Rey, CA. 1993(b). (Contact author).

No context found.

D. Wile. Integrating syntaxes and their associated semantics. Technical Report Technical Report, USC/Information Science Institute, 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC