4743 search results - page 644 / 949 » The PlusCal Algorithm Language |
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
SIGITE
2004
ACM
14 years 3 months ago
2004
ACM
In this paper, we establish the need (based on literature and anecdotal evidence) for an infrastructure for CS1 courses to visually support problem solving from the initial proble...
SIGSOFT
2004
ACM
14 years 3 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
CONCUR
2004
Springer
14 years 3 months ago
2004
Springer
We deļ¬ne a language whose type system, incorporating session types, allows complex protocols to be speciļ¬ed by types and veriļ¬ed by static typechecking. A session type, asso...
ESOP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLangās linear type system ensures that ...