Sciweavers

576 search results - page 22 / 116
» The Java Syntactic Extender
Sort
View
ACL
1998
13 years 10 months ago
A Probabilistic Corpus-Driven Model for Lexical-Functional Analysis
Wc develop a l)ata-Oricntcd Parsing (DOP) model based on the syntactic representations of Lexicalf;unctional Grammar (LFG). We start by summarizing the original DOP model for tree...
Rens Bod, Ronald M. Kaplan
ENTCS
2002
111views more  ENTCS 2002»
13 years 8 months ago
Comparing Meseguer's Rewriting Logic with the Logic CRWL
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
Miguel Palomino Tarjuelo
COLING
1996
13 years 10 months ago
An Agreement Corrector for Russian
The paper describes an application-oriented system that corrects agreement errors. In order to correct a sentence with such errors, an extended morphological structure is created ...
Leonid Mitjushin
APSEC
2004
IEEE
14 years 11 days ago
Testing Java Interrupts and Timed Waits
Testing concurrent software is difficult due to problems with inherent non-determinism. In previous work, we have presented a method and tool support for the testing of concurrent...
Luke Wildman, Brad Long, Paul A. Strooper
FUIN
2008
91views more  FUIN 2008»
13 years 8 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...