ENTCS
2002
15 years 13 days ago
2002
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
92
Voted
ENTCS
2002
15 years 13 days ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
73
Voted
ENTCS
2002
15 years 13 days ago
2002
85
Voted
ENTCS
2002
15 years 13 days ago
2002
ended abstract demonstrates that creating editors and environments for visual languages becomes considerably easier when restricting the class of visual languages. The presented a...
79
Voted
ENTCS
2002
15 years 13 days ago
2002
110
Voted
ENTCS
2002
15 years 13 days ago
2002
In this paper we show that it is possible to model observable behaviour of coalgebras independently from their internal dynamics, but within the general framework of representing ...
79
Voted
ENTCS
2002
15 years 13 days ago
2002
We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as procedure calls. We then appl...
88
Voted
ENTCS
2002
15 years 13 days ago
2002
Metaprogramming is a generic approach described in many articles. Surprisingly, examples of successful applications are scarce. This paper gives such an example. With a metaprogra...
65
Voted
ENTCS
2002
15 years 13 days ago
2002
105
Voted
ENTCS
2002
15 years 13 days ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...