Sciweavers

2 search results - page 1 / 1
» Asymmetry in Parsing and Generating with Unification Grammar...
Sort
View
95
Voted
ACL
1990
14 years 10 months ago
Asymmetry in Parsing and Generating with Unification Grammars: Case Studies from ELU
Graham Russell, Susan Warwick-Armstrong, John Carr...
TSE
2008
107views more  TSE 2008»
14 years 9 months ago
Interface Grammars for Modular Software Model Checking
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Graham Hughes, Tevfik Bultan