5 documents found, page 1 of 1
Zipper-based embedding of strategic attribute grammars
Macedo, José Nuno; Rodrigues, Emanuel; Viera, Marcos; Saraiva, JoãoStrategic term re-writing and attribute grammars are two powerful programming techniques widely used in language engineering. The former relies on strategies to apply term re-write rules in defining large-scale language transformations, while the latter is suitable to express context-dependent language processing algorithms. These two techniques can be expressed and combined via a powerful navigation abstractio...
Zipping strategies and attribute grammars
Macedo, José Nuno; Viera, Marcos; Saraiva, JoãoStrategic term rewriting and attribute grammars are two powerful programming techniques widely used in language engineering. The former relies on strategies (recursion schemes) to apply term rewrite rules in defining transformations, while the latter is suitable for expressing context-dependent language processing algorithms. Each of these techniques, however, is usually implemented by its own powerful and larg...
InDubio: a combinator library to disambiguate ambiguous grammars
Macedo, José Nuno; Saraiva, JoãoTo infer an abstract model from source code is one of the main tasks of most software quality analysis methods. Such abstract model is called Abstract Syntax Tree and the inference task is called parsing. A parser is usually generated from a grammar specification of a (programming) language and it converts source code of that language into said abstract tree representation. Then, several techniques traverse thi...
Expressing disambiguation filters as combinators
Macedo, José Nuno; Saraiva, JoãoContrarily to most conventional programming languages where certain symbols are used so as to create non-ambiguous grammars, most recent programming languages allow ambiguity. These ambiguities are solved using disambiguation rules, which dictate how the software that parses these languages should behave when faced with ambiguities. Such rules are highly efficient but come with some limitations - they cannot be...
Get your spreadsheets under (version) control
Macedo, José Nuno; Moreira, Ricardo; Cunha, Jácome; Saraiva, JoãoSpreadsheets play a pivotal role in many organizations. They serve to store and manipulate data or forecasting, and they are often used to help in the decision process, thus directly impacting the success, or not, of organizations. As the research community already realized, spreadsheets tend to have the same problems “professional” software contain. Thus, in the past decade many software engineering techniques...