Sciweavers

967 search results - page 7 / 194
» Building a Calculus of Data Structures
Sort
View
IFIPTCS
2010
15 years 12 days ago
Concurrent Pattern Calculus
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
Thomas Given-Wilson, Daniele Gorla, Barry Jay
ENTCS
2006
112views more  ENTCS 2006»
15 years 2 months ago
Synchronous Dataflow Pattern Matching
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
Grégoire Hamon
ENTCS
2006
89views more  ENTCS 2006»
15 years 2 months ago
A Type-theoretic Reconstruction of the Visitor Pattern
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
Peter Buchlovsky, Hayo Thielecke
ECOOP
2009
Springer
16 years 3 months ago
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
Giovanni Lagorio, Marco Servetto, Elena Zucca
132
Voted
SEMWEB
2010
Springer
15 years 11 days ago
Semantic MediaWiki in Operation: Experiences with Building a Semantic Portal
Abstract. Wikis allow users to collaboratively create and maintain content. Semantic wikis, which provide the additional means to annotate the content semantically and thereby allo...
Daniel Herzig, Basil Ell