17,748 research outputs found
Canonical Abstract Syntax Trees
This paper presents Gom, a language for describing abstract syntax trees and
generating a Java implementation for those trees. Gom includes features
allowing the user to specify and modify the interface of the data structure.
These features provide in particular the capability to maintain the internal
representation of data in canonical form with respect to a rewrite system. This
explicitly guarantees that the client program only manipulates normal forms for
this rewrite system, a feature which is only implicitly used in many
implementations
Operads from posets and Koszul duality
We introduce a functor from the category of posets to the category
of nonsymmetric binary and quadratic operads, establishing a new connection
between these two categories. Each operad obtained by the construction provides a generalization of the associative operad because all of its
generating operations are associative. This construction has a very singular
property: the operads obtained from are almost never basic. Besides,
the properties of the obtained operads, such as Koszulity, basicity,
associative elements, realization, and dimensions, depend on combinatorial
properties of the starting posets. Among others, we show that the property of
being a forest for the Hasse diagram of the starting poset implies that the
obtained operad is Koszul. Moreover, we show that the construction
restricted to a certain family of posets with Hasse diagrams satisfying some
combinatorial properties is closed under Koszul duality.Comment: 40 page
Full abstraction for fair testing in CCS
In previous work with Pous, we defined a semantics for CCS which may both be
viewed as an innocent presheaf semantics and as a concurrent game semantics. It
is here proved that a behavioural equivalence induced by this semantics on CCS
processes is fully abstract for fair testing equivalence. The proof relies on a
new algebraic notion called playground, which represents the 'rule of the
game'. From any playground, two languages, equipped with labelled transition
systems, are derived, as well as a strong, functional bisimulation between
them.Comment: 15 pages, to appear in CALCO '13. To appear Lecture notes in computer
science (2013
An abstract view on syntax with sharing
The notion of term graph encodes a refinement of inductively generated syntax
in which regard is paid to the the sharing and discard of subterms. Inductively
generated syntax has an abstract expression in terms of initial algebras for
certain endofunctors on the category of sets, which permits one to go beyond
the set-based case, and speak of inductively generated syntax in other
settings. In this paper we give a similar abstract expression to the notion of
term graph. Aspects of the concrete theory are redeveloped in this setting, and
applications beyond the realm of sets discussed.Comment: 26 pages; v2: final journal versio
- …