Are natural language specifications useful? – Alastair Reid – Researcher at Intel - discu.eu

Hacker News

Are natural language specifications useful? https://alastairreid.github.io/natural-specs/ 13 comments 20/8/2017

Reddit

Are natural language specifications useful? https://alastairreid.github.io/natural-specs/ 4 comments 20/8/2017 programming

Linking pages

cpplinks/assembly.arm.md at master · MattPD/cpplinks · GitHub https://github.com/MattPD/cpplinks/blob/master/assembly.arm.md 0 comments

Linked pages

Betteridge's law of headlines - Wikipedia https://en.wikipedia.org/wiki/Betteridge%27s_law_of_headlines 46 comments
End-to-End Verification of ARM Processors with ISA-Formal – Alastair Reid – Researcher at Intel https://alastairreid.github.io/papers/CAV_16/ 0 comments

Related searches:

Search whole site: site:alastairreid.github.io

Search title: Are natural language specifications useful? – Alastair Reid – Researcher at Intel

See how to search.

Submit link to: