6581 search results - page 142 / 1317 » Formalizing Design Patterns |
207
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
134
click to vote
TLDI
2010
ACM
16 years 2 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
153
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
135
click to vote
RE
2005
Springer
15 years 8 months ago
2005
Springer
Security Requirements Engineering is emerging as a branch of Software Engineering, spurred by the realization that security must be dealt with early on during the requirements pha...
132
click to vote
DBPL
1993
Springer
15 years 7 months ago
1993
Springer
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...