10585 search results - page 516 / 2117 » The Orc Programming Language |
282
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
174
click to vote
ECOOP
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
202
click to vote
TLDI
2003
ACM
16 years 8 days ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
176
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...
323
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...