Manual intepretation of some of the example programs for the language IMPLICIT-REFS (EOPL)
I've employed the following shorthands:
- value-of-program has been omitted
- vof = value-of
- app = apply-procedure
- r = rho (store)
| // Declares clang::SyntaxOnlyAction. | |
| #include "clang/Frontend/FrontendActions.h" | |
| #include "clang/Tooling/CommonOptionsParser.h" | |
| #include "clang/Tooling/Tooling.h" | |
| // Declares llvm::cl::extrahelp. | |
| #include "llvm/Support/CommandLine.h" | |
| // AST Matchers | |
| #include "clang/ASTMatchers/ASTMatchFinder.h" |
| import os | |
| import os.path | |
| import fnmatch | |
| import logging | |
| import ycm_core | |
| BASE_FLAGS = [ | |
| '-Wall', | |
| '-Wextra', | |
| '-Werror', |
| " LaTeX | |
| let g:Tex_DefaultTargetFormat = 'pdf' | |
| let g:Tex_MultipleCompileFormats='pdf, aux' | |
| let g:Imap_FreezeImap=1 " Disable mappings | |
| let Tex_FoldedSections='' " Disable folding sections | |
| let Tex_FoldedEnvironments='' " Disable folding environments | |
| let Tex_FoldedMisc='' " Disable folding miscellaneous | |
| set iskeyword+=: | |
| map <F9> :w<cr><leader>ll | |
| if has("win32") |
| toSet :: ByteString -> Set ByteString | |
| toSet = Set.fromList . B.words . B.map toLower | |
| toWords :: ByteString -> [ByteString] | |
| toWords s | |
| | B.null s = [] | |
| | otherwise = B.inits s ++ toWords (B.tail s) | |
| solve :: Set ByteString -> [ByteString] -> [ByteString] | |
| solve dict strs = filter valid wrds |
| #include "contiki.h" | |
| #include <stdio.h> | |
| #include "adc.h" | |
| PROCESS(hello_adc_process, "Hello ADC Process"); | |
| AUTOSTART_PROCESSES(&hello_adc_process); | |
| PROCESS_THREAD(hello_adc_process, ev, data) | |
| { | |
| PROCESS_BEGIN(); |
| cd /var/www/ | |
| wget http://ghost.org/zip/ghost-latest.zip | |
| rm -rf $1/core | |
| unzip -uo ghost-latest.zip -d $1 | |
| chown -R ghost:ghost $1/* | |
| cd $1 | |
| npm install --production | |
| rm -f ghost-latest.zip |
| library ieee; user ieee.math_real.all; | |
| entity fsmd is | |
| port(clk: in bit; LD: in integer 0 to 3; | |
| ia: in integer range 0 to 255; ixy: in real; ov: out real; | |
| end entity fsmd; | |
| architecture behav of fsmd is | |
| signal a, d: integer := 0; | |
| signal ca, sa, pca, psa, x xy: real; | |
| begin |
| analytics.page('Starred Ads'); |