Warning: Undefined array key "REMOTE_USER" in /home/feupptspecs/public_html/wiki/feed.php on line 36
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 219
Warning: Undefined array key "date" in /home/feupptspecs/public_html/wiki/feed.php on line 226
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 228
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 292
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 397
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 219
Warning: Undefined array key "date" in /home/feupptspecs/public_html/wiki/feed.php on line 226
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 228
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 292
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 397
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 219
Warning: Undefined array key "date" in /home/feupptspecs/public_html/wiki/feed.php on line 226
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 228
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 292
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 397
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 219
Warning: Undefined array key "date" in /home/feupptspecs/public_html/wiki/feed.php on line 226
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 228
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 292
Warning: Undefined array key "media" in /home/feupptspecs/public_html/wiki/feed.php on line 397 SPeCS Research Group doc
https://fe.up.pt/specs/wiki/
2026-05-06T16:09:18+00:00SPeCS Research Group
https://fe.up.pt/specs/wiki/
https://fe.up.pt/specs/wiki/lib/tpl/dokuwiki/images/favicon.icotext/html2022-01-15T20:25:35+00:00Anonymous (anonymous@undisclosed.example.com)doc:clava
https://fe.up.pt/specs/wiki/doku.php?id=doc:clava&rev=1642278335&do=diff
Clava (C/C++ Weaver)
Clava is a LARA weaver that supports C, C++, CUDA and OpenCL. It is open source and available at GitHub.
Clava uses LARA scripts to analyze and transform source code.
Clava Features - Details about Clava-specific features.text/html2022-01-15T20:09:31+00:00Anonymous (anonymous@undisclosed.example.com)doc:kadabra
https://fe.up.pt/specs/wiki/doku.php?id=doc:kadabra&rev=1642277371&do=diff
Kadabra (Java Weaver)
Kadabra is a LARA weaver that supports Java. It is open source and available at GitHub.
Kadabra uses LARA scripts to analyze and transform source code.text/html2022-01-15T20:05:15+00:00Anonymous (anonymous@undisclosed.example.com)doc:lara
https://fe.up.pt/specs/wiki/doku.php?id=doc:lara&rev=1642277115&do=diff
LARA Framework Documentation
LARA is a framework written in Java for writing LARA weavers, tools that analyze and transform source code of a given language according to rules written in LARA scripts.
LARA scripts can either be plain JavaScript files with the latest EcmaScript syntax (.js files) or EcmaScript 5 (2009) extended with special constructs (.lara files).text/html2022-11-14T14:41:22+00:00Anonymous (anonymous@undisclosed.example.com)doc:latex
https://fe.up.pt/specs/wiki/doku.php?id=doc:latex&rev=1668436882&do=diff
Latex Guide
General tips
* Use “cleverref” for references
* Use “cite” for citations (use bibtex)
* Figures should have positioning [!t] (let Latex take care of positioning)
* Use “acronym” for acronyms
* Use “booktabs” for nicer tables (it will avoid vertical lines in the table)