89 search results - page 9 / 18 » Abstract Syntax and Variable Binding |
113
Voted
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
105
Voted
CC
2003
Springer
15 years 4 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
82
Voted
ECLIPSE
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we present the APFEL plug-in that collects finegrained changes from version archives in a database. APFEL is built upon the Eclipse infrastructure for CVS and Java....
ESOP
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
CAV
2009
Springer
16 years 5 days ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...