742 search results - page 44 / 149 » Formal Grammar for Java |
TSD
2004
Springer
14 years 1 months ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
ACL
2010
2010
Bayesian Synchronous Tree-Substitution Grammar Induction and Its Application to Sentence Compression
13 years 6 months ago
We describe our experiments with training algorithms for tree-to-tree synchronous tree-substitution grammar (STSG) for monolingual translation tasks such as sentence compression a...
AGTIVE
2007
Springer
14 years 1 days ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
COMPSAC
1999
IEEE
14 years 11 days ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
FMICS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...