ALPUENTE, M., FELIÚ, M.A., JOUBERT, C. und VILLANUEVA, A., 2009. DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. ENTCS: Electronic Notes in Theoretical Computer Science. 5 August 2009. Vol. 248, , p. 57-66. DOI 10.1016/j.entcs.2009.07.059.
Elsevier - Harvard (with titles)Alpuente, M., Feliú, M., Joubert, C., Villanueva, A., 2009. DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. ENTCS: Electronic Notes in Theoretical Computer Science 248, 57-66. https://doi.org/10.1016/j.entcs.2009.07.059
American Psychological Association 7th editionAlpuente, M., Feliú, M., Joubert, C., & Villanueva, A. (2009). DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. ENTCS: Electronic Notes in Theoretical Computer Science, 248, 57-66. https://doi.org/10.1016/j.entcs.2009.07.059
Springer - Basic (author-date)Alpuente M, Feliú M, Joubert C, Villanueva A (2009) DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer.. ENTCS: Electronic Notes in Theoretical Computer Science 248:57-66. https://doi.org/10.1016/j.entcs.2009.07.059
Juristische Zitierweise (Stüber) (Deutsch)Alpuente, M./ Feliú, M.A./ Joubert, C./ Villanueva, A., DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer., ENTCS: Electronic Notes in Theoretical Computer Science 2009, 57-66.