Results 241 to 250 of about 9,958,067 (302)
Some of the next articles are maybe not open access.
Acta Informatica, 1986
We introduce a predicative semantics of programs and show its use in programming. With it, logic errors can be detected and reported when they are made, just like syntax errors. Programming paradigms are stated precisely as theorems. The use of paradigms in larger programs is shown to be the same as the mathematician's use of theorems in the proof of ...
Eric C. R. Hehner +2 more
openaire +2 more sources
We introduce a predicative semantics of programs and show its use in programming. With it, logic errors can be detected and reported when they are made, just like syntax errors. Programming paradigms are stated precisely as theorems. The use of paradigms in larger programs is shown to be the same as the mathematician's use of theorems in the proof of ...
Eric C. R. Hehner +2 more
openaire +2 more sources
The methodological thesis: Methodology seen as theory and theory as methodology
2022The methodological thesis os an old project that aims to see the work in the Social Sciences in the methodological point of view instead of the theoretical. The objectives of this proposal can be several. The main are to evaluate scientific work that have been done, validating it and improving one research during his corse or after the same.
Serafim Camalhão, Isabel Camalhão
openaire +1 more source