2004 search results - page 232 / 401 » Interaction nets: programming language design and implementa... |
170
click to vote
FORTE
2001
15 years 7 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
157
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
135
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
170
click to vote
APLAS
2000
ACM
15 years 11 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
201
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...