Sciweavers

1671 search results - page 45 / 335
» Language Constructs for Multi-agent Programming
Sort
View
PLPV
2010
ACM
15 years 11 months ago
Modular reasoning about invariants over shared state with interposed data members
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
Stephanie Balzer, Thomas R. Gross
119
Voted
HASKELL
2009
ACM
15 years 9 months ago
Type-safe observable sharing in Haskell
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
Andy Gill
JWE
2006
101views more  JWE 2006»
15 years 2 months ago
Reactivity on the Web: Paradigms and Applications of the Language XChange
Reactivity on the Web is an emerging issue. It is essential for upcoming Web systems such as online marketplaces, adaptive, Semantic Web systems as well as Web services and Grids....
François Bry, Michael Eckert, Paula-Lavinia...
ICFP
2008
ACM
16 years 2 months ago
Scala for generic programmers
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
Bruno C. D. S. Oliveira, Jeremy Gibbons
POPL
2002
ACM
16 years 2 months ago
Towards automatic construction of staged compilers
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
Matthai Philipose, Craig Chambers, Susan J. Eggers