Jump to content

Soufflé (programming language)

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Siddharthist (talk | contribs) at 13:51, 26 February 2023 (←Created page with '{{Userspace draft|source=ArticleWizard|date={{Subst:CURRENTMONTHNAME}} {{Subst:CURRENTYEAR}}}} {{Subst:Nul| ← do not change this line, it will set the date automatically}} '''Soufflé''' is an open source parallel logic programming language, influenced by Datalog. == References == ===Notes=== {{Reflist}} ===Sources=== *{{Cite journal |last=Jordan |first=Herbert |last2=Scholz |first2=Bernhard |last3=S...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)


Soufflé is an open source parallel logic programming language, influenced by Datalog.

References

Notes

Sources

  • Jordan, Herbert; Scholz, Bernhard; Subotić, Pavle (2016). Chaudhuri, Swarat; Farzan, Azadeh (eds.). "Soufflé: On Synthesis of Program Analyzers". Computer Aided Verification. Cham: Springer International Publishing: 422–430. doi:10.1007/978-3-319-41540-6_23. ISBN 978-3-319-41540-6.
  • Antoniadis, Tony; Triantafyllou, Konstantinos; Smaragdakis, Yannis (2017-06-18). "Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses". Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. SOAP 2017. New York, NY, USA: Association for Computing Machinery: 25–30. doi:10.1145/3088515.3088522. ISBN 978-1-4503-5072-3.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Soufflé_(programming_language)&oldid=1141727270"