Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,218,380 papers from all fields of science
Search
Sign In
Create Free Account
Formal language
Known as:
Language (disambiguation)
, Formal linguistic analysis
, Formal expression
Expand
In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols that may be constrained by rules that are…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
AC (complexity)
Adaptive grammar
Attempto Controlled English
Berman–Hartmanis conjecture
Expand
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
Chitrasen Samantra
,
S. Datta
,
S. Mahapatra
Expert systems with applications
2014
Corpus ID: 11661687
Highly Cited
2008
Highly Cited
2008
Ontology Matching with CIDER: Evaluation Report for the OAEI 2008
J. Gracia
,
E. Mena
Organizational Memories
2008
Corpus ID: 1618499
Ontology matching, the task of determining relations that hold among terms of two different ontologies, is a key issue in the…
Expand
Highly Cited
2008
Highly Cited
2008
Better Alignments = Better Translations?
Kuzman Ganchev
,
João Graça
,
B. Taskar
Annual Meeting of the Association for…
2008
Corpus ID: 633088
Automatic word alignment is a key step in training statistical machine translation systems. Despite much recent work on word…
Expand
Highly Cited
2007
Highly Cited
2007
Substring-Based Transliteration
Tarek Sherif
,
Grzegorz Kondrak
Annual Meeting of the Association for…
2007
Corpus ID: 12223441
Transliteration is the task of converting a word from one alphabetic script to another. We present a novel, substring-based…
Expand
Highly Cited
2006
Highly Cited
2006
Towards Model-Based Testing of Web Services
L. Frantzen
,
J. Tretmans
2006
Corpus ID: 16371114
Complex interactions between Web Services involve coordinated sequences of operations. Clients of the provided services must be…
Expand
Highly Cited
2005
Highly Cited
2005
Efficient Secure Group Signatures with Dynamic Joins and Keeping Anonymity Against Group Managers
A. Kiayias
,
M. Yung
International Conference on Cryptology in…
2005
Corpus ID: 45717445
The demonstration of an efficient construction proven secure in a formal model that captures all intuitive security properties of…
Expand
Highly Cited
2005
Highly Cited
2005
The Validity of Administering Large-Scale Content Assessments to English Language Learners: An Investigation From Three Perspectives
Cse Report
,
J. Abedi
,
A. Bailey
,
Frances A. Butler
,
Seth Leon
,
J. Mirocha
2005
Corpus ID: 62422726
The findings and opinions expressed in this report do not reflect the positions or policies of the iii ACKNOWLEDGMENTS First, we…
Expand
Highly Cited
2000
Highly Cited
2000
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems
Jonghun Park
,
S. Reveliotis
IEEE Trans. Robotics Autom.
2000
Corpus ID: 15419658
Deadlock avoidance in sequential resource allocation systems is a well-defined problem in discrete event system literature, as it…
Expand
Highly Cited
2000
Highly Cited
2000
Specification of Symbols and Implementation of Their Constraints in JKogge
Ingar Uhe
,
M. Rosendahl
2000
Corpus ID: 16037406
There are numerous CASE-tools and editing tools for visual languages. Since most of them are restricted to a specific method or…
Expand
Highly Cited
2000
Highly Cited
2000
A formal language for composition
M. Lumpe
,
F. Achermann
,
Oscar Nierstrasz
2000
Corpus ID: 61284031
A composition language based on a formal semantic foundation will facilitate precise specication of glue abstractions and…
Expand
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)
ACCEPT & CONTINUE