Sciweavers

1675 search results - page 37 / 335
» Some thoughts on teaching programming and programming langua...
Sort
View
MOZ
2004
Springer
15 years 11 months ago
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
Abstract. The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this p...
Fred Spiessens, Peter Van Roy
IADIS
2003
15 years 7 months ago
Quality Assurance in Teaching English
The issue of quality assurance has been on the agenda of distance and open teachinguniversities for many years. In such a context, the development of high quality study materials ...
Mahmoud Alimohammadi
SIGCSE
2005
ACM
163views Education» more  SIGCSE 2005»
15 years 11 months ago
Using SeSFJava in teaching introductory network courses
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
Tamer Elsharnouby, A. Udaya Shankar
ICFP
2005
ACM
16 years 5 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
ICFP
2010
ACM
15 years 7 months ago
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...
Edwin Brady, Kevin Hammond