Aron BorgesImplementação do Compilador e Semântica Formal 7 Exemplo de Ação class Boolean {... action default() exports { all } {... execute; } action
{"Image DocumentName": "Implementa\u00e7\u00e3o do Compilador e Sem\u00e2ntica Formal", "Image ImageDescription": "Exemplo de A\u00e7\u00e3o. class Boolean { ... action default() exports { all } { execute; } action equals(Boolean b) exports { all } { skip; Boolean a = Boolean.make(true); Boolean b = Boolean.make(false); if(a) { ... } if(a.equals(b)) { ... } Aron Borges. Implementa\u00e7\u00e3o do Compilador e Sem\u00e2ntica Formal.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}