1715 search results - page 108 / 343 » How Space Structures Language |
152
click to vote
PASTE
1999
ACM
15 years 8 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...
119
click to vote
ICALP
1997
Springer
15 years 8 months ago
1997
Springer
Despite the major role that modularity occupies in computer science, all the known results on modular analysis only treat particular problems, and there is no general unifying the...
134
click to vote
MOZ
2004
Springer
15 years 9 months ago
2004
Springer
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...
216
click to vote
IUI
2006
ACM
15 years 9 months ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
151
Voted
ENTCS
2002
15 years 3 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...