7529 search results - page 164 / 1506 » The Modula-3 Type System |
204
click to vote
GG
2010
Springer
15 years 6 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
130
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
185
Voted
TGC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
155
Voted
PADL
2004
Springer
15 years 10 months ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
139
click to vote
WWIC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a new perspective to the design of wireless networks using the proposed dynamic data type refinement methodology. In the forthcoming years, new portab...