Skip to search formSkip to main contentSkip to account menu

Formal language

Known as: Language (disambiguation), Formal linguistic analysis, Formal expression 
In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols that may be constrained by rules that are… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
AC (complexity)Adaptive grammarAttempto Controlled EnglishBerman–Hartmanis conjecture

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Risk assessment in IT outsourcing using fuzzy decision-making approach: An Indian perspective
Highly Cited
2008
Highly Cited
2008
Ontology Matching with CIDER: Evaluation Report for the OAEI 2008
Ontology matching, the task of determining relations that hold among terms of two different ontologies, is a key issue in the… 
Highly Cited
2008
Highly Cited
2008
Better Alignments = Better Translations?
Automatic word alignment is a key step in training statistical machine translation systems. Despite much recent work on word… 
Highly Cited
2007
Highly Cited
2007
Substring-Based Transliteration
Transliteration is the task of converting a word from one alphabetic script to another. We present a novel, substring-based… 
Highly Cited
2006
Highly Cited
2006
Towards Model-Based Testing of Web Services
Complex interactions between Web Services involve coordinated sequences of operations. Clients of the provided services must be… 
Highly Cited
2005
Highly Cited
2005
Efficient Secure Group Signatures with Dynamic Joins and Keeping Anonymity Against Group Managers
The demonstration of an efficient construction proven secure in a formal model that captures all intuitive security properties of… 
Highly Cited
2005
Highly Cited
2005
The Validity of Administering Large-Scale Content Assessments to English Language Learners: An Investigation From Three Perspectives
The findings and opinions expressed in this report do not reflect the positions or policies of the iii ACKNOWLEDGMENTS First, we… 
Highly Cited
2000
Highly Cited
2000
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems
Deadlock avoidance in sequential resource allocation systems is a well-defined problem in discrete event system literature, as it… 
Highly Cited
2000
Highly Cited
2000
Specification of Symbols and Implementation of Their Constraints in JKogge
There are numerous CASE-tools and editing tools for visual languages. Since most of them are restricted to a specific method or… 
Highly Cited
2000
Highly Cited
2000
A formal language for composition
A composition language based on a formal semantic foundation will facilitate precise specication of glue abstractions and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)