Macedo, José Nuno Castro de
207  Ergebnisse:
Personensuche X
?
1

GPT-3-Powered Type Error Debugging: Investigating the Use o..:

, In: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering,
 
?
4

Efeitos da gestão participativa dos parques estaduais da Ba..:

Macedo, José Alberto Castro ; Drummond, José Augusto
Raízes: Revista de Ciências Sociais e Econômicas.  32 (2012)  1 - p. 123-144 , 2012
 
?
 
?
6

Beyond Code Generation: The Need for Type-Aware Language Mo..:

, In: 2023 IEEE/ACM International Workshop on Automated Program Repair (APR),
 
?
7

Efficient Embedding of Strategic Attribute Grammars via Mem..:

, In: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,
 
?
8

Zipping Strategies and Attribute Grammars:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,
 
?
10

Assessing the Impact of Investments in Distribution Plannin:

, In: 2020 17th International Conference on the European Energy Market (EEM),
 
?
11

Assessing the impact of hints in learning formal specificat..:

, In: Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training,
 
?
12

Assessing the Impact of Hints in Learning Formal Specificat..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET),
 
?
14

Alloy Goes Fuzzy:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Silva, Pedro ; Cunha, Alcino ; Macedo, Nuno. - p. 61-79 , 2024
 
?
15

Verification of railway network models with EVEREST:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,
Martins, João ; Fonseca, José M. ; Costa, Rafael... - p. 345-355 , 2022
 
1-15