7124 search results - page 165 / 1425 » Programming Languages and Operating Systems |
166
click to vote
ESOP
2004
Springer
15 years 12 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 ...
161
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
192
click to vote
TLCA
2007
Springer
16 years 17 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
146
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
166
click to vote
ESOP
2007
Springer
16 years 19 days ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...