Searching for "Comment on the Paper "Error Detection in Formal Languages"." – sorted by Relevance.
580,951 documents found, showing 1 through 10.
Next 10 →
-
Authors' Responses to the Comments of the Paper
- …Authors’ responses to the comments of the paper Replies to the Associate Editor: SMCB-E-01162002…
- Add To MetaCart
-
Detection of Language (Model) Errors
- …Detection of Language (Model) Errors K.Y. Hung, R.W.P. Luk, D. Yeung, K.F.L. Chung and W. Shu…
- Add To MetaCart
-
Error-Detecting Properties of Languages
- …Abstract Theoretical Computer Science 276 (2002) 355–375 Error-detecting properties of languages…
- Cited by 1 (1 self) – Add To MetaCart
-
Testing Formal Specifications to Detect Design Errors
- … Specifications to Detect Design Errors Abstract-Fornal specification and verification techniques are now used…
- Add To MetaCart
-
Formal Verification of Temporal Specifications for Compile-Time Error Detection
- …Formal Verification of Temporal Specifications for Compile-Time Error Detection Seongbae Eun 1…
- Add To MetaCart
-
Detecting Errors in Spreadsheets
- …DETECTING ERRORS IN SPREADSHEETS Yirsaw Ayalew, Markus Clermont, Roland T. Mittermeir Institut fr…
- Cited by 8 (1 self) – Add To MetaCart
-
Detecting Multiple Classes of User Errors
- …Detecting Multiple Classes of User Errors Paul Curzon and Ann Blandford Interaction Design Centre…
- Cited by 10 (7 self) – Add To MetaCart
-
Use of Formal Ontologies to Support Error Checking in Specifications
- …. This paper explores the possibility of using formal ontologies to support detection of conceptual errors…
- Cited by 11 (8 self) – Add To MetaCart
-
A Parsing Methodology For Error Detection
- … for syntactic error detection. The topic is equally relevant for grammar checkers and Intelligent Language…
- Add To MetaCart
-
Detecting Errors in Discontinuous Structural Annotation
- … languages to semantic and discourse annotation. In this paper we discuss how the variation n-gram error…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
