Skip to search formSkip to main contentSkip to account menu

Erroneous program

In the design of programming languages, an erroneous program is one whose semantics are not well-defined, but where the language implementation is… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
AdaAliasing (computing)Programming language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
A preliminary study on ASR-based detection of Chinese mispronunciation by Japanese learners
Detecting mispronunciations produced by non-native speakers and providing detailed instructive feedbacks are desired in computer… 
Highly Cited
2012
Highly Cited
2012
Analysis of and feedback on phonetic features in pronunciation training with a virtual teacher
Pronunciation errors may be caused by several different deviations from the target, such as voicing, intonation, insertions or… 
2009
2009
The Duty to Avoid Wrongful Convictions: A Thought Experiment in the Regulation of Prosecutors
This Article explores the possible role of the attorney disciplinary process in discouraging prosecutorial conduct that… 
2009
2009
Improving TinyOS Developer Productivity with Statecharts
The development of sensor network software is challenging due to (a) the emergence at runtime of nonintuitive component… 
2008
2008
Coding Complexity: Bringing Law to the Empirical Analysis of the Supreme Court
In recent years, the legal academy has experienced a surge of interest in quantitative empirical analysis. Unfortunately, this… 
Review
2008
Review
2008
APPLICATION OF SOLID-STATE KINETICS TO DESOLVATION REACTIONS
The book presents an overview of the solid-state kinetic literature including methodologies used, mathematical derivations and… 
2006
2006
Misconduct in the Prosecution of Severe Crimes: Theory and Experimental Test
Prosecutorial misconduct involves the intentional use of illegal or improper methods for attaining convictions against defendants… 
2003
2003
Automatic Relative Debugging of OpenMP Programs
In this work we show how automatic relative debugging can be used to find differences in computation between a correct serial… 
Review
1998
Review
1998
Science and medicine of rowing: A review
The biology and medicine of rowing are briefly reviewed. Effort in a 2000 -m race is about 70% aerobic. Because the boat (and in… 
Highly Cited
1986
Highly Cited
1986
SEAVE: a mechanism for verifying user presuppositions in query systems
Every information system incorporates a database component, and a frequent activity of users of information systems is to present… 
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)