10622 search results - page 384 / 2125 » Python Programming Language |
148
click to vote
SWSTE
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...
117
click to vote
FASE
1998
Springer
15 years 9 months ago
1998
Springer
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
130
click to vote
SIGPLAN
2008
15 years 4 months ago
2008
Programs encounter increasingly complex and fragile mappings to computing platforms, resulting in performance characteristics that are often mysterious to students, practitioners,...
155
click to vote
ECOOPW
1997
Springer
15 years 9 months ago
1997
Springer
This report investigates the relationships between design patterns and programming languages. A comparison is carried out between the usual track of programming languages developme...
130
click to vote
SAIG
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...