8706 search results - page 295 / 1742 » Learning Subjective Language |
94
Voted
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
Last year we described the PL-Detective, a system for building exercises and demonstrations in a programming languages course. One of the main goals of the PL-Detective was to pro...
90
Voted
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
96
Voted
OOPSLA
2001
Springer
15 years 7 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
102
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
115
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We present a case-study of using OCaml within a large product development project, focussing on both the technical and nontechnical issues that arose as a result. We draw comparis...