502 search results - page 31 / 101 » Declarative Programming with Function Patterns |
111
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
113
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe modifica...
126
click to vote
IFIP
2009
Springer
14 years 12 months ago
2009
Springer
Collaboration, either inter or intra-organization is a critical business function that demands skills and knowledge spanning a wide range of domains including social, business and ...
138
click to vote
TAP
2010
Springer
15 years 2 days ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
152
Voted
WOA
2003
15 years 3 months ago
2003
— This paper describes a research experiment carried out at the University of Catania, aiming at testing and evaluating the applicability of the Erlang language in programming mu...