2111 search results - page 240 / 423 » How to Program Pervasive Systems |
144
Voted
GPCE
2004
Springer
15 years 9 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
136
Voted
DBPL
1989
Springer
15 years 7 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
107
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
131
Voted
CSMR
2005
IEEE
15 years 9 months ago
2005
IEEE
Impact analysis is the process of determining the effect, or impact, of a change to a software system. Dynamic impact analysis uses data obtained from executing a program to perfo...
136
Voted
ERLANG
2007
ACM
15 years 7 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...