Semantics, applications, and implementation of program generation. International workshop, SAIG 2000, Montrèal, Canada, September 20, 2000. Proceedings

DOI10.1007/3-540-45350-4MaRDI QIDQ1582979zbMATH OpenOpenAlexFDO

Authors

Publication date 18 October 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45350-4

zbMATH Keywords

ProceedingsWorkshopSemanticsProgram generationSAIG 2000Montrèal (Canada)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Semantics, applications, and implementation of program generation. 2nd international workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings
• scientific article; zbMATH DE number 2087604
• scientific article; zbMATH DE number 107856
• Proceedings of the 19th conference on mathematical foundations of programming semantics (MFPS XIX), Montreal, Canada, March 19--22, 2003
• Generative programming and component engineering. ACM SIGPLAN/SIGSOFT conference, GPCE 2002, Pittsburgh, PA, USA, October 6--8, 2002. Proceedings
• scientific article; zbMATH DE number 444391
• Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
• 2000 ACM SIGPLAN Haskell workshop (satellite event of PLI 2000), Montreal, Canada, September 17, 2000. Proceedings
• scientific article; zbMATH DE number 488596
• Semantics-directed generation of a Prolog compiler

Cited in

(1)

• HOOTS 2000. 4th international workshop on higher order operational techniques in semantics (satellite to PLI 2000), Montreal, Canada, September 22, 2000. Proceedings

This page was built for publication: Semantics, applications, and implementation of program generation. International workshop, SAIG 2000, Montrèal, Canada, September 20, 2000. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1582979)