Search Results

ArticlesSee all articles results »

From journals and magazines

1. POSIX Lexing with Derivatives of Regular Expressions

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3LS8MwGA-iFy--wemUHLxptGmSPnAMZG6oiI9NUU8hTVN2kCnrlP35fmnTzYkKOzfN43sn-fL7EDpgAc8ioRmJU5oQbqzOcZYRT4GzN8JEogDSfoquXvz7btRpuUdheZXtXl1JFpb622O3CCwq-BgCYTeoN-x5loS9GAIp7t20J_bXYl2WiN4WKZMx91Tm9z5m3dE0xvxxLVp4m84qkpN52lTr4zLVpDx0mMnBrsAc513SGlpxgSg-KyVnHS2YwQZarYo8YKfzm-i00W_e3fYunxsn_Sa-NmMYANvTW3wOwvtZ4Ibn-C3D3aKq_RC3xy63dpBvocdO-6F1QVzFBaJZwEaE-1xZ9JdQecAoAXuZIExgispPII4MGQtjE2thaCp0wDgHWidJnAY80dRXgrNthA3s1T2jRJAxxdNExyGLlKKxoZqlLPRriFYUl9rhkNtyGK9yiqBsySKBLLIgi6Q1dDj5571E4fi3db1ipHQamUsIozgYd1hDDR1V3Jh-_ru3nfma76Jlv2Qo8WgdLY6GH2avrDSxX8jpF6WN3zA

   by Urban, Christian

   Journal Of Automated Reasoning, Volume 67, Issue 3, p. 24

   Journal Article : Full Text Online

   View Article PDF

2. Formalising and implementing Boost POSIX regular expression matching

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LT9wwELYQp3IosCDxKMiHqgeksEnsxI6EkJZdohZUlVcLPVmOM1lSwS7ah9Sfj8dxFnEohyLlEmvsPMaZmXg-f0PIZ5bySiaGBVkZFQEH_OY4q4JQW2cPCcjEEWnfyrPf8eWVzPtLpN_uhUFYpbf9jU131tq3dP3b7D7Vdfcak3rWm1r_41hb0A7baAJndj44ebHGiWjylZgBsNJtZtNhvGYGGbvjyDF34ibaf_imBYlo7B1PvkpG7S071PVhgzpp1h9ewbFbXsd3Pt0a-ehDVNpr5NbJEow6ZLUt_0C9NeiQle8LytfpBjnPMfp9qHHtgepRSetHD03HhpPxeDqjR_fHFz-uv90dde-P6QSGCIGl8NdjcUfUjuWgnZvkZ3560_8a-EoNgWFCzoIUjKgynkBhQiirksU6rXgE1kVGkGYykUUswgJKU0heCpPGWhRcasmAGSEN2yIU7D9-CDpJK6Z5WZhMMKl1lEFkWMlEvE3CVjnKeP5yLKPxoFqg2h9l9alQnyrEI9wmB4suTw15x1vCvNW4eqUjZZ3LW92-NLNjcQUk7B7Uv3pqPBmq-eNc2SBapnzn_8bfJR_wLHA1aD6R5dlkDntN5Yp9N9OfAYQ8B8U

   by Bester, Willem; van der Merwe, Brink and Berglund, Martin

   Theoretical Computer Science, Volume 857, pp. 147 - 165

   Journal Article : Full Text Online

   View Article PDF

3. Reproducible execution of POSIX programs with DiOS

   http://duke.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1bS8MwFD6oe_HFeQOnc-TBN422TZO2IILODS8wp1O8vJQsSZkgKk5B_70nbboLqOBLWnoJ7cnJyZfkO-cAbDERZjFXjCba79PQ2D4Xsox6Egd7w03M80Dat_HZfXB5FbebzilsWLLdyy3J3FJPOLsFNklKYD2hcVpFv2ahwu3GEGpxr9OasrChBSmjaVeepgyhTUJ9JoRznfm5zunhaYw5J7dJmRt92lVIR99tqde7BfWkWISY4mSXwR3_-4uLsOCAKTksNGkJZszzMlTLpA_E2YAVSBCy51FiH_tPhphPo3LVJS8Z2R8cdC96p3f7e4MD4ohfQ2JXesnx40VvFW7arevmCXX5F6jCjvlOZaZlzAWaIc_TOvI1XsAiEEzxRPhKI7jUWBoZSJH1RaTRYGiRBQlXmTScrQExOHP3jOQiYzLUfZVELJbST4yvmGZRUAO_lHeqXFRymxzjKR3HU7ZCSVEoaS6U9KsG26N3XouYHH8-XS-bMXX9c5giqvNspDRf1GCnbIvx7d9rW__f4xswH1gSTE71qcPc-9uH2SzyTjSgctTqdK_weNI8bT80YPY8olh2uT1Hjf4GeY3qtg

   by Barnat, Jiříí; Kejstová, Katarína; Mrázek, Jan; Baranová, Zuzana and Ročkai, Petr

   Software And Systems Modeling, Volume 20, Issue 2, pp. 363 - 382

   Journal Article : Full Text Online

   View Article PDF

See all 1,097 Articles results

Back to results navigation