742 search results - page 65 / 149 » Formal Grammar for Java |
154
click to vote
DLT
2004
15 years 7 months ago
2004
There is a close relationship between formal language theory and data compression. Since 1990's various types of grammar-based text compression algorithms have been introduced...
218
click to vote
ICTAI
2008
IEEE
16 years 17 days ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
166
click to vote
COLING
2010
15 years 1 months ago
2010
Given the increasing need to process massive amounts of textual data, efficiency of NLP tools is becoming a pressing concern. Parsers based on lexicalised grammar formalisms, such...
178
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
150
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...