1557 search results - page 25 / 312 » Programming up to Congruence |
179
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
139
click to vote
MOBICOM
2012
ACM
13 years 6 months ago
2012
ACM
Many networked applications that run in the background on a mobile device incur significant energy drains when using the cellular radio interface for communication. This is mainl...
132
Voted
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize L´evy-Longo tree equivalence and Boehm tree equivalence. It has been ada...
114
Voted
IANDC
2008
15 years 3 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
130
click to vote
ENTCS
2006
15 years 3 months ago
2006
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are m...