3713 search results - page 390 / 743 » Constructing a Calculus of Programs |
152
click to vote
PADO
2001
Springer
15 years 9 months ago
2001
Springer
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...
150
click to vote
TOOLS
1999
IEEE
15 years 9 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
137
click to vote
SIGCSE
1998
ACM
15 years 9 months ago
1998
ACM
Programs that use animations or visualizations attract student interest and offer feedback that can enhance different learning styles as students work to master programming and pr...
147
click to vote
CSFW
1997
IEEE
15 years 9 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
166
click to vote
HASKELL
2007
ACM
15 years 8 months ago
2007
ACM
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...