6740 search results - page 287 / 1348 » Using Classification as a Programming Language |
122
Voted
WOTUG
2008
15 years 4 months ago
2008
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...
108
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Significant time is spent by companies trying to reproduce and fix bugs. BugNet and FDR are recent architecture proposals that provide architecture support for deterministic rep...
94
Voted
KBSE
1999
IEEE
15 years 7 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...
109
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
157
Voted
ICLP
2011
Springer
14 years 6 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...