2200 search results - page 174 / 440 » Programming norm change |
132
click to vote
FLAIRS
2008
15 years 4 months ago
2008
This paper describes an algorithm developed as a decision support system for SMT line operators and its purpose is to suggest changes in an existing feeder setup in order to impro...
202
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time...
105
click to vote
PEPM
2009
ACM
16 years 8 days ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
127
click to vote
PADL
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
120
Voted
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...