2200 search results - page 172 / 440 » Programming norm change |
224
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
120
Voted
POPL
2010
ACM
16 years 23 days ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
120
Voted
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
123
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...
136
click to vote
ENTCS
2002
15 years 3 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...