Amil est écrit en C et utilise (sans doute pas au mieux de ses possibilités) la bibliothèque gtk+-2.0 de développement. (apt-get install libgtk2.0-dev) Il est possible qu’un simple make règle la question de sa compilation.
Le langage change légèrement dans la version 2 : ’init’ et ’sautsi’ sont remplacés respectivement par ’valeur’ et ’sautpos’, et si l’interprète admet encore des constantes dans les opération comme dans ’add 1 r0’, la forme ’add r1 r0’ est recommandée. Une soustraction a fait son (...)
Pierre Boudes
... | 209 | 210 | 211 | 212 | 213 | 214 | 215 | 216 | 217 | 218 | 219 | 220 | 221 | 222 | 223 | 224 | 225 | 226 | 227 | 228 | 229 | 230 | 231 | 232 | 233 | 234 | 235 | 236 | 237 | 238 | 239 | 240 | 241 | 242 | 243 | 244 | 245 | 246 | 247 | 248 | 249 | 250 | 251 | 252 | 253 | 254 | 255 | 256 | 257 |...
Welcome on my professional home page. My name is Pierre Boudes. Holding a phD in maths since 2002, I am maître de conférences in computer science at Paris 13 university, since september 2005.
More precisely, I am :
– Researcher in proof theory and theory of programming at the computer science lab of Paris nord university (Laboratoire d’informatique de Paris nord, LIPN), UMR CNRS 7030.
– Teacher (and sometimes a kind of administrative) at the institut Galilée.
I usually reply within one day to (well-formed) emails addressed to boudes@univ-paris13.fr. You can also contact me by other means. I have reduced my presence on the Fediverse to two Mastodon accounts:
– professional
– personal.