3307 search results - page 188 / 662 » The meaning of concurrent programs |
162
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to ...
167
click to vote
VL
2006
IEEE
15 years 10 months ago
2006
IEEE
Traditional approaches to teaching computer science are often unsuccessful in attracting girls into the discipline. Our hypothesis is that presenting computer programming as a mea...
115
Voted
FORTE
2007
15 years 5 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
133
click to vote
JSC
2010
15 years 2 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
228
click to vote
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...