10871 search results - page 226 / 2175 » A stable programming language |
169
click to vote
APLAS
2006
ACM
16 years 15 days ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
175
click to vote
ACE
2003
15 years 8 months ago
2003
This paper seeks to inform instructors responsible for designing introductory programming courses within a university setting. In particular, guidelines for choosing programming l...
129
click to vote
OOPSLA
2007
Springer
16 years 19 days ago
2007
Springer
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...
194
click to vote
SUM
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
164
click to vote
AAAI
2010
15 years 8 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...