1675 search results - page 23 / 335 » Some thoughts on teaching programming and programming langua... |
SIGADA
1999
Springer
13 years 12 months ago
1999
Springer
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...
KBSE
1999
IEEE
13 years 12 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
TOOLS
1999
IEEE
13 years 12 months ago
1999
IEEE
The design of the Eiffel language makes it possible to perform global optimizations on Eiffel programs. In this paper, we describe some of the techniques we used in SmallEiffel, T...
IFIP
1997
Springer
13 years 11 months ago
1997
Springer
: National and international standards for professional groups may become a dominant and governing force as internet-based professional training becomes universally accepted. Educa...
ICFP
2000
ACM
14 years 1 days ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac