402 search results - page 54 / 81 » Engineering a Programming Language: The Type and Class Syste... |
SAC
1998
ACM
13 years 11 months ago
1998
ACM
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
FOSSACS
2003
Springer
14 years 19 days ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
FATES
2003
Springer
14 years 19 days ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
STEP
2005
IEEE
14 years 1 months ago
2005
IEEE
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
ECOOPWEXCEPTION
2000
Springer
13 years 11 months ago
2000
Springer
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...