Sciweavers

10666 search results - page 221 / 2134
» Quantum programming languages
Sort
View
APLAS
2006
ACM
15 years 8 months ago
Proof Abstraction for Imperative Languages
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
William L. Harrison
ACE
2003
104views Education» more  ACE 2003»
15 years 3 months ago
Language Tug-Of-War: Industry Demand and Academic Choice
This paper seeks to inform instructors responsible for designing introductory programming courses within a university setting. In particular, guidelines for choosing programming l...
Michael de Raadt, Richard Watson, Mark A. Toleman
OOPSLA
2007
Springer
15 years 8 months ago
Understanding programmer language
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...
Einar W. Høst
118
Voted
ACMSE
2006
ACM
15 years 6 months ago
Yaccscript: a platform for intersecting high-level languages
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
John Healey
CSUR
2004
144views more  CSUR 2004»
15 years 2 months ago
Advances in dataflow programming languages
Many developments have taken place within dataflow programming languages in the past decade. In particular, there has been a great deal of activity and advancement in the field of ...
Wesley M. Johnston, J. R. Paul Hanna, Richard J. M...