196 search results - page 37 / 40 » Abstract Syntax and Semantics of Visual Languages |
123
Voted
MUC
1991
15 years 4 months ago
1991
ind this work was to extract a relatively abstract level of information from each sentence , using only a limited vocabulary that was hand-crafted to handle a restricted set of tar...
242
Voted
PADL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...
229
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
125
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
123
Voted
CC
2003
Springer
15 years 6 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. ...