Skip to search formSkip to main contentSkip to account menu

Turing

Known as: Holt Software Associates, Turing programming language, Turing (language) 
Turing is a Pascal-like programming language developed in 1982 by Ric Holt and James Cordy, then of University of Toronto, Canada. Turing is a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

23 relations
Communications of the ACMComparison of programming languages (string functions)Concurrent Euclid (ConEuc)Euclid

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Of Museums and Digital Culture: A landscape view
The digital world is full of dubious and ephemeral material, much of it dubbed “fake news” by some people. On the other hand… 
2018
2018
Breaking-down the Ontology Alignment Task with a Lexical Index and Neural Embeddings
Large ontologies still pose serious challenges to state-of-the-art ontology alignment systems. In the paper we present an… 
2010
2010
Leveraging Cognitive Factors in Securing WWW with CAPTCHA
Human Interactive Proofs systems using CAPTCHA help protect services on the World Wide Web (WWW) from widespread abuse by… 
2006
2006
Fast simulation of large networks of nanotechnological and biochemical oscillators for investigating self-organization phenomena
We address the problem of fast and accurate computational analysis of large networks of coupled oscillators arising in… 
2005
2005
The Coevolution of AI and AAAI
AI and AAAI are coevolving. As AI matures, its focus is shifting from inward-looking to outwardlooking. Some of the new concerns… 
2005
2005
Typed abstraction of complex network compositions
The heterogeneity and open nature of network systems make analysis of compositions of components quite challenging, making the… 
2001
2001
Turing's Connectionism
In a “little known” paper entitled “Intelligent Machinery,” Turing had already investigated connectionist models as early as 1948… 
1991
1991
Modular grammars for programming language prototyping
1989
1989
Static analysis of program source code using EDSA
  • L. VanekM. Culp
  • Proceedings. Conference on Software Maintenance -
  • 1989
  • Corpus ID: 60767933
EDSA (expert data flow and static analysis tool) which uses static analysis of source code to help gain an understanding of… 
1965
1965
Mathematical Logic
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)