recursive* program*OKAlex Buna-MargineanVincent ChevalMahsa ShirmohammadiJames Worrell 0001On Learning Polynomial Recursive Programs.Proc. ACM Program. Lang.8POPL1001-10272024Journal Articlesopenjournals/pacmpl/BunaMargineanCSW2410.1145/3632876https://doi.org/10.1145/3632876https://dblp.org/rec/journals/pacmpl/BunaMargineanCSW24URL#26885Haowei DengRunzhou TaoYuxiang PengXiaodi Wu 0001A Case for Synthesis of Recursive Quantum Unitary Programs.Proc. ACM Program. Lang.8POPL1759-17882024Journal Articlesopenjournals/pacmpl/DengTPW2410.1145/3632901https://doi.org/10.1145/3632901https://dblp.org/rec/journals/pacmpl/DengTPW24URL#26899Jens Oliver GutsfeldMarkus Müller-OlmChristoph OhremDeciding Asynchronous Hyperproperties for Recursive Programs.Proc. ACM Program. Lang.8POPL33-602024Journal Articlesopenjournals/pacmpl/GutsfeldMO2410.1145/3632844https://doi.org/10.1145/3632844https://dblp.org/rec/journals/pacmpl/GutsfeldMO24URL#26912Eshan ChattopadhyayJyun-Jie LiaoRecursive Error Reduction for Regular Branching Programs.ITCS29:1-29:202024Conference and Workshop Papersopenconf/innovations/ChattopadhyayL2410.4230/LIPICS.ITCS.2024.29https://doi.org/10.4230/LIPIcs.ITCS.2024.29https://dblp.org/rec/conf/innovations/ChattopadhyayL24URL#53872Roman LakenbrinkMarkus Müller-OlmChristoph OhremJens Oliver GutsfeldA Navigation Logic for Recursive Programs with Dynamic Thread Creation.VMCAI48-702024Conference and Workshop Papersclosedconf/vmcai/LakenbrinkMOG2410.1007/978-3-031-50521-8_3https://doi.org/10.1007/978-3-031-50521-8_3https://dblp.org/rec/conf/vmcai/LakenbrinkMOG24URL#55591Olivier DanvyFold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM.J. Funct. Program.33e32023Journal Articlesclosedjournals/jfp/Danvy23a10.1017/S0956796823000011https://doi.org/10.1017/S0956796823000011https://dblp.org/rec/journals/jfp/Danvy23aURL#177887Tobias WinklerChristina GehnenJoost-Pieter KatoenModel Checking Temporal Properties of Recursive Probabilistic Programs.Log. Methods Comput. Sci.1942023Journal Articlesopenjournals/lmcs/WinklerGK2310.46298/LMCS-19(4:24)2023https://doi.org/10.46298/lmcs-19(4:24)2023https://dblp.org/rec/journals/lmcs/WinklerGK23URL#191124Nada AminJohn BurnhamFrançois GarillotRosario GennaroChhi'mèd KünzangDaniel RogozinCameron WongLURK: Lambda, the Ultimate Recursive Knowledge (Experience Report).Proc. ACM Program. Lang.7ICFP259-2742023Journal Articlesopenjournals/pacmpl/AminBGGKRW2310.1145/3607839https://doi.org/10.1145/3607839https://dblp.org/rec/journals/pacmpl/AminBGGKRW23URL#205305Martin AvanziniGeorg MoserMichael SchaperAutomated Expected Value Analysis of Recursive Programs.Proc. ACM Program. Lang.7PLDI1050-10722023Journal Articlesopenjournals/pacmpl/AvanziniMS2310.1145/3591263https://doi.org/10.1145/3591263https://dblp.org/rec/journals/pacmpl/AvanziniMS23URL#205311Nicolas ChappePaul HeLudovic HenrioYannick ZakowskiSteve ZdancewicChoice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq.Proc. ACM Program. Lang.7POPL1770-18002023Journal Articlesopenjournals/pacmpl/ChappeHHZZ2310.1145/3571254https://doi.org/10.1145/3571254https://dblp.org/rec/journals/pacmpl/ChappeHHZZ23URL#205342David Chiang 0001Colin McDonaldChung-chieh ShanExact Recursive Probabilistic Programming.Proc. ACM Program. Lang.7OOPSLA1665-6952023Journal Articlesopenjournals/pacmpl/ChiangMS2310.1145/3586050https://doi.org/10.1145/3586050https://dblp.org/rec/journals/pacmpl/ChiangMS23URL#205348Woosuk LeeHangyeol ChoInductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions.Proc. ACM Program. Lang.7POPL2048-20782023Journal Articlesopenjournals/pacmpl/LeeC2310.1145/3571263https://doi.org/10.1145/3571263https://dblp.org/rec/journals/pacmpl/LeeC23URL#205438Yuxiang LeiYulei SuiShin Hwei TanQirun ZhangRecursive State Machine Guided Graph Folding for Context-Free Language Reachability.Proc. ACM Program. Lang.7PLDI318-3422023Journal Articlesopenjournals/pacmpl/LeiSTZ2310.1145/3591233https://doi.org/10.1145/3591233https://dblp.org/rec/journals/pacmpl/LeiSTZ23URL#205443Andreas RossbergMutually Iso-Recursive Subtyping.Proc. ACM Program. Lang.7OOPSLA2347-3732023Journal Articlesopenjournals/pacmpl/Rossberg2310.1145/3622809https://doi.org/10.1145/3622809https://dblp.org/rec/journals/pacmpl/Rossberg23URL#205515Aalok ThakkarNathaniel SandsGeorge PetrouRajeev AlurMayur NaikMukund RaghothamanMobius: Synthesizing Relational Queries with Recursive and Invented Predicates.Proc. ACM Program. Lang.7OOPSLA21394-14172023Journal Articlesopenjournals/pacmpl/ThakkarSPANR2310.1145/3622847https://doi.org/10.1145/3622847https://dblp.org/rec/journals/pacmpl/ThakkarSPANR23URL#205541Yongwei YuanArjun RadhakrishnaRoopsha SamantaTrace-Guided Inductive Synthesis of Recursive Functional Programs.Proc. ACM Program. Lang.7PLDI860-8832023Journal Articlesopenjournals/pacmpl/YuanRS2310.1145/3591255https://doi.org/10.1145/3591255https://dblp.org/rec/journals/pacmpl/YuanRS23URL#205579Litao ZhouYaoda ZhouBruno C. d. S. OliveiraRecursive Subtyping for All.Proc. ACM Program. Lang.7POPL1396-14252023Journal Articlesopenjournals/pacmpl/ZhouZO2310.1145/3571241https://doi.org/10.1145/3571241https://dblp.org/rec/journals/pacmpl/ZhouZO23URL#205594Jude NzemekeThe Role of Working Memory Capacity in Recursive Problem-Solving: A Study on Novice Programmers.ICER99-1012023Conference and Workshop Papersclosedconf/icer/Nzemeke2210.1145/3568812.3603456https://doi.org/10.1145/3568812.3603456https://dblp.org/rec/conf/icer/Nzemeke22URL#369462Vaishak BelleExcursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond.JELIA35-462023Conference and Workshop Papersclosedconf/jelia/Belle2310.1007/978-3-031-43619-2_3https://doi.org/10.1007/978-3-031-43619-2_3https://dblp.org/rec/conf/jelia/Belle23URL#408869Mathieu HuotAlexander K. LewVikash K. MansinghkaSam StatonωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs.LICS1-142023Conference and Workshop Papersclosedconf/lics/HuotLMS2310.1109/LICS56636.2023.10175739https://doi.org/10.1109/LICS56636.2023.10175739https://dblp.org/rec/conf/lics/HuotLMS23URL#411978Marta Davila MateuSynthesizing Recursive Programs through Dataflow Constraints.SPLASH Companion25-272023Conference and Workshop Papersclosedconf/splash/Mateu2310.1145/3618305.3623595https://doi.org/10.1145/3618305.3623595https://dblp.org/rec/conf/splash/Mateu23URL#445939Mathieu HuotAlexander K. LewVikash K. MansinghkaSam StatonωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs.CoRRabs/2302.106362023Informal and Other Publicationsopenjournals/corr/abs-2302-1063610.48550/ARXIV.2302.10636https://doi.org/10.48550/arXiv.2302.10636https://dblp.org/rec/journals/corr/abs-2302-10636URL#473597Martin AvanziniGeorg MoserMichael SchaperAutomated Expected Value Analysis of Recursive Programs.CoRRabs/2304.012842023Informal and Other Publicationsopenjournals/corr/abs-2304-0128410.48550/ARXIV.2304.01284https://doi.org/10.48550/arXiv.2304.01284https://dblp.org/rec/journals/corr/abs-2304-01284URL#484737Eshan ChattopadhyayJyun-Jie LiaoRecursive Error Reduction for Regular Branching Programs.CoRRabs/2309.045512023Informal and Other Publicationsopenjournals/corr/abs-2309-0455110.48550/ARXIV.2309.04551https://doi.org/10.48550/arXiv.2309.04551https://dblp.org/rec/journals/corr/abs-2309-04551URL#527884Alex Buna-MargineanVincent ChevalMahsa ShirmohammadiJames Worrell 0001On Learning Polynomial Recursive Programs.CoRRabs/2310.147252023Informal and Other Publicationsopenjournals/corr/abs-2310-1472510.48550/ARXIV.2310.14725https://doi.org/10.48550/arXiv.2310.14725https://dblp.org/rec/journals/corr/abs-2310-14725URL#541615Roman LakenbrinkMarkus Müller-OlmChristoph OhremJens Oliver GutsfeldA Navigation Logic for Recursive Programs with Dynamic Thread Creation.CoRRabs/2310.195792023Informal and Other Publicationsopenjournals/corr/abs-2310-1957910.48550/ARXIV.2310.19579https://doi.org/10.48550/arXiv.2310.19579https://dblp.org/rec/journals/corr/abs-2310-19579URL#544003Mingsheng YingZhicheng ZhangQuantum Recursive Programming with Quantum Case Statements.CoRRabs/2311.017252023Informal and Other Publicationsopenjournals/corr/abs-2311-0172510.48550/ARXIV.2311.01725https://doi.org/10.48550/arXiv.2311.01725https://dblp.org/rec/journals/corr/abs-2311-01725URL#545315Haowei DengRunzhou TaoYuxiang PengXiaodi Wu 0001A Case for Synthesis of Recursive Quantum Unitary Programs.CoRRabs/2311.115032023Informal and Other Publicationsopenjournals/corr/abs-2311-1150310.48550/ARXIV.2311.11503https://doi.org/10.48550/arXiv.2311.11503https://dblp.org/rec/journals/corr/abs-2311-11503URL#550011Jiaxin GeSanjay SubramanianBaifeng ShiRoei HerzigTrevor DarrellRecursive Visual Programming.CoRRabs/2312.022492023Informal and Other Publicationsopenjournals/corr/abs-2312-0224910.48550/ARXIV.2312.02249https://doi.org/10.48550/arXiv.2312.02249https://dblp.org/rec/journals/corr/abs-2312-02249URL#554621Eshan ChattopadhyayJyun-Jie LiaoRecursive Error Reduction for Regular Branching Programs.Electron. Colloquium Comput. Complex.TR232023Informal and Other Publicationsopenjournals/eccc/ChattopadhyayL23https://eccc.weizmann.ac.il/report/2023/130https://dblp.org/rec/journals/eccc/ChattopadhyayL23URL#562141Sebastian KenterLock-sensitive reachability analysis for parallel recursive programs with dynamic creation of threads and locks: a graph-based approach.2022Books and Thesesclosedphd/dnb/Kenter22https://nbn-resolving.org/urn:nbn:de:hbz:6-21089543742https://dblp.org/rec/phd/dnb/Kenter22URL#566986Tao HanDanni AiYining WangYonglin BianRuirui AnJingfan FanHong SongHongzhi XieJian Yang 0009Recursive Centerline- and Direction-Aware Joint Learning Network with Ensemble Strategy for Vessel Segmentation in X-ray Angiography Images.Comput. Methods Programs Biomed.2201067872022Journal Articlesclosedjournals/cmpb/HanAWBAFSXY2210.1016/J.CMPB.2022.106787https://doi.org/10.1016/j.cmpb.2022.106787https://dblp.org/rec/journals/cmpb/HanAWBAFSXY22URL#605359Olivier DanvyFold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant.J. Funct. Program.32e132022Journal Articlesclosedjournals/jfp/Danvy2210.1017/S0956796822000107https://doi.org/10.1017/S0956796822000107https://dblp.org/rec/journals/jfp/Danvy22URL#670605Hari Govind V. K.Sharon ShohamArie GurfinkelSolving constrained Horn clauses modulo algebraic data types and recursive functions.Proc. ACM Program. Lang.6POPL1-292022Journal Articlesopenjournals/pacmpl/KSG2210.1145/3498722https://doi.org/10.1145/3498722https://dblp.org/rec/journals/pacmpl/KSG22URL#700462Anders MiltnerAdrian Trejo NuñezAna BrendelSwarat ChaudhuriIsil DilligBottom-up synthesis of recursive functional programs using angelic execution.Proc. ACM Program. Lang.6POPL1-292022Journal Articlesopenjournals/pacmpl/MiltnerNBCD2210.1145/3498682https://doi.org/10.1145/3498682https://dblp.org/rec/journals/pacmpl/MiltnerNBCD22URL#700512Norman RamseyBeyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl).Proc. ACM Program. Lang.6ICFP1-222022Journal Articlesopenjournals/pacmpl/Ramsey2210.1145/3547621https://doi.org/10.1145/3547621https://dblp.org/rec/journals/pacmpl/Ramsey22URL#700535Gennadi I. MalaschonokAlla A. SidkoSupercomputer Environment for Recursive Matrix Algorithms.Program. Comput. Softw.48290-1012022Journal Articlesclosedjournals/pcs/MalaschonokS2210.1134/S0361768822020086https://doi.org/10.1134/S0361768822020086https://dblp.org/rec/journals/pcs/MalaschonokS22URL#701614Daniel ArnströmAlberto BemporadDaniel AxehillA Dual Active-Set Solver for Embedded Quadratic Programming Using Recursive LDL${T}$ Updates.IEEE Trans. Autom. Control.6784362-43692022Journal Articlesclosedjournals/tac/ArnstromBA2210.1109/TAC.2022.3176430https://doi.org/10.1109/TAC.2022.3176430https://dblp.org/rec/journals/tac/ArnstromBA22URL#739733Jun MoonTamer BasarDynamic Programming and a Verification Theorem for the Recursive Stochastic Control Problem of Jump-Diffusion Models With Random Coefficients.IEEE Trans. Autom. Control.67126474-64882022Journal Articlesclosedjournals/tac/MoonB2210.1109/TAC.2021.3131097https://doi.org/10.1109/TAC.2021.3131097https://dblp.org/rec/journals/tac/MoonB22URL#740090Yaoda ZhouJinxu ZhaoBruno C. d. S. OliveiraRevisiting Iso-Recursive Subtyping.ACM Trans. Program. Lang. Syst.44424:1-24:542022Journal Articlesclosedjournals/toplas/ZhouZO2210.1145/3549537https://doi.org/10.1145/3549537https://dblp.org/rec/journals/toplas/ZhouZO22URL#768850JiuLun Fan 0001Xudong ZhaoWeihao LiMaximum Entropy Multi-threshold Recursive Algorithm for Circular Histograms Based on Dynamic Programming.AIPR816-8242022Conference and Workshop Papersclosedconf/aipr2/0001ZL2210.1145/3573942.3574100https://doi.org/10.1145/3573942.3574100https://dblp.org/rec/conf/aipr2/0001ZL22URL#787424Tobias WinklerChristina GehnenJoost-Pieter KatoenModel Checking Temporal Properties of Recursive Probabilistic Programs.FoSSaCS449-4692022Conference and Workshop Papersopenconf/fossacs/WinklerGK2210.1007/978-3-030-99253-8_23https://doi.org/10.1007/978-3-030-99253-8_23https://dblp.org/rec/conf/fossacs/WinklerGK22URL#834961Didier IshimweThanhVu NguyenKimHao NguyenDynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs.ICSE-Companion61-642022Conference and Workshop Papersclosedconf/icse/IshimweNN2210.1145/3510454.3516853https://doi.org/10.1145/3510454.3516853https://dblp.org/rec/conf/icse/IshimweNN22URL#872841Xiqin LuShixi ChenNobuo FunabikiMinoru KuribayashiKiyoshi UedaA Proposal of Phrase Fill-in-blank Problem for Learning Recursive Function in C Programming.LifeTech123-1242022Conference and Workshop Papersclosedconf/lifetech/LuCFKU2210.1109/LIFETECH53646.2022.9754593https://doi.org/10.1109/LifeTech53646.2022.9754593https://dblp.org/rec/conf/lifetech/LuCFKU22URL#902946Niccolò VeltriNiels F. W. VoorneveldStreams of Approximations, Equivalence of Recursive Effectful Programs.MPC198-2212022Conference and Workshop Papersclosedconf/mpc/VeltriV2210.1007/978-3-031-16912-0_8https://doi.org/10.1007/978-3-031-16912-0_8https://dblp.org/rec/conf/mpc/VeltriV22URL#912433Ryoya MukaiNaoki Kobayashi 0001Ryosuke Sato 0001Parameterized Recursive Refinement Types for Automated Program Verification.SAS397-4212022Conference and Workshop Papersclosedconf/sas/MukaiKS2210.1007/978-3-031-22308-2_18https://doi.org/10.1007/978-3-031-22308-2_18https://dblp.org/rec/conf/sas/MukaiKS22URL#928222Edsger W. DijkstraRecursive Programming.Edsger Wybe Dijkstra291-3002022Parts in Books or Collectionsclosedbooks/mc/22/Dijkstra22b10.1145/3544585.3544601https://doi.org/10.1145/3544585.3544601https://dblp.org/rec/books/mc/22/Dijkstra22bURL#951576Jens Oliver GutsfeldMarkus Müller-OlmChristoph OhremDeciding Asynchronous Hyperproperties for Recursive Programs.CoRRabs/2201.128592022Informal and Other Publicationsopenjournals/corr/abs-2201-12859https://arxiv.org/abs/2201.12859https://dblp.org/rec/journals/corr/abs-2201-12859URL#962373Yisu Remy WangMahmoud Abo KhamisHung Q. Ngo 0001Reinhard PichlerDan SuciuOptimizing Recursive Queries with Program Synthesis.CoRRabs/2202.103902022Informal and Other Publicationsopenjournals/corr/abs-2202-10390https://arxiv.org/abs/2202.10390https://dblp.org/rec/journals/corr/abs-2202-10390URL#967145Ares FisherRajesh P. N. RaoRecursive Neural Programs: Variational Learning of Image Grammars and Part-Whole Hierarchies.CoRRabs/2206.084622022Informal and Other Publicationsopenjournals/corr/abs-2206-0846210.48550/ARXIV.2206.08462https://doi.org/10.48550/arXiv.2206.08462https://dblp.org/rec/journals/corr/abs-2206-08462URL#994042Arvind U. RaghunathanCarlos CardonhaDavid BergmanCarlos J. NohraRecursive McCormick Linearization of Multilinear Programs.CoRRabs/2207.089552022Informal and Other Publicationsopenjournals/corr/abs-2207-0895510.48550/ARXIV.2207.08955https://doi.org/10.48550/arXiv.2207.08955https://dblp.org/rec/journals/corr/abs-2207-08955URL#1000989Keehang KwonEvolving Recursive Definitions with Applications to Dynamic Programming.CoRRabs/2207.121372022Informal and Other Publicationsopenjournals/corr/abs-2207-1213710.48550/ARXIV.2207.12137https://doi.org/10.48550/arXiv.2207.12137https://dblp.org/rec/journals/corr/abs-2207-12137URL#1002423Dániel HorpácsiPéter BereczkySimon J. ThompsonProgram Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions.CoRRabs/2208.142602022Informal and Other Publicationsopenjournals/corr/abs-2208-1426010.48550/ARXIV.2208.14260https://doi.org/10.48550/arXiv.2208.14260https://dblp.org/rec/journals/corr/abs-2208-14260URL#1009355David Chiang 0001Colin McDonaldChung-chieh ShanExact Recursive Probabilistic Programming.CoRRabs/2210.012062022Informal and Other Publicationsopenjournals/corr/abs-2210-0120610.48550/ARXIV.2210.01206https://doi.org/10.48550/arXiv.2210.01206https://dblp.org/rec/journals/corr/abs-2210-01206URL#1016813Nicolas ChappePaul HeLudovic HenrioYannick ZakowskiSteve ZdancewicChoice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq.CoRRabs/2211.068632022Informal and Other Publicationsopenjournals/corr/abs-2211-0686310.48550/ARXIV.2211.06863https://doi.org/10.48550/arXiv.2211.06863https://dblp.org/rec/journals/corr/abs-2211-06863URL#1027680Salwa KobeissiSpeculative Rewriting of Recursive Programs as Loop Candidates for Efficient Parallelization and Optimization Using an Inspector-Executor Mechanism. (Réécriture spéculative de programmes récursifs en boucles candidates à une parallélisation et une optimisation efficaces utilisant un mécanisme inspecteur-exécuteur).2021Books and Thesesclosedphd/hal/Kobeissi21https://tel.archives-ouvertes.fr/tel-03495816https://dblp.org/rec/phd/hal/Kobeissi21URL#1045690Akihiko YokoyamaSosuke MoriguchiTakuo WatanabeA Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types.J. Inf. Process.29685-7062021Journal Articlesopenjournals/jip/YokoyamaMW2110.2197/IPSJJIP.29.685https://doi.org/10.2197/ipsjjip.29.685https://dblp.org/rec/journals/jip/YokoyamaMW21URL#1147963Jürgen GerhardHow to use Fibonacci numbers to teach recursive programming.Maple Trans.112021Journal Articlesopenjournals/maple/Gerhard2110.5206/MT.V1I1.14038https://doi.org/10.5206/mt.v1i1.14038https://dblp.org/rec/journals/maple/Gerhard21URL#1160227Marco PatrignaniEric Mark MartinDominique DevrieseOn the semantic expressiveness of recursive types.Proc. ACM Program. Lang.5POPL1-292021Journal Articlesopenjournals/pacmpl/PatrignaniMD2110.1145/3434302https://doi.org/10.1145/3434302https://dblp.org/rec/journals/pacmpl/PatrignaniMD21URL#1173340Alban ReynaudGabriel SchererJeremy YallopA practical mode system for recursive definitions.Proc. ACM Program. Lang.5POPL1-292021Journal Articlesopenjournals/pacmpl/ReynaudSY2110.1145/3434326https://doi.org/10.1145/3434326https://dblp.org/rec/journals/pacmpl/ReynaudSY21URL#1173351Stephen KellyRobert J. Smith 0002Malcolm I. HeywoodWolfgang BanzhafEmergent Tangled Program Graphs in Partially Observable Recursive Forecasting and ViZDoom Navigation Tasks.ACM Trans. Evol. Learn. Optim.1311:1-11:412021Journal Articlesclosedjournals/telo/KellySHB2110.1145/3468857https://doi.org/10.1145/3468857https://dblp.org/rec/journals/telo/KellySHB21URL#1219139Benjamin PaaßenJessica McBroomBryn JeffriesIrena KoprinskaKalina Yacefast2vec: Utilizing Recursive Neural Encodings of Python Programs.EDM2021Conference and Workshop Papersunavailableconf/edm/PaassenMJKY21https://dblp.org/rec/conf/edm/PaassenMJKY21URL#1289826Poornima NookalaZafar AhmadMohammad Mahdi JavanmardMartin KongRezaul ChowdhuryRobert J. HarrisonUnderstanding Recursive Divide-and-Conquer Dynamic Programs in Fork-Join and Data-Flow Execution Models.IPDPS Workshops407-4162021Conference and Workshop Papersclosedconf/ipps/NookalaAJKCH2110.1109/IPDPSW52791.2021.00069https://doi.org/10.1109/IPDPSW52791.2021.00069https://dblp.org/rec/conf/ipps/NookalaAJKCH21URL#1355046Arooba AqeelNorman PeitekSven ApelJonas MuckeJanet SiegmundUnderstanding Comprehension of Iterative and Recursive Programs with Remote Eye Tracking.PPIG2021Conference and Workshop Papersopenconf/ppig/AqeelPAMS21https://ppig.org/papers/2021-ppig-32nd-aqeel/https://dblp.org/rec/conf/ppig/AqeelPAMS21URL#1388905Benjamin PaaßenJessica McBroomBryn JeffriesIrena KoprinskaKalina Yacefast2vec: Utilizing Recursive Neural Encodings of Python Programs.CoRRabs/2103.116142021Informal and Other Publicationsopenjournals/corr/abs-2103-11614https://arxiv.org/abs/2103.11614https://dblp.org/rec/journals/corr/abs-2103-11614URL#1436615Anders MiltnerAdrian Trejo NuñezAna BrendelSwarat ChaudhuriIsil DilligBottom-up Synthesis of Recursive Functional Programs using Angelic Execution.CoRRabs/2107.062532021Informal and Other Publicationsopenjournals/corr/abs-2107-06253https://arxiv.org/abs/2107.06253https://dblp.org/rec/journals/corr/abs-2107-06253URL#1462416Zhaowei XuMingsheng YingBenoît ValironReasoning about Recursive Quantum Programs.CoRRabs/2107.116792021Informal and Other Publicationsopenjournals/corr/abs-2107-11679https://arxiv.org/abs/2107.11679https://dblp.org/rec/journals/corr/abs-2107-11679URL#1464551Tobias WinklerChristina GehnenJoost-Pieter KatoenModel Checking Temporal Properties of Recursive Probabilistic Programs.CoRRabs/2111.035012021Informal and Other Publicationsopenjournals/corr/abs-2111-03501https://arxiv.org/abs/2111.03501https://dblp.org/rec/journals/corr/abs-2111-03501URL#1486691Research on Network Layer Recursive Reduction Model Compression for Image Recognition.Sci. Program.20214054435:1-4054435:112021Withdrawn Itemswithdrawnjournals/sp/LingZTZ2110.1155/2021/4054435https://doi.org/10.1155/2021/4054435https://dblp.org/rec/journals/sp/LingZTZ21URL#1502090Wei LiaoXiaohui WeiJizhou LaiHao SunRecursive State-Value Function: A Method to Reduce the Complexity of Online Computation of Dynamic Programming.IEEE Access861124-611302020Journal Articlesopenjournals/access/LiaoWLS2010.1109/ACCESS.2020.2978254https://doi.org/10.1109/ACCESS.2020.2978254https://dblp.org/rec/journals/access/LiaoWLS20URL#1516792Naoki Kobayashi 0001Ugo Dal LagoCharles GrelloisOn the Termination Problem for Probabilistic Higher-Order Recursive Programs.Log. Methods Comput. Sci.1642020Journal Articlesopenjournals/lmcs/KobayashiLG20https://lmcs.episciences.org/6817https://dblp.org/rec/journals/lmcs/KobayashiLG20URL#1615232Jenna WiseJohannes Bader 0001Cameron WongJonathan AldrichÉric TanterJoshua SunshineGradual verification of recursive heap data structures.Proc. ACM Program. Lang.4OOPSLA228:1-228:282020Journal Articlesopenjournals/pacmpl/WiseBWATS2010.1145/3428296https://doi.org/10.1145/3428296https://dblp.org/rec/journals/pacmpl/WiseBWATS20URL#1627674Li-yao XiaYannick ZakowskiPaul HeChung-Kil HurGregory MalechaBenjamin C. PierceSteve ZdancewicInteraction trees: representing recursive and impure programs in Coq.Proc. ACM Program. Lang.4POPL51:1-51:322020Journal Articlesopenjournals/pacmpl/XiaZHHMPZ2010.1145/3371119https://doi.org/10.1145/3371119https://dblp.org/rec/journals/pacmpl/XiaZHHMPZ20URL#1627676Yaoda ZhouBruno C. d. S. OliveiraJinxu ZhaoRevisiting iso-recursive subtyping.Proc. ACM Program. Lang.4OOPSLA223:1-223:282020Journal Articlesopenjournals/pacmpl/ZhouOZ2010.1145/3428291https://doi.org/10.1145/3428291https://dblp.org/rec/journals/pacmpl/ZhouOZ20URL#1627684Arooba AqeelNorman PeitekJanet SiegmundUnderstanding comprehension of iterative and recursive programs with eye tracking.Softwaretechnik-Trends40225-272020Journal Articlesopenjournals/stt/AqeelPS20https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band_40_Heft_2/WSRE2020_11_Aqeel.pdfhttps://dblp.org/rec/journals/stt/AqeelPS20URL#1656430Ahmad Salim Al-SibahiThomas P. JensenRasmus Ejlers MøgelbergAndrzej WasowskiGalois Connections for Recursive Types.From Lambda Calculus to Cybersecurity Through Program Analysis105-1312020Conference and Workshop Papersclosedconf/birthday/Al-SibahiJMW1510.1007/978-3-030-41103-9_4https://doi.org/10.1007/978-3-030-41103-9_4https://dblp.org/rec/conf/birthday/Al-SibahiJMW15URL#1707475Mohammad Mahdi JavanmardZafar AhmadMartin KongLouis-Noël PouchetRezaul ChowdhuryRobert J. HarrisonDeriving parametric multi-way recursive divide-and-conquer dynamic programming algorithms using polyhedral compilers.CGO317-3292020Conference and Workshop Papersclosedconf/cgo/JavanmardAKPCH2010.1145/3368826.3377916https://doi.org/10.1145/3368826.3377916https://dblp.org/rec/conf/cgo/JavanmardAKPCH20URL#1713282Krishnendu ChatterjeeHongfei Fu 0001Amir Kafshdar GoharshadyEhsan Kafshdar GoharshadyPolynomial invariant generation for non-deterministic recursive programs.PLDI672-6872020Conference and Workshop Papersclosedconf/pldi/Chatterjee0GG2010.1145/3385412.3385969https://doi.org/10.1145/3385412.3385969https://dblp.org/rec/conf/pldi/Chatterjee0GG20URL#1830271Ricardo PeñaJaime Sánchez-HernándezWhite-Box Path Generation in Recursive Programs.TFP121-1352020Conference and Workshop Papersclosedconf/sfp/PenaS2010.1007/978-3-030-57761-2_6https://doi.org/10.1007/978-3-030-57761-2_6https://dblp.org/rec/conf/sfp/PenaS20URL#1837859David Chiang 0001Chung-chieh ShanTranslating Recursive Probabilistic Programs to Factor Graph Grammars.CoRRabs/2010.120712020Informal and Other Publicationsopenjournals/corr/abs-2010-12071https://arxiv.org/abs/2010.12071https://dblp.org/rec/journals/corr/abs-2010-12071URL#1919831Saptarshi ChatterjeeDebangshu DeySugata MunshiIntegration of morphological preprocessing and fractal based feature extraction with recursive feature elimination for skin lesion types classification.Comput. Methods Programs Biomed.178201-2182019Journal Articlesclosedjournals/cmpb/ChatterjeeDM1910.1016/J.CMPB.2019.06.018https://doi.org/10.1016/j.cmpb.2019.06.018https://dblp.org/rec/journals/cmpb/ChatterjeeDM19URL#1979565Jerry SwanKrzysztof KrawiecZoltan A. KocsisStochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire.Genet. Program. Evolvable Mach.203327-3502019Journal Articlesopenjournals/gpem/SwanKK1910.1007/S10710-019-09347-3https://doi.org/10.1007/s10710-019-09347-3https://dblp.org/rec/journals/gpem/SwanKK19URL#1999229Jian-Hong WangCombining recursive projection and dynamic programming technique in multi UAVs formation anomaly detection.Int. J. Model. Identif. Control.31153-612019Journal Articlesclosedjournals/ijmic/Wang1910.1504/IJMIC.2019.096837https://doi.org/10.1504/IJMIC.2019.096837https://dblp.org/rec/journals/ijmic/Wang19URL#2012519Bert LindenhoviusMichael W. MisloveVladimir ZamdzhievMixed linear and non-linear recursive types.Proc. ACM Program. Lang.3ICFP111:1-111:292019Journal Articlesopenjournals/pacmpl/LindenhoviusMZ1910.1145/3341715https://doi.org/10.1145/3341715https://dblp.org/rec/journals/pacmpl/LindenhoviusMZ19URL#2055230Rasmus Ejlers MøgelbergNiccolò VeltriBisimulation as path type for guarded recursive types.Proc. ACM Program. Lang.3POPL4:1-4:292019Journal Articlesopenjournals/pacmpl/MogelbergV1910.1145/3290317https://doi.org/10.1145/3290317https://dblp.org/rec/journals/pacmpl/MogelbergV19URL#2055245Rodrigo C. O. RochaLuís F. W. GóesFernando Magno Quintão PereiraAutomatic parallelization of recursive functions with rewriting rules.Sci. Comput. Program.173128-1522019Journal Articlesclosedjournals/scp/RochaGP1910.1016/J.SCICO.2018.01.004https://doi.org/10.1016/j.scico.2018.01.004https://dblp.org/rec/journals/scp/RochaGP19URL#2066250Mohammad FeliFardin Abdali MohammadiA novel recursive backtracking genetic programming-based algorithm for 12-lead ECG compression.Signal Image Video Process.1351029-10362019Journal Articlesclosedjournals/sivp/FeliM1910.1007/S11760-019-01441-4https://doi.org/10.1007/s11760-019-01441-4https://dblp.org/rec/journals/sivp/FeliM19URL#2074647Naoki Kobayashi 0001Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable.Theor. Comput. Sci.777409-4162019Journal Articlesclosedjournals/tcs/Kobayashi1910.1016/J.TCS.2018.09.035https://doi.org/10.1016/j.tcs.2018.09.035https://dblp.org/rec/journals/tcs/Kobayashi19URL#2085819Bin RenShruthi BalakrishnaYoungjoon JoSriram KrishnamoorthyKunal AgrawalMilind Kulkarni 0001Extracting SIMD Parallelism from Recursive Task-Parallel Programs.ACM Trans. Parallel Comput.6424:1-24:372019Journal Articlesclosedjournals/topc/RenBJKA01910.1145/3365663https://doi.org/10.1145/3365663https://dblp.org/rec/journals/topc/RenBJKA019URL#2096836Krishnendu ChatterjeeHongfei Fu 0001Amir Kafshdar GoharshadyNon-polynomial Worst-Case Analysis of Recursive Programs.ACM Trans. Program. Lang. Syst.41420:1-20:522019Journal Articlesclosedjournals/toplas/ChatterjeeFG1910.1145/3339984https://doi.org/10.1145/3339984https://dblp.org/rec/journals/toplas/ChatterjeeFG19URL#2096911Ariyam DasCarlo ZanioloA Case for Stale Synchronous Distributed Model for Declarative Recursive Computation.Theory Pract. Log. Program.195-61056-10722019Journal Articlesclosedjournals/tplp/DasZ1910.1017/S1471068419000358https://doi.org/10.1017/S1471068419000358https://dblp.org/rec/journals/tplp/DasZ19URL#2097348Nikolay V. Shilov 0002Danila DankoTeaching Efficient Recursive Programming and Recursion Elimination Using Olympiads and Contests Problems.FISEE246-2642019Conference and Workshop Papersclosedconf/fisee/ShilovD1910.1007/978-3-030-57663-9_16https://doi.org/10.1007/978-3-030-57663-9_16https://dblp.org/rec/conf/fisee/ShilovD19URL#2165618Yasushi KambayashiKatsuki TsukadaMunehiro TakimotoProviding Recursive Functions to the Tangible Programming Environment for Smartphones.HCI255-2602019Conference and Workshop Papersclosedconf/hci/KambayashiTT1910.1007/978-3-030-23525-3_33https://doi.org/10.1007/978-3-030-23525-3_33https://dblp.org/rec/conf/hci/KambayashiTT19URL#2172503Liat PeterfreundBalder ten CateRonald FaginBenny KimelfeldRecursive Programs for Document Spanners.ICDT13:1-13:182019Conference and Workshop Papersopenconf/icdt/PeterfreundCFK1910.4230/LIPICS.ICDT.2019.13https://doi.org/10.4230/LIPIcs.ICDT.2019.13https://dblp.org/rec/conf/icdt/PeterfreundCFK19URL#2192636Naoki Kobayashi 0001Ugo Dal LagoCharles GrelloisOn the Termination Problem for Probabilistic Higher-Order Recursive Programs.LICS1-142019Conference and Workshop Papersclosedconf/lics/KobayashiLG1910.1109/LICS.2019.8785679https://doi.org/10.1109/LICS.2019.8785679https://dblp.org/rec/conf/lics/KobayashiLG19URL#2242241Thomas PierrotGuillaume LignerScott E. ReedOlivier SigaudNicolas Perrin 0001Alexandre LaterreDavid KasKarim BeguirNando de FreitasLearning Compositional Neural Programs with Recursive Tree Search and Planning.NeurIPS14646-146562019Conference and Workshop Papersopenconf/nips/PierrotLRS0LKBF19https://proceedings.neurips.cc/paper/2019/hash/95b431e51fc53692913da5263c214162-Abstract.htmlhttps://dblp.org/rec/conf/nips/PierrotLRS0LKBF19URL#2254832Krishnendu ChatterjeeHongfei Fu 0001Amir Kafshdar GoharshadyEhsan Kafshdar GoharshadyPolynomial Invariant Generation for Non-deterministic Recursive Programs.CoRRabs/1902.043732019Informal and Other Publicationsopenjournals/corr/abs-1902-04373http://arxiv.org/abs/1902.04373https://dblp.org/rec/journals/corr/abs-1902-04373URL#2303687Thomas PierrotGuillaume LignerScott E. ReedOlivier SigaudNicolas Perrin 0001Alexandre LaterreDavid KasKarim BeguirNando de FreitasLearning Compositional Neural Programs with Recursive Tree Search and Planning.CoRRabs/1905.129412019Informal and Other Publicationsopenjournals/corr/abs-1905-12941http://arxiv.org/abs/1905.12941https://dblp.org/rec/journals/corr/abs-1905-12941URL#2318956Li-yao XiaYannick ZakowskiPaul HeChung-Kil HurGregory MalechaBenjamin C. PierceSteve ZdancewicInteraction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress).CoRRabs/1906.000462019Informal and Other Publicationsopenjournals/corr/abs-1906-00046http://arxiv.org/abs/1906.00046https://dblp.org/rec/journals/corr/abs-1906-00046URL#2319320Adrien PommelletTayssir TouiliStatic Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous.CoRRabs/1907.028342019Informal and Other Publicationsopenjournals/corr/abs-1907-02834http://arxiv.org/abs/1907.02834https://dblp.org/rec/journals/corr/abs-1907-02834URL#2325145Anush TserunyanFinite Generators for Countable Group Actions; Finite Index Pairs of Equivalence Relations; Complexity Measures for Recursive Programs.Bull. Symb. Log.244457-4582018Journal Articlesclosedjournals/bsl/Tserunyan1810.1017/BSL.2018.40https://doi.org/10.1017/bsl.2018.40https://dblp.org/rec/journals/bsl/Tserunyan18URL#2379769Benedikt BolligManuela-Lidia GrindeiPeter HabermehlRealizability of concurrent recursive programs.Formal Methods Syst. Des.533339-3622018Journal Articlesclosedjournals/fmsd/BolligGH1810.1007/S10703-017-0282-Yhttps://doi.org/10.1007/s10703-017-0282-yhttps://dblp.org/rec/journals/fmsd/BolligGH18URL#2405392Gaetano BloiseYiannis VailakisConvex dynamic programming with (bounded) recursive utility.J. Econ. Theory173118-1412018Journal Articlesclosedjournals/jet/BloiseV1810.1016/J.JET.2017.10.008https://doi.org/10.1016/j.jet.2017.10.008https://dblp.org/rec/journals/jet/BloiseV18URL#2436515Matthew HagueAnthony W. LinDecidable models of integer-manipulating programs with recursive parallelism.Theor. Comput. Sci.75024-372018Journal Articlesclosedjournals/tcs/HagueL1810.1016/J.TCS.2018.04.050https://doi.org/10.1016/j.tcs.2018.04.050https://dblp.org/rec/journals/tcs/HagueL18URL#2486416Vishnu VijayaraghavanKiavash KianfarYu Ding 0005Hamid ParsaeiA Mixed Integer Programming Based Recursive Variance Reduction Method for Reliability Evaluation of Linear Sensor Systems.CASE836-8422018Conference and Workshop Papersclosedconf/case/VijayaraghavanK1810.1109/COASE.2018.8560604https://doi.org/10.1109/COASE.2018.8560604https://dblp.org/rec/conf/case/VijayaraghavanK18URL#2526955Victor Cacciari MiraldoAlejandro Serrano 0001Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming.TyDe@ICFP65-772018Conference and Workshop Papersclosedconf/icfp/MiraldoS1810.1145/3240719.3241786https://doi.org/10.1145/3240719.3241786https://dblp.org/rec/conf/icfp/MiraldoS18URL#2585939Gerard O'LearyMohammad Reza PazhouhandehMichael Chang 0002David M. GroppeTaufik A. ValianteNaveen VermaRoman GenovA recursive-memory brain-state classifier with 32-channel track-and-zoom Δ2 Σ ADCs and Charge-Balanced Programmable Waveform Neurostimulators.ISSCC296-2982018Conference and Workshop Papersclosedconf/isscc/OLearyPCGVVG1810.1109/ISSCC.2018.8310301https://doi.org/10.1109/ISSCC.2018.8310301https://dblp.org/rec/conf/isscc/OLearyPCGVVG18URL#2623292Barry JayRecursive programs in normal form (short paper).PEPM67-732018Conference and Workshop Papersclosedconf/pepm/Jay1810.1145/3162067https://doi.org/10.1145/3162067https://dblp.org/rec/conf/pepm/Jay18URL#2646916Naoki Kobayashi 0001Ugo Dal LagoCharles GrelloisOn the Termination Problem for Probabilistic Higher-Order Recursive Programs.CoRRabs/1811.021332018Informal and Other Publicationsopenjournals/corr/abs-1811-02133http://arxiv.org/abs/1811.02133https://dblp.org/rec/journals/corr/abs-1811-02133URL#2722496A Logic for Recursive Quantum Programs.CoRRabs/1812.003492018Withdrawn Itemswithdrawnjournals/corr/abs-1812-00349http://arxiv.org/abs/1812.00349https://dblp.org/rec/journals/corr/abs-1812-00349URL#2731734Laith SakkaKirshanthan SundararajahMilind Kulkarni 0001TreeFuser: a framework for analyzing and fusing general recursive tree traversals.Proc. ACM Program. Lang.1OOPSLA76:1-76:302017Journal Articlesopenjournals/pacmpl/SakkaS01710.1145/3133900https://doi.org/10.1145/3133900https://dblp.org/rec/journals/pacmpl/SakkaS017URL#2825378Jonas WestmanMattias NybergJoakim GustavssonDilian GurovFormal architecture modeling of sequential non-recursive C programs.Sci. Comput. Program.1462-272017Journal Articlesclosedjournals/scp/WestmanNGG1710.1016/J.SCICO.2017.03.007https://doi.org/10.1016/j.scico.2017.03.007https://dblp.org/rec/journals/scp/WestmanNGG17URL#2833927Rezaul ChowdhuryPramod GanapathiStephen L. TschudiJesmin Jahan TithiCharles BachmeierCharles E. LeisersonArmando Solar-LezamaBradley C. KuszmaulYuan TangAutogen: Automatic Discovery of Efficient Recursive Divide-8-Conquer Algorithms for Solving Dynamic Programming Problems.ACM Trans. Parallel Comput.414:1-4:302017Journal Articlesclosedjournals/topc/ChowdhuryGTTBLS1710.1145/3125632https://doi.org/10.1145/3125632https://dblp.org/rec/journals/topc/ChowdhuryGTTBLS17URL#2857227Jay LigattiJeremy BlackburnMichael NachtigalOn Subtyping-Relation Completeness, with an Application to Iso-Recursive Types.ACM Trans. Program. Lang. Syst.3914:1-4:362017Journal Articlesclosedjournals/toplas/LigattiBN1710.1145/2994596https://doi.org/10.1145/2994596https://dblp.org/rec/journals/toplas/LigattiBN17URL#2857308Carlo ZanioloMohan YangAriyam DasAlexander ShkapskyTyson CondieMatteo InterlandiFixpoint semantics and optimization of recursive Datalog programs with aggregates.Theory Pract. Log. Program.175-61048-10652017Journal Articlesclosedjournals/tplp/ZanioloYDSCI1710.1017/S1471068417000436https://doi.org/10.1017/S1471068417000436https://dblp.org/rec/journals/tplp/ZanioloYDSCI17URL#2857806Adrien PommelletTayssir TouiliStatic Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous.APLAS235-2542017Conference and Workshop Papersclosedconf/aplas/PommelletT1710.1007/978-3-319-71237-6_12https://doi.org/10.1007/978-3-319-71237-6_12https://dblp.org/rec/conf/aplas/PommelletT17URL#2876593Krishnendu ChatterjeeHongfei Fu 0001Amir Kafshdar GoharshadyNon-polynomial Worst-Case Analysis of Recursive Programs.CAV41-632017Conference and Workshop Papersclosedconf/cav/ChatterjeeFG1710.1007/978-3-319-63390-9_3https://doi.org/10.1007/978-3-319-63390-9_3https://dblp.org/rec/conf/cav/ChatterjeeFG17URL#2886701Tessa PhillipsMengjie Zhang 0001Bing Xue 0001Genetic programming for solving common and domain-independent generic recursive problems.CEC1279-12862017Conference and Workshop Papersclosedconf/cec/PhillipsZX1710.1109/CEC.2017.7969452https://doi.org/10.1109/CEC.2017.7969452https://dblp.org/rec/conf/cec/PhillipsZX17URL#2890495Alberto MoraglioKrzysztof KrawiecGeometric semantic genetic programming for recursive boolean programs.GECCO993-10002017Conference and Workshop Papersclosedconf/gecco/MoraglioK1710.1145/3071178.3071266https://doi.org/10.1145/3071178.3071266https://dblp.org/rec/conf/gecco/MoraglioK17URL#2921280Adam D. BarwellKevin HammondIn search of a map: using program slicing to discover potential parallelism in recursive functions.FHPC@ICFP30-412017Conference and Workshop Papersclosedconf/icfp/BarwellH1710.1145/3122948.3122951https://doi.org/10.1145/3122948.3122951https://dblp.org/rec/conf/icfp/BarwellH17URL#2943008Suyash GuptaRahul ShrivastavaV. Krishna NandivadaOptimizing recursive task parallel programs.ICS11:1-11:112017Conference and Workshop Papersclosedconf/ics/GuptaSN1710.1145/3079079.3079102https://doi.org/10.1145/3079079.3079102https://dblp.org/rec/conf/ics/GuptaSN17URL#2952950Jonathan LifflanderSriram KrishnamoorthyCache locality optimization for recursive programs.PLDI1-162017Conference and Workshop Papersclosedconf/pldi/LifflanderK1710.1145/3062341.3062385https://doi.org/10.1145/3062341.3062385https://dblp.org/rec/conf/pldi/LifflanderK17URL#3002250Bin RenSriram KrishnamoorthyKunal AgrawalMilind Kulkarni 0001Exploiting Vector and Multicore Parallelism for Recursive, Data- and Task-Parallel Programs.PPoPP117-1302017Conference and Workshop Papersclosedconf/ppopp/RenKAK1710.1145/3018743.3018763https://doi.org/10.1145/3018743.3018763https://dblp.org/rec/conf/ppopp/RenKAK17URL#3002646Jacob I. TorreyMark P. BridgmanTomasz TuzelResearch Report: Hardware-Enforcement of Walther-Recursive Program Functions.IEEE Symposium on Security and Privacy Workshops127-1312017Conference and Workshop Papersclosedconf/sp/TorreyBT1710.1109/SPW.2017.30https://doi.org/10.1109/SPW.2017.30https://dblp.org/rec/conf/sp/TorreyBT17URL#3017575Krishnendu ChatterjeeHongfei Fu 0001Termination of Nondeterministic Recursive Probabilistic Programs.CoRRabs/1701.029442017Informal and Other Publicationsopenjournals/corr/ChatterjeeF17http://arxiv.org/abs/1701.02944https://dblp.org/rec/journals/corr/ChatterjeeF17URL#3042547Krishnendu ChatterjeeHongfei Fu 0001Amir Kafshdar GoharshadyNon-polynomial Worst-Case Analysis of Recursive Programs.CoRRabs/1705.003172017Informal and Other Publicationsopenjournals/corr/ChatterjeeFG17http://arxiv.org/abs/1705.00317https://dblp.org/rec/journals/corr/ChatterjeeFG17URL#3042548Roland Meyer 0001Sebastian MuskallaElisabeth NeumannLiveness Verification and Synthesis: New Algorithms for Recursive Programs.CoRRabs/1701.029472017Informal and Other Publicationsopenjournals/corr/MeyerMN17http://arxiv.org/abs/1701.02947https://dblp.org/rec/journals/corr/MeyerMN17URL#3049989Carlo ZanioloMohan YangMatteo InterlandiAriyam DasAlexander ShkapskyTyson CondieFixpoint Semantics and Optimization of Recursive Datalog Programs with Aggregates.CoRRabs/1707.056812017Informal and Other Publicationsopenjournals/corr/ZanioloYIDSC17http://arxiv.org/abs/1707.05681https://dblp.org/rec/journals/corr/ZanioloYIDSC17URL#3055949Liat PeterfreundBalder ten CateRonald FaginBenny KimelfeldRecursive Programs for Document Spanners.CoRRabs/1712.081982017Informal and Other Publicationsopenjournals/corr/abs-1712-08198http://arxiv.org/abs/1712.08198https://dblp.org/rec/journals/corr/abs-1712-08198URL#3069328Nils Erik FlickProving correctness of graph programs relative to recursively nested conditions.2016Books and Thesesclosedphd/dnb/Flick16http://oops.uni-oldenburg.de/2895https://dblp.org/rec/phd/dnb/Flick16URL#3074415Chun ShanZequn YuChangzhen HuJingfeng XueLuxia WuOptimization of program recursive function calls analysis method.Autom. Control. Comput. Sci.504253-2592016Journal Articlesclosedjournals/accs/ShanYHXW1610.3103/S0146411616040064https://doi.org/10.3103/S0146411616040064https://dblp.org/rec/journals/accs/ShanYHXW16URL#3080558Anvesh KomuravelliArie GurfinkelSagar ChakiSMT-based model checking for recursive programs.Formal Methods Syst. Des.483175-2052016Journal Articlesclosedjournals/fmsd/KomuravelliGC1610.1007/S10703-016-0249-4https://doi.org/10.1007/s10703-016-0249-4https://dblp.org/rec/journals/fmsd/KomuravelliGC16URL#3110702Mario AlvianoEvaluating Answer Set Programming with Non-Convex Recursive Aggregates.Fundam. Informaticae1491-21-342016Journal Articlesclosedjournals/fuin/Alviano1610.3233/FI-2016-1441https://doi.org/10.3233/FI-2016-1441https://dblp.org/rec/journals/fuin/Alviano16URL#3111149Teresa AlsinetRamón BéjarLluís GodoFrancesc GuitartFormalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming.J. Exp. Theor. Artif. Intell.281-2275-2942016Journal Articlesclosedjournals/jetai/AlsinetBGG1610.1080/0952813X.2015.1024490https://doi.org/10.1080/0952813X.2015.1024490https://dblp.org/rec/journals/jetai/AlsinetBGG16URL#3139183Tessa PhillipsMengjie Zhang 0001Bing Xue 0001Genetic programming for evolving programs with recursive structures.CEC5044-50512016Conference and Workshop Papersclosedconf/cec/PhillipsZX1610.1109/CEC.2016.7748329https://doi.org/10.1109/CEC.2016.7748329https://dblp.org/rec/conf/cec/PhillipsZX16URL#3218736Nikolaos PapakonstantinouFoivos S. ZakkakPolyvios PratikakisHierarchical Parallel Dynamic Dependence Analysis for Recursively Task-Parallel Programs.IPDPS933-9422016Conference and Workshop Papersclosedconf/ipps/Papakonstantinou1610.1109/IPDPS.2016.53https://doi.org/10.1109/IPDPS.2016.53https://dblp.org/rec/conf/ipps/Papakonstantinou16URL#3293719Zheng ChengDominique MéryRosemary MonahanOn Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin.ISoLA821-8382016Conference and Workshop Papersclosedconf/isola/ChengMM1610.1007/978-3-319-47166-2_57https://doi.org/10.1007/978-3-319-47166-2_57https://dblp.org/rec/conf/isola/ChengMM16URL#3300422Federico OlmedoBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaReasoning about Recursive Probabilistic Programs.LICS672-6812016Conference and Workshop Papersclosedconf/lics/OlmedoKKM1610.1145/2933575.2935317https://doi.org/10.1145/2933575.2935317https://dblp.org/rec/conf/lics/OlmedoKKM16URL#3308034Manfred Schmidt-SchaußDavid SabelUnification of program expressions with recursive bindings.PPDP160-1732016Conference and Workshop Papersclosedconf/ppdp/Schmidt-Schauss1610.1145/2967973.2968603https://doi.org/10.1145/2967973.2968603https://dblp.org/rec/conf/ppdp/Schmidt-Schauss16URL#3325169Rezaul Alam ChowdhuryPramod GanapathiJesmin Jahan TithiCharles BachmeierBradley C. KuszmaulCharles E. LeisersonArmando Solar-LezamaYuan TangAUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic programs.PPoPP10:1-10:122016Conference and Workshop Papersclosedconf/ppopp/ChowdhuryGTBKLS1610.1145/2851141.2851167https://doi.org/10.1145/2851141.2851167https://dblp.org/rec/conf/ppopp/ChowdhuryGTBKLS16URL#3325222Matthew HagueAnthony Widjaja LinDecidable Models of Integer-Manipulating Programs with Recursive Parallelism.RP148-1622016Conference and Workshop Papersclosedconf/rp/HagueL1610.1007/978-3-319-45994-3_11https://doi.org/10.1007/978-3-319-45994-3_11https://dblp.org/rec/conf/rp/HagueL16URL#3328701Matthew HagueAnthony Widjaja LinDecidable models of integer-manipulating programs with recursive parallelism (technical report).CoRRabs/1605.068682016Informal and Other Publicationsopenjournals/corr/HagueL16http://arxiv.org/abs/1605.06868https://dblp.org/rec/journals/corr/HagueL16URL#3370513Federico OlmedoBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaReasoning about Recursive Probabilistic Programs.CoRRabs/1603.029222016Informal and Other Publicationsopenjournals/corr/OlmedoKKM16http://arxiv.org/abs/1603.02922https://dblp.org/rec/journals/corr/OlmedoKKM16URL#3377393Marta KolasaTomasz TalaskaRafal DlugoszA novel recursive algorithm used to model hardware programmable neighborhood mechanism of self-organizing neural networks.Appl. Math. Comput.267314-3282015Journal Articlesclosedjournals/amc/KolasaTD1510.1016/J.AMC.2015.03.068https://doi.org/10.1016/j.amc.2015.03.068https://dblp.org/rec/journals/amc/KolasaTD15URL#3398188Xuanping LiXue Wang 0001Yixiang DaiPengbo ZhangSupervised recursive segmentation of volumetric CT images for 3D reconstruction of lung and vessel tree.Comput. Methods Programs Biomed.1223316-3292015Journal Articlesclosedjournals/cmpb/LiWDZ1510.1016/J.CMPB.2015.08.014https://doi.org/10.1016/j.cmpb.2015.08.014https://dblp.org/rec/journals/cmpb/LiWDZ15URL#3411709Renée McCauleyScott GrissomSue FitzgeraldLaurie MurphyTeaching and learning recursive programming: a review of the research literature.Comput. Sci. Educ.25137-662015Journal Articlesclosedjournals/csedu/McCauleyGFM1510.1080/08993408.2015.1033205https://doi.org/10.1080/08993408.2015.1033205https://dblp.org/rec/journals/csedu/McCauleyGFM15URL#3415767Nils Erik FlickProving Correctness of Graph Programs Relative to Recursively Nested Conditions.Electron. Commun. Eur. Assoc. Softw. Sci. Technol.732015Journal Articlesopenjournals/eceasst/Flick1510.14279/TUJ.ECEASST.73.1037https://doi.org/10.14279/tuj.eceasst.73.1037https://dblp.org/rec/journals/eceasst/Flick15URL#3419473Irina Mariuca AsavoaeFrank S. de BoerMarcello M. BonsangueDorel LucanuJurriaan RotModel checking recursive programs interacting via the heap.Sci. Comput. Program.10061-832015Journal Articlesopenjournals/scp/AsavoaeBBLR1510.1016/J.SCICO.2014.09.009https://doi.org/10.1016/j.scico.2014.09.009https://dblp.org/rec/journals/scp/AsavoaeBBLR15URL#3477490Manuel MontenegroRicardo PeñaClara SeguraSpace consumption analysis by abstract interpretation: Inference of recursive functions.Sci. Comput. Program.111426-4572015Journal Articlesopenjournals/scp/MontenegroPS15a10.1016/J.SCICO.2014.04.006https://doi.org/10.1016/j.scico.2014.04.006https://dblp.org/rec/journals/scp/MontenegroPS15aURL#3477618Armando B. MatosThe efficiency of primitive recursive functions: A programmer's view.Theor. Comput. Sci.59465-812015Journal Articlesopenjournals/tcs/Matos1510.1016/J.TCS.2015.04.022https://doi.org/10.1016/j.tcs.2015.04.022https://dblp.org/rec/journals/tcs/Matos15URL#3489778Mario AlvianoWolfgang Faber 0001Martin GebserRewriting recursive aggregates in answer set programming: back to monotonicity.Theory Pract. Log. Program.154-5559-5732015Journal Articlesclosedjournals/tplp/AlvianoFG1510.1017/S1471068415000228https://doi.org/10.1017/S1471068415000228https://dblp.org/rec/journals/tplp/AlvianoFG15URL#3498095Arthur FranzToward Tractable Universal Induction Through Recursive Program Learning.AGI251-2602015Conference and Workshop Papersclosedconf/agi/Franz1510.1007/978-3-319-21365-1_26https://doi.org/10.1007/978-3-319-21365-1_26https://dblp.org/rec/conf/agi/Franz15URL#3509939Mario AlvianoEvaluating Answer Set Programming with Non-Convex Recursive Aggregates.RCRA@AI*IA1-152015Conference and Workshop Papersopenconf/aiia/Alviano15https://ceur-ws.org/Vol-1451/paper1.pdfhttps://dblp.org/rec/conf/aiia/Alviano15URL#3510515Biao YinMahjoub DridiAbdellah El MoudniApproximate dynamic programming with recursive least-squares temporal difference learning for adaptive traffic signal control.CDC3463-34682015Conference and Workshop Papersclosedconf/cdc/YinDM1510.1109/CDC.2015.7402755https://doi.org/10.1109/CDC.2015.7402755https://dblp.org/rec/conf/cdc/YinDM15URL#3527218Gopinath ChennupatiR. Muhammad Atif AzadConor RyanAutomatic Evolution of Parallel Recursive Programs.EuroGP167-1782015Conference and Workshop Papersclosedconf/eurogp/ChennupatiAR1510.1007/978-3-319-16501-1_14https://doi.org/10.1007/978-3-319-16501-1_14https://dblp.org/rec/conf/eurogp/ChennupatiAR15URL#3552015Gopinath ChennupatiR. Muhammad Atif AzadConor RyanPerformance Optimization of Multi-Core Grammatical Evolution Generated Parallel Recursive Programs.GECCO1007-10142015Conference and Workshop Papersclosedconf/gecco/ChennupatiAR1510.1145/2739480.2754746https://doi.org/10.1145/2739480.2754746https://dblp.org/rec/conf/gecco/ChennupatiAR15URL#3558508Nils Erik FlickOn Correctness of Graph Programs Relative to Recursively Nested Conditions.GCM@ICGT97-1122015Conference and Workshop Papersopenconf/gg/Flick15https://ceur-ws.org/Vol-1403/paper8.pdfhttps://dblp.org/rec/conf/gg/Flick15URL#3559113Jesmin Jahan TithiPramod GanapathiAakrati TalatiSonal AggarwalRezaul Alam ChowdhuryHigh-Performance Energy-Efficient Recursive Dynamic Programming with Matrix-Multiplication-Like Flexible Kernels.IPDPS303-3122015Conference and Workshop Papersclosedconf/ipps/TithiGTAC1510.1109/IPDPS.2015.107https://doi.org/10.1109/IPDPS.2015.107https://dblp.org/rec/conf/ipps/TithiGTAC15URL#3604284Lukás HolíkRoland Meyer 0001Antichains for the Verification of Recursive Programs.NETYS322-3362015Conference and Workshop Papersclosedconf/netys/HolikM1510.1007/978-3-319-26850-7_22https://doi.org/10.1007/978-3-319-26850-7_22https://dblp.org/rec/conf/netys/HolikM15URL#3629376Bin RenYoungjoon JoSriram KrishnamoorthyKunal AgrawalMilind Kulkarni 0001Efficient execution of recursive programs on commodity vector hardware.PLDI509-5202015Conference and Workshop Papersclosedconf/pldi/RenJKAK1510.1145/2737924.2738004https://doi.org/10.1145/2737924.2738004https://dblp.org/rec/conf/pldi/RenJKAK15URL#3635219Yuan TangRonghui YouHaibin KanJesmin Jahan TithiPramod GanapathiRezaul Alam ChowdhuryCache-oblivious wavefront: improving parallelism of recursive dynamic programming algorithms without losing cache-efficiency.PPoPP205-2142015Conference and Workshop Papersclosedconf/ppopp/TangYKTGC1510.1145/2688500.2688514https://doi.org/10.1145/2688500.2688514https://dblp.org/rec/conf/ppopp/TangYKTGC15URL#3635622Alexander MalkisMultithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive Programs Is Polynomial.RP114-1272015Conference and Workshop Papersclosedconf/rp/Malkis1510.1007/978-3-319-24537-9_11https://doi.org/10.1007/978-3-319-24537-9_11https://dblp.org/rec/conf/rp/Malkis15URL#3638741Nathan WasserGenerating Specifications for Recursive Methods by Abstracting Program States.SETTA243-2572015Conference and Workshop Papersclosedconf/setta/Wasser1510.1007/978-3-319-25942-0_16https://doi.org/10.1007/978-3-319-25942-0_16https://dblp.org/rec/conf/setta/Wasser15URL#3643473Yu-Fang Chen 0001Chiao HsiehMing-Hsien Tsai 0001Bow-Yaw WangFarn WangCPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).TACAS426-4282015Conference and Workshop Papersopenconf/tacas/ChenHTWW1510.1007/978-3-662-46681-0_35https://doi.org/10.1007/978-3-662-46681-0_35https://dblp.org/rec/conf/tacas/ChenHTWW15URL#3652754Matthias DanglStefan LöwePhilipp WendlerCPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution).TACAS423-4252015Conference and Workshop Papersopenconf/tacas/DanglLW1510.1007/978-3-662-46681-0_34https://doi.org/10.1007/978-3-662-46681-0_34https://dblp.org/rec/conf/tacas/DanglLW15URL#3652759Tewodros A. BeyeneSwarat ChaudhuriCorneliu PopeeaAndrey RybalchenkoRecursive Games for Compositional Program Synthesis.VSTTE19-392015Conference and Workshop Papersclosedconf/vstte/BeyeneCPR1510.1007/978-3-319-29613-5_2https://doi.org/10.1007/978-3-319-29613-5_2https://dblp.org/rec/conf/vstte/BeyeneCPR15URL#3657640Mario AlvianoWolfgang Faber 0001Martin GebserRewriting recursive aggregates in answer set programming: back to monotonicity.CoRRabs/1507.039232015Informal and Other Publicationsopenjournals/corr/AlvianoFG15http://arxiv.org/abs/1507.03923https://dblp.org/rec/journals/corr/AlvianoFG15URL#3671199Suyash GuptaRahul ShrivastavaV. Krishna NandivadaDCAFE: Dynamic load-balanced loop Chunking & Aggressive Finish Elimination for Recursive Task Parallel Programs.CoRRabs/1502.060862015Informal and Other Publicationsopenjournals/corr/GuptaSN15http://arxiv.org/abs/1502.06086https://dblp.org/rec/journals/corr/GuptaSN15URL#3677085Aiswarya CyriacVerification of communicating recursive programs via split-width. (Vérification de programmes récursifs et communicants via split-width).2014Books and Thesesopenphd/hal/Cyriac14https://tel.archives-ouvertes.fr/tel-01015561https://dblp.org/rec/phd/hal/Cyriac14URL#3695195Vladimir V. VasilchikovOn the recursive-parallel programming for the .NET framework.Autom. Control. Comput. Sci.487575-5802014Journal Articlesclosedjournals/accs/Vasilchikov1410.3103/S014641161407030Xhttps://doi.org/10.3103/S014641161407030Xhttps://dblp.org/rec/journals/accs/Vasilchikov14URL#3698490Yuefeng WangIbrahim MattaFlavio EspositoJohn Day 0001Introducing ProtoRINA: a prototype for programming recursive-networking policies.Comput. Commun. Rev.443129-1312014Journal Articlesclosedjournals/ccr/WangMED1410.1145/2656877.2656897https://doi.org/10.1145/2656877.2656897https://dblp.org/rec/journals/ccr/WangMED14URL#3709421Zhong YinJianhua Zhang 0004Operator functional state classification using least-square support vector machine based recursive feature elimination technique.Comput. Methods Programs Biomed.1131101-1152014Journal Articlesclosedjournals/cmpb/YinZ1410.1016/J.CMPB.2013.09.007https://doi.org/10.1016/j.cmpb.2013.09.007https://dblp.org/rec/journals/cmpb/YinZ14URL#3713457Joe Naoum-SawayaRecursive central rounding for mixed integer programs.Comput. Oper. Res.43191-2002014Journal Articlesclosedjournals/cor/Naoum-Sawaya1410.1016/J.COR.2013.09.008https://doi.org/10.1016/j.cor.2013.09.008https://dblp.org/rec/journals/cor/Naoum-Sawaya14URL#3716084Christian RinderknechtA Survey on Teaching and Learning Recursive Programming.Informatics Educ.13187-1192014Journal Articlesopenjournals/iie/Rinderknecht1410.15388/INFEDU.2014.06https://doi.org/10.15388/infedu.2014.06https://dblp.org/rec/journals/iie/Rinderknecht14URL#3732567Benedikt BolligC. AiswaryaPaul GastinMarc ZeitounTemporal logics for concurrent recursive programs: Satisfiability and model checking.J. Appl. Log.124395-4162014Journal Articlesopenjournals/japll/BolligCGZ1410.1016/J.JAL.2014.05.001https://doi.org/10.1016/j.jal.2014.05.001https://dblp.org/rec/journals/japll/BolligCGZ14URL#3748719Melih OzlenBenjamin A. BurtonCameron A. G. MacRaeMulti-Objective Integer Programming: An Improved Recursive Algorithm.J. Optim. Theory Appl.1602470-4822014Journal Articlesclosedjournals/jota/OzlenBM1410.1007/S10957-013-0364-Yhttps://doi.org/10.1007/s10957-013-0364-yhttps://dblp.org/rec/journals/jota/OzlenBM14URL#3760176Jesmin Jahan TithiPramod GanapathiAakrati TalatiRezaul Alam ChowdhuryHigh-performance recursive dynamic programming for bioinformatics using MM-like flexible kernels.BCB600-6012014Conference and Workshop Papersclosedconf/bcb/TithiGTC1410.1145/2649387.2660796https://doi.org/10.1145/2649387.2660796https://dblp.org/rec/conf/bcb/TithiGTC14URL#3816985Anvesh KomuravelliArie GurfinkelSagar ChakiSMT-Based Model Checking for Recursive Programs.CAV17-342014Conference and Workshop Papersopenconf/cav/KomuravelliGC1410.1007/978-3-319-08867-9_2https://doi.org/10.1007/978-3-319-08867-9_2https://dblp.org/rec/conf/cav/KomuravelliGC14URL#3821651Roy MennickeModel Checking Concurrent Recursive Programs Using Temporal Logics.MFCS438-4502014Conference and Workshop Papersclosedconf/mfcs/Mennicke1410.1007/978-3-662-44522-8_37https://doi.org/10.1007/978-3-662-44522-8_37https://dblp.org/rec/conf/mfcs/Mennicke14URL#3916168Yu-Fang Chen 0001Chiao HsiehMing-Hsien Tsai 0001Bow-Yaw WangFarn WangVerifying Recursive Programs Using Intraprocedural Analyzers.SAS118-1332014Conference and Workshop Papersclosedconf/sas/ChenHTWW1410.1007/978-3-319-10936-7_8https://doi.org/10.1007/978-3-319-10936-7_8https://dblp.org/rec/conf/sas/ChenHTWW14URL#3933875Elena GiachinoCosimo LaneveDeadlock Detection in Linear Recursive Programs.SFM26-642014Conference and Workshop Papersclosedconf/sfm/GiachinoL1410.1007/978-3-319-07317-0_2https://doi.org/10.1007/978-3-319-07317-0_2https://dblp.org/rec/conf/sfm/GiachinoL14URL#3937347Yi LiA recursive decision method for termination of linear programs.SNC97-1062014Conference and Workshop Papersclosedconf/snc/Li1410.1145/2631948.2631966https://doi.org/10.1145/2631948.2631966https://dblp.org/rec/conf/snc/Li14URL#3942291Nikolaos KariotoglouKostas MargellosJohn LygerosOn the computational complexity and generalization properties of multi-stage and recursive scenario programs.CoRRabs/1412.42032014Informal and Other Publicationsopenjournals/corr/KariotoglouML14http://arxiv.org/abs/1412.4203https://dblp.org/rec/journals/corr/KariotoglouML14URL#3973837Anvesh KomuravelliArie GurfinkelSagar ChakiSMT-based Model Checking for Recursive Programs.CoRRabs/1405.40282014Informal and Other Publicationsopenjournals/corr/KomuravelliGC14http://arxiv.org/abs/1405.4028https://dblp.org/rec/journals/corr/KomuravelliGC14URL#3974336Giancarlo FortinoFrancesco RangoAn application-level technique based on recursive hierarchical state machines for agent execution state capture.Sci. Comput. Program.786725-7462013Journal Articlesopenjournals/scp/FortinoR1310.1016/J.SCICO.2011.10.001https://doi.org/10.1016/j.scico.2011.10.001https://dblp.org/rec/journals/scp/FortinoR13URL#4066861Ahmed BouajjaniMichael EmmiAnalysis of Recursively Parallel Programs.ACM Trans. Program. Lang. Syst.35310:1-10:492013Journal Articlesclosedjournals/toplas/BouajjaniE1310.1145/2518188https://doi.org/10.1145/2518188https://dblp.org/rec/journals/toplas/BouajjaniE13URL#4084631Aws AlbarghouthiSumit GulwaniZachary KincaidRecursive Program Synthesis.CAV934-9502013Conference and Workshop Papersopenconf/cav/AlbarghouthiGK1310.1007/978-3-642-39799-8_67https://doi.org/10.1007/978-3-642-39799-8_67https://dblp.org/rec/conf/cav/AlbarghouthiGK13URL#4109839Naoki Kobayashi 0001Atsushi IgarashiModel-Checking Higher-Order Programs with Recursive Types.ESOP431-4502013Conference and Workshop Papersopenconf/esop/KobayashiI1310.1007/978-3-642-37036-6_24https://doi.org/10.1007/978-3-642-37036-6_24https://dblp.org/rec/conf/esop/KobayashiI13URL#4134614João Viana da Fonseca NetoErnesto Franklin Marcal FerreiraPatricia H. Moraes RegoOnline Optimal DLQR-DFIG Control System Design via Recursive Least-Square Approach and State Heuristic Dynamic Programming for Approximate Solution of the HJB Equation.SMC3174-31792013Conference and Workshop Papersclosedconf/smc/NetoFR1310.1109/SMC.2013.541https://doi.org/10.1109/SMC.2013.541https://dblp.org/rec/conf/smc/NetoFR13URL#4227186Elena GiachinoCosimo LaneveDeadlock detection in linear recursive programs.CoRRabs/1310.74492013Informal and Other Publicationsopenjournals/corr/GiachinoL13http://arxiv.org/abs/1310.7449https://dblp.org/rec/journals/corr/GiachinoL13URL#4252048Anh Huy Phan 0001Andrzej CichockiSeeking an appropriate alternative least squares algorithm for nonnegative tensor factorizations - A novel recursive solution for nonnegative quadratic programming and NTF.Neural Comput. Appl.214623-6372012Journal Articlesclosedjournals/nca/PhanC1210.1007/S00521-011-0652-0https://doi.org/10.1007/s00521-011-0652-0https://dblp.org/rec/journals/nca/PhanC12URL#4336033Lawrence S. MossErik WennstromGlen T. WhitneyA Complete Logical System for the Equality of Recursive Terms for Sets.Logic and Program Semantics180-2032012Conference and Workshop Papersclosedconf/birthday/MossWW1210.1007/978-3-642-29485-3_12https://doi.org/10.1007/978-3-642-29485-3_12https://dblp.org/rec/conf/birthday/MossWW12URL#4381458Frank S. de BoerMarcello M. BonsangueJurriaan RotAutomated Verification of Recursive Programs with Pointers.IJCAR149-1632012Conference and Workshop Papersclosedconf/cade/BoerBR1210.1007/978-3-642-31365-3_14https://doi.org/10.1007/978-3-642-31365-3_14https://dblp.org/rec/conf/cade/BoerBR12URL#4382725Kangil KimNguyen Xuan HoaiBob McKayImplicit bias and recursive grammar structures in estimation of distribution genetic programming.IEEE Congress on Evolutionary Computation1-82012Conference and Workshop Papersclosedconf/cec/KimHM1210.1109/CEC.2012.6256565https://doi.org/10.1109/CEC.2012.6256565https://dblp.org/rec/conf/cec/KimHM12URL#4386812Alberto MoraglioFernando E. B. OteroColin G. JohnsonSimon J. ThompsonAlex Alves FreitasEvolving recursive programs using non-recursive scaffolding.IEEE Congress on Evolutionary Computation1-82012Conference and Workshop Papersclosedconf/cec/MoraglioOJTF1210.1109/CEC.2012.6256545https://doi.org/10.1109/CEC.2012.6256545https://dblp.org/rec/conf/cec/MoraglioOJTF12URL#4386890Rohit ChadhaMichael UmmelsThe Complexity of Quantitative Information Flow in Recursive Programs.FSTTCS534-5452012Conference and Workshop Papersopenconf/fsttcs/ChadhaU1210.4230/LIPICS.FSTTCS.2012.534https://doi.org/10.4230/LIPIcs.FSTTCS.2012.534https://dblp.org/rec/conf/fsttcs/ChadhaU12URL#4412554Vlad SlaviciDaniel KunkleGene CoopermanStephen A. LintonAn efficient programming model for memory-intensive recursive algorithms using parallel disks.ISSAC327-3342012Conference and Workshop Papersclosedconf/issac/SlaviciKCL1210.1145/2442829.2442876https://doi.org/10.1145/2442829.2442876https://dblp.org/rec/conf/issac/SlaviciKCL12URL#4460435Ahmed BouajjaniMichael EmmiAnalysis of recursively parallel programs.POPL203-2142012Conference and Workshop Papersclosedconf/popl/BouajjaniE1210.1145/2103656.2103681https://doi.org/10.1145/2103656.2103681https://dblp.org/rec/conf/popl/BouajjaniE12URL#4481241Judith RohloffFlorian LorenzenCall-by-Value Semantics for Mutually Recursive First-Class Modules.Trends in Functional Programming101-1162012Conference and Workshop Papersclosedconf/sfp/RohloffL1210.1007/978-3-642-40447-4_7https://doi.org/10.1007/978-3-642-40447-4_7https://dblp.org/rec/conf/sfp/RohloffL12URL#4489481Andreas StuhlmüllerNoah D. GoodmanA Dynamic Programming Algorithm for Inference in Recursive Probabilistic Programs.StarAI@UAI2012Conference and Workshop Papersclosedconf/starai/StuhlmullerG12https://starai.cs.kuleuven.be/2012/accepted/stuhlmuller.pdfhttps://dblp.org/rec/conf/starai/StuhlmullerG12URL#4496853Irina Mariuca AsavoaeFrank S. de BoerMarcello M. BonsangueDorel LucanuJurriaan RotBounded Model Checking of Recursive Programs with Pointers in K.WADT59-762012Conference and Workshop Papersopenconf/wadt/AsavoaeBBLR1210.1007/978-3-642-37635-1_4https://doi.org/10.1007/978-3-642-37635-1_4https://dblp.org/rec/conf/wadt/AsavoaeBBLR12URL#4503746Andreas StuhlmüllerNoah D. GoodmanA Dynamic Programming Algorithm for Inference in Recursive Probabilistic ProgramsCoRRabs/1206.35552012Informal and Other Publicationsopenjournals/corr/abs-1206-3555http://arxiv.org/abs/1206.3555https://dblp.org/rec/journals/corr/abs-1206-3555URL#4521041Muhammad JavedBashir Ahmad 0001Zafar AbbasAllah NawazMuhammad Ali AbidIhsan UllahDecreasing defect rate of test cases by designing and analysis for recursive modules of a program structure: Improvement in test cases.CoRRabs/1208.51952012Informal and Other Publicationsopenjournals/corr/abs-1208-5195http://arxiv.org/abs/1208.5195https://dblp.org/rec/journals/corr/abs-1208-5195URL#4523427Wolfgang Faber 0001Gerald PfeiferNicola LeoneSemantics and complexity of recursive aggregates in answer set programming.Artif. Intell.1751278-2982011Journal Articlesclosedjournals/ai/FaberPL1110.1016/J.ARTINT.2010.04.002https://doi.org/10.1016/j.artint.2010.04.002https://dblp.org/rec/journals/ai/FaberPL11URL#4535837Francesco CalimeriSusanna CozzaGiovambattista IanniNicola LeoneFinitely recursive programs: Decidability and bottom-up computation.AI Commun.244311-3342011Journal Articlesclosedjournals/aicom/CalimeriCIL1110.3233/AIC-2011-0509https://doi.org/10.3233/AIC-2011-0509https://dblp.org/rec/journals/aicom/CalimeriCIL11URL#4535913Kangseok KimWonil KimSunshin KimReMark: an automatic program for clustering orthologs flexibly combining a Recursive and a Markov clustering algorithms.Bioinform.27121731-17332011Journal Articlesclosedjournals/bioinformatics/KimKK1110.1093/BIOINFORMATICS/BTR259https://doi.org/10.1093/bioinformatics/btr259https://dblp.org/rec/journals/bioinformatics/KimKK11URL#4541026Mario AlvianoEfficient recursive aggregate evaluation in logic programming.Intelligenza Artificiale52207-2152011Journal Articlesclosedjournals/ia/Alviano1110.3233/IA-2011-0023https://doi.org/10.3233/IA-2011-0023https://dblp.org/rec/journals/ia/Alviano11URL#4561591Kevin H. XuJingsong ZhangShelby GaoFroglingo, a Programming Language empowered by a Total-Recursive-Equivalent Data Model.J. Digit. Inf. Manag.94135-1462011Journal Articlesunavailablejournals/jdim/XuZG11https://dblp.org/rec/journals/jdim/XuZG11URL#4583138Victor FeleaCertain Answers for Views and Queries Expressed as Non-recursive Datalog Programs with Negation.ACIIDS67-772011Conference and Workshop Papersclosedconf/aciids/Felea1110.1007/978-3-642-20039-7_7https://doi.org/10.1007/978-3-642-20039-7_7https://dblp.org/rec/conf/aciids/Felea11URL#4626122Matthew HagueAnthony Widjaja LinModel Checking Recursive Programs with Numeric Data Types.CAV743-7592011Conference and Workshop Papersopenconf/cav/HagueL1110.1007/978-3-642-22110-1_60https://doi.org/10.1007/978-3-642-22110-1_60https://dblp.org/rec/conf/cav/HagueL11URL#4639420Daniel SchwenckeA Category Theoretic View of Nondeterministic Recursive Program Schemes.CSL496-5112011Conference and Workshop Papersopenconf/csl/Schwencke1110.4230/LIPICS.CSL.2011.496https://doi.org/10.4230/LIPIcs.CSL.2011.496https://dblp.org/rec/conf/csl/Schwencke11URL#4651816Mario AlvianoGianluigi GrecoNicola LeoneDynamic Magic Sets for Programs with Monotone Recursive Aggregates.LPNMR148-1602011Conference and Workshop Papersclosedconf/lpnmr/AlvianoGL1110.1007/978-3-642-20895-9_14https://doi.org/10.1007/978-3-642-20895-9_14https://dblp.org/rec/conf/lpnmr/AlvianoGL11URL#4723787Benedikt BolligAiswarya CyriacPaul GastinMarc ZeitounTemporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking.MFCS132-1442011Conference and Workshop Papersclosedconf/mfcs/BolligCGZ1110.1007/978-3-642-22993-0_15https://doi.org/10.1007/978-3-642-22993-0_15https://dblp.org/rec/conf/mfcs/BolligCGZ11URL#4725167Marc BrockschmidtCarsten OttoJürgen GieslModular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting.RTA155-1702011Conference and Workshop Papersopenconf/rta/BrockschmidtOG1110.4230/LIPICS.RTA.2011.155https://doi.org/10.4230/LIPIcs.RTA.2011.155https://dblp.org/rec/conf/rta/BrockschmidtOG11URL#4739313Naoki Nishida 0001Germán VidalProgram Inversion for Tail Recursive Functions.RTA283-2982011Conference and Workshop Papersopenconf/rta/NishidaV1110.4230/LIPICS.RTA.2011.283https://doi.org/10.4230/LIPIcs.RTA.2011.283https://dblp.org/rec/conf/rta/NishidaV11URL#4739329Philippe SuterAli Sinan KöksalViktor KuncakSatisfiability Modulo Recursive Programs.SAS298-3152011Conference and Workshop Papersclosedconf/sas/SuterKK1110.1007/978-3-642-23702-7_23https://doi.org/10.1007/978-3-642-23702-7_23https://dblp.org/rec/conf/sas/SuterKK11URL#4740586J. Ángel Velázquez-IturbideAntonio Pérez-CarrascoInfoVis Interaction Techniques in Animation of Recursive Programs.Algorithms3176-912010Journal Articlesopenjournals/algorithms/Velazquez-IturbideP1010.3390/A3010076https://doi.org/10.3390/a3010076https://dblp.org/rec/journals/algorithms/Velazquez-IturbideP10URL#4787140Anthony PrzybylskiXavier GandibleuxMatthias EhrgottA Recursive Algorithm for Finding All Nondominated Extreme Points in the Outcome Set of a Multiobjective Integer Programme.INFORMS J. Comput.223371-3862010Journal Articlesclosedjournals/informs/PrzybylskiGE1010.1287/IJOC.1090.0342https://doi.org/10.1287/ijoc.1090.0342https://dblp.org/rec/journals/informs/PrzybylskiGE10URL#4823289Martin Hofmann 0008Ute SchmidData-Driven Detection of Recursive Program Schemes.ECAI1063-10642010Conference and Workshop Papersclosedconf/ecai/HofmannS1010.3233/978-1-60750-606-5-1063https://doi.org/10.3233/978-1-60750-606-5-1063https://dblp.org/rec/conf/ecai/HofmannS10URL#4898664Paul Blain LevyCharacterizing Recursive Programs up to Bisimilarity.FICS47-522010Conference and Workshop Papersopenconf/fics/Levy10https://hal.archives-ouvertes.fr/hal-00512377/document#page=48https://dblp.org/rec/conf/fics/Levy10URL#4905574Jingtao ShiRelationship between maximum principle and dynamic programming principle for stochastic recursive optimal control problems of jump diffusions and applications to finance.ICCA1512-15182010Conference and Workshop Papersclosedconf/icca/Shi1010.1109/ICCA.2010.5524204https://doi.org/10.1109/ICCA.2010.5524204https://dblp.org/rec/conf/icca/Shi10URL#4920103Manuel Rubio-SánchezTail recursive programming by applying generalization.ITiCSE98-1022010Conference and Workshop Papersclosedconf/iticse/Rubio-Sanchez1010.1145/1822090.1822119https://doi.org/10.1145/1822090.1822119https://dblp.org/rec/conf/iticse/Rubio-Sanchez10URL#4953765Nikolaj PopovTudor JebeleanProving Partial Correctness and Termination of Mutually Recursive Programs.SYNASC153-1562010Conference and Workshop Papersclosedconf/synasc/PopovJ1010.1109/SYNASC.2010.65https://doi.org/10.1109/SYNASC.2010.65https://dblp.org/rec/conf/synasc/PopovJ10URL#4984000Jirí AdámekStefan MiliusJirí VelebilRecursive Program Schemes and Context-Free Monads.CMCS@ETAPS3-232010Conference and Workshop Papersopenjournals/entcs/AdamekMV1010.1016/J.ENTCS.2010.07.011https://doi.org/10.1016/j.entcs.2010.07.011https://dblp.org/rec/journals/entcs/AdamekMV10URL#4993711Alexandros AgapitosThe evolution of recursive algorithms and object-oriented programs.2009Books and Thesesclosedphd/ethos/Agapitos09https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.510487https://dblp.org/rec/phd/ethos/Agapitos09URL#5012304Iain A. StewartProgram Schemes, Queues, the Recursive Spectrum and Zero-one Laws.Fundam. Informaticae912411-4352009Journal Articlesclosedjournals/fuin/Stewart0910.3233/FI-2009-0050https://doi.org/10.3233/FI-2009-0050https://dblp.org/rec/journals/fuin/Stewart09URL#5038650S. P. Joy Vasantha RaniP. KanagasabapathyL. SuganthiField Programmable Gate Array based floating point hardware design of recursive k-means clustering algorithm for Radial Basis Function Neural Network.Int. J. Intell. Syst. Technol. Appl.61/261-762009Journal Articlesclosedjournals/ijista/RaniKS0910.1504/IJISTA.2009.022688https://doi.org/10.1504/IJISTA.2009.022688https://dblp.org/rec/journals/ijista/RaniKS09URL#5047626Nikolaj PopovTudor JebeleanUsing Computer Algebra techniques for the specification, verification and synthesis of recursive programs.Math. Comput. Simul.7982302-23092009Journal Articlesclosedjournals/mcs/PopovJ0910.1016/J.MATCOM.2008.11.017https://doi.org/10.1016/j.matcom.2008.11.017https://dblp.org/rec/journals/mcs/PopovJ09URL#5066221Sabrina BaselicePiero A. BonattiGiovanni CriscuoloOn finitely recursive programs.Theory Pract. Log. Program.92213-2382009Journal Articlesclosedjournals/tplp/BaseliceBC0910.1017/S147106840900372Xhttps://doi.org/10.1017/S147106840900372Xhttps://dblp.org/rec/journals/tplp/BaseliceBC09URL#5089174Claude BolducBéchir KtariVisibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs.RelMiCS44-582009Conference and Workshop Papersclosedconf/RelMiCS/BolducK0910.1007/978-3-642-04639-1_4https://doi.org/10.1007/978-3-642-04639-1_4https://dblp.org/rec/conf/RelMiCS/BolducK09URL#5095199Geng-Dian HuangLin-Zan CaiFarn WangLTL Model Checking for Recursive Programs.ATVA382-3962009Conference and Workshop Papersclosedconf/atva/HuangCW0910.1007/978-3-642-04761-9_28https://doi.org/10.1007/978-3-642-04761-9_28https://dblp.org/rec/conf/atva/HuangCW09URL#5103709Krzysztof R. AptFrank S. de BoerErnst-Rüdiger OlderogModular Verification of Recursive Programs.Languages - From Formal to Natural1-212009Conference and Workshop Papersclosedconf/birthday/AptBO0910.1007/978-3-642-01748-3_1https://doi.org/10.1007/978-3-642-01748-3_1https://dblp.org/rec/conf/birthday/AptBO09URL#5105160Lin Gao 0002Lian Li 0002Jingling XueTin-Fook NgaiExploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction.CC78-932009Conference and Workshop Papersopenconf/cc/GaoLXN0910.1007/978-3-642-00722-4_7https://doi.org/10.1007/978-3-642-00722-4_7https://dblp.org/rec/conf/cc/GaoLXN09URL#5108072Benedikt BolligManuela-Lidia GrindeiPeter HabermehlRealizability of Concurrent Recursive Programs.FoSSaCS410-4242009Conference and Workshop Papersopenconf/fossacs/BolligGH0910.1007/978-3-642-00596-1_29https://doi.org/10.1007/978-3-642-00596-1_29https://dblp.org/rec/conf/fossacs/BolligGH09URL#5133292Alexey Rodriguez YakushevStefan HoldermansAndres LöhJohan JeuringGeneric programming with fixed points for mutually recursive datatypes.ICFP233-2442009Conference and Workshop Papersclosedconf/icfp/YakushevHLJ0910.1145/1596550.1596585https://doi.org/10.1145/1596550.1596585https://dblp.org/rec/conf/icfp/YakushevHLJ09URL#5152122Francesco CalimeriSusanna CozzaGiovambattista IanniNicola LeoneMagic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.LPNMR71-862009Conference and Workshop Papersclosedconf/lpnmr/CalimeriCIL0910.1007/978-3-642-04238-6_9https://doi.org/10.1007/978-3-642-04238-6_9https://dblp.org/rec/conf/lpnmr/CalimeriCIL09URL#5181473Salvatore La TorreParthasarathy MadhusudanGennaro ParlatoAnalyzing recursive programs using a fixed-point calculus.PLDI211-2222009Conference and Workshop Papersclosedconf/pldi/TorreMP0910.1145/1542476.1542500https://doi.org/10.1145/1542476.1542500https://dblp.org/rec/conf/pldi/TorreMP09URL#5193220Borys J. BradelTarek S. AbdelrahmanThe use of hardware transactional memory for the trace-based parallelization of recursive Java programs.PPPJ101-1102009Conference and Workshop Papersclosedconf/pppj/BradelA0910.1145/1596655.1596671https://doi.org/10.1145/1596655.1596671https://dblp.org/rec/conf/pppj/BradelA09URL#5193631Narjes Ben RajebBrahim NasraouiRiadh RobbanaTayssir TouiliVerifying Multithreaded Recursive Programs with Integer Variables.INFINITY143-1542009Conference and Workshop Papersopenjournals/entcs/RajebNRT0910.1016/J.ENTCS.2009.05.036https://doi.org/10.1016/j.entcs.2009.05.036https://dblp.org/rec/journals/entcs/RajebNRT09URL#5215028Sabrina BaselicePiero A. BonattiGiovanni CriscuoloOn finitely recursive programsCoRRabs/0901.28502009Informal and Other Publicationsopenjournals/corr/abs-0901-2850http://arxiv.org/abs/0901.2850https://dblp.org/rec/journals/corr/abs-0901-2850URL#5227667Stefan MiliusLawrence S. MossThe Category Theoretic Solution of Recursive Program SchemesCoRRabs/0904.23852009Informal and Other Publicationsopenjournals/corr/abs-0904-2385http://arxiv.org/abs/0904.2385https://dblp.org/rec/journals/corr/abs-0904-2385URL#5228620Krzysztof R. AptFrank S. de BoerErnst-Rüdiger OlderogModular Verification of Recursive ProgramsCoRRabs/0907.43162009Informal and Other Publicationsopenjournals/corr/abs-0907-4316http://arxiv.org/abs/0907.4316https://dblp.org/rec/journals/corr/abs-0907-4316URL#5229816Ariel Cohen 0002Verification of Transactional Memories and Recursive Programs.2008Books and Thesesclosedphd/us/Cohen08https://cs.nyu.edu/media/publications/cohen_ariel.pdfhttps://dblp.org/rec/phd/us/Cohen08URL#5237396Thomas StrahmJeffery I. ZuckerPrimitive recursive selection functions for existential assertions over abstract algebras.J. Log. Algebraic Methods Program.762175-1972008Journal Articlesopenjournals/jlp/StrahmZ0810.1016/J.JLAP.2008.02.002https://doi.org/10.1016/j.jlap.2008.02.002https://dblp.org/rec/journals/jlp/StrahmZ08URL#5278690Zhen WuZhiyong Yu 0004Dynamic Programming Principle for One Kind of Stochastic Recursive Optimal Control Problem and Hamilton--Jacobi--Bellman Equation.SIAM J. Control. Optim.4752616-26412008Journal Articlesclosedjournals/siamco/WuY0810.1137/060671917https://doi.org/10.1137/060671917https://dblp.org/rec/journals/siamco/WuY08URL#5293435Stefan MiliusLawrence S. MossCorrigendum to: "The category theoretic solution of recursive program schemes" [TCS 366 (2006) 3-59].Theor. Comput. Sci.4032-3409-4152008Journal Articlesopenjournals/tcs/MiliusM0810.1016/J.TCS.2008.05.009https://doi.org/10.1016/j.tcs.2008.05.009https://dblp.org/rec/journals/tcs/MiliusM08URL#5300289Giorgio TerracinaNicola LeoneVincenzino LioClaudio PanettaExperimenting with recursive queries in database and logic programming systems.Theory Pract. Log. Program.82129-1652008Journal Articlesclosedjournals/tplp/TerracinaLLP0810.1017/S1471068407003158https://doi.org/10.1017/S1471068407003158https://dblp.org/rec/journals/tplp/TerracinaLLP08URL#5305347Arie GurfinkelOu WeiMarsha ChechikModel Checking Recursive Programs with Exact Predicate Abstraction.ATVA95-1102008Conference and Workshop Papersclosedconf/atva/GurfinkelWC0810.1007/978-3-540-88387-6_9https://doi.org/10.1007/978-3-540-88387-6_9https://dblp.org/rec/conf/atva/GurfinkelWC08URL#5320162Sikandar SamarAndrey TorzhkovAmit ChakrabortyOn-Line Monotonic Fault Diagnostics via Recursive Constrained Quadratic Programming.CIMCA/IAWTIC/ISE226-2312008Conference and Workshop Papersclosedconf/cimca/SamarTC0810.1109/CIMCA.2008.35https://doi.org/10.1109/CIMCA.2008.35https://dblp.org/rec/conf/cimca/SamarTC08URL#5328542Rosa CastilloFrancisco CorberaAngeles G. NavarroRafael AsenjoEmilio L. ZapataComplete Def-Use Analysis in Recursive Programs with Dynamic Data Structures.Euro-Par Workshops273-2822008Conference and Workshop Papersclosedconf/europar/CastilloCNAZ0810.1007/978-3-642-00955-6_32https://doi.org/10.1007/978-3-642-00955-6_32https://dblp.org/rec/conf/europar/CastilloCNAZ08URL#5343768Magnus O. MyreenMichael J. C. GordonTransforming Programs into Recursive Functions.SBMF185-2002008Conference and Workshop Papersopenjournals/entcs/MyreenG0910.1016/J.ENTCS.2009.05.052https://doi.org/10.1016/j.entcs.2009.05.052https://dblp.org/rec/journals/entcs/MyreenG09URL#5424398Jaime Alejandro BohórquezAn Inductive Theorem on the Correctness of General Recursive Programs.Log. J. IGPL155-6373-3992007Journal Articlesclosedjournals/igpl/Bohorquez0710.1093/JIGPAL/JZM053https://doi.org/10.1093/jigpal/jzm053https://dblp.org/rec/journals/igpl/Bohorquez07URL#5465859Derek DreyerRecursive type generativity.J. Funct. Program.174-5433-4712007Journal Articlesclosedjournals/jfp/Dreyer0710.1017/S0956796807006429https://doi.org/10.1017/S0956796807006429https://dblp.org/rec/journals/jfp/Dreyer07URL#5478872Christof LödingCarsten LutzOlivier SerrePropositional dynamic logic with recursive programs.J. Log. Algebraic Methods Program.731-251-692007Journal Articlesopenjournals/jlp/LodingLS0710.1016/J.JLAP.2006.11.003https://doi.org/10.1016/j.jlap.2006.11.003https://dblp.org/rec/journals/jlp/LodingLS07URL#5480141V. B. NovoseltsevSynthesis of parallel recursive programs in structural functional models.Program. Comput. Softw.335293-2982007Journal Articlesclosedjournals/pcs/Novoseltsev0710.1134/S0361768807050052https://doi.org/10.1134/S0361768807050052https://dblp.org/rec/journals/pcs/Novoseltsev07URL#5489731Martin DostálA Functional Approach to Evolving Recursive Programs.AAIP27-382007Conference and Workshop Papersclosedconf/aaip/Dostal07https://cogsys.uni-bamberg.de/events/aaip07/aaip_print.pdf#page=35https://dblp.org/rec/conf/aaip/Dostal07URL#5511284Stefan SchäckelerWeijia ShangStack size reduction of recursive programs.CASES48-522007Conference and Workshop Papersclosedconf/cases/SchackelerS0710.1145/1289881.1289892https://doi.org/10.1145/1289881.1289892https://dblp.org/rec/conf/cases/SchackelerS07URL#5521765Gaël PatinMihaela SighireanuTayssir TouiliSpade: Verification of Multithreaded Dynamic and Recursive Programs.CAV254-2572007Conference and Workshop Papersopenconf/cav/PatinST0710.1007/978-3-540-73368-3_28https://doi.org/10.1007/978-3-540-73368-3_28https://dblp.org/rec/conf/cav/PatinST07URL#5521909Jia Yu 0008Jingnan YaoLaxmi N. BhuyanJun Yang 0002Program Mapping onto Network Processors by Recursive Bipartitioning and Refining.DAC805-8102007Conference and Workshop Papersclosedconf/dac/YuYBY0710.1145/1278480.1278681https://doi.org/10.1145/1278480.1278681https://dblp.org/rec/conf/dac/YuYBY07URL#5531401Masaki MurakamiCompilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model.FCS369-2007Conference and Workshop Papersunavailableconf/fcs/Murakami07https://dblp.org/rec/conf/fcs/Murakami07URL#5540145Garnett Carl WilsonMalcolm I. HeywoodLearning recursive programs with cooperative coevolution of genetic code mapping and genotype.GECCO1053-10612007Conference and Workshop Papersclosedconf/gecco/WilsonH0710.1145/1276958.1277165https://doi.org/10.1145/1276958.1277165https://dblp.org/rec/conf/gecco/WilsonH07URL#5543679Sabrina BaselicePiero A. BonattiGiovanni CriscuoloOn Finitely Recursive Programs.ICLP89-1032007Conference and Workshop Papersclosedconf/iclp/BaseliceBC0710.1007/978-3-540-74610-2_7https://doi.org/10.1007/978-3-540-74610-2_7https://dblp.org/rec/conf/iclp/BaseliceBC07URL#5561686Martin Hofmann 0008Andreas HirschbergerEmanuel KitzelmannUte SchmidInductive Synthesis of Recursive Functional Programs.KI468-4722007Conference and Workshop Papersclosedconf/ki/HofmannHKS0710.1007/978-3-540-74565-5_42https://doi.org/10.1007/978-3-540-74565-5_42https://dblp.org/rec/conf/ki/HofmannHKS07URL#5585904Giorgio TerracinaNicola LeoneVincenzino LioClaudio PanettaExperimenting with recursive queries in database and logic programming systemsCoRRabs/0704.31572007Informal and Other Publicationsopenjournals/corr/abs-0704-3157http://arxiv.org/abs/0704.3157https://dblp.org/rec/journals/corr/abs-0704-3157URL#5623593Bachir BouchehamYoucef FerdiMohamed Chawki BatoucheRecursive versus sequential multiple error measures reduction: A curve simplification approach to ECG data compression.Comput. Methods Programs Biomed.812162-1732006Journal Articlesclosedjournals/cmpb/BouchehamFB0610.1016/J.CMPB.2005.11.008https://doi.org/10.1016/j.cmpb.2005.11.008https://dblp.org/rec/journals/cmpb/BouchehamFB06URL#5640201Man WongEvolving recursive programs by using adaptive grammar based genetic programming.Genet. Program. Evolvable Mach.711272006Journal Articlesopenjournals/gpem/Wong0610.1007/S10710-006-7455-6https://doi.org/10.1007/s10710-006-7455-6https://dblp.org/rec/journals/gpem/Wong06URL#5649732Min-Hsuan FanChua-Huang HuangYeh-Ching ChungJen-Shiuh LiuJei-Zhii LeeA Programming Methodology for Designing Block Recursive Algorithms.J. Inf. Sci. Eng.22195-1212006Journal Articlesunavailablejournals/jise/FanHCLL06http://www.iis.sinica.edu.tw/page/jise/2006/200601_06.htmlhttps://dblp.org/rec/journals/jise/FanHCLL06URL#5665206Pat LangleyDongkyu ChoiLearning Recursive Control Programs from Problem Solving.J. Mach. Learn. Res.7493-5182006Journal Articlesopenjournals/jmlr/LangleyC06http://jmlr.org/papers/v7/langley06a.htmlhttps://dblp.org/rec/journals/jmlr/LangleyC06URL#5665705Abraham P. GeorgeWarren B. PowellAdaptive stepsizes for recursive estimation with applications in approximate dynamic programming.Mach. Learn.651167-1982006Journal Articlesclosedjournals/ml/GeorgeP0610.1007/S10994-006-8365-9https://doi.org/10.1007/s10994-006-8365-9https://dblp.org/rec/journals/ml/GeorgeP06URL#5670760Shujuan JiangBaowen XuLiang ShiAn approach to analyzing recursive programs with exception handling constructs.ACM SIGPLAN Notices41430-352006Journal Articlesclosedjournals/sigplan/JiangXS0610.1145/1147214.1147220https://doi.org/10.1145/1147214.1147220https://dblp.org/rec/journals/sigplan/JiangXS06URL#5679617Stefan MiliusLawrence S. MossThe category-theoretic solution of recursive program schemes.Theor. Comput. Sci.3661-23-592006Journal Articlesopenjournals/tcs/MiliusM0610.1016/J.TCS.2006.07.002https://doi.org/10.1016/j.tcs.2006.07.002https://dblp.org/rec/journals/tcs/MiliusM06URL#5684777Lawrence S. MossRecursive Program Schemes: Past, Present, and Future.AMAST22006Conference and Workshop Papersclosedconf/amast/Moss0610.1007/11784180_2https://doi.org/10.1007/11784180_2https://dblp.org/rec/conf/amast/Moss06URL#5697902Xianmin WangZhiwei MaoA Recursive Quadratic Programming Approach to Multiuser Detection for MC-CDMA System with M-QAM.CCECE468-4712006Conference and Workshop Papersclosedconf/ccece/WangM0610.1109/CCECE.2006.277545https://doi.org/10.1109/CCECE.2006.277545https://dblp.org/rec/conf/ccece/WangM06URL#5706366Tomasz PieciukiewiczKrzysztof StencelKazimierz SubietaObject-Oriented Programming with Recursive Queries.Databases and Applications228-2332006Conference and Workshop Papersunavailableconf/dba/PieciukiewiczSS06https://dblp.org/rec/conf/dba/PieciukiewiczSS06URL#5715995Alexandros AgapitosSimon M. LucasLearning Recursive Functions with Object Oriented Genetic Programming.EuroGP166-1772006Conference and Workshop Papersclosedconf/eurogp/AgapitosL0610.1007/11729976_15https://doi.org/10.1007/11729976_15https://dblp.org/rec/conf/eurogp/AgapitosL06URL#5723797Christof LödingOlivier SerrePropositional Dynamic Logic with Recursive Programs.FoSSaCS292-3062006Conference and Workshop Papersopenconf/fossacs/LodingS0610.1007/11690634_20https://doi.org/10.1007/11690634_20https://dblp.org/rec/conf/fossacs/LodingS06URL#5726539Keiko Nakata 0001Jacques GarrigueRecursive modules for programming.ICFP74-862006Conference and Workshop Papersclosedconf/icfp/NakataG0610.1145/1159803.1159813https://doi.org/10.1145/1159803.1159813https://dblp.org/rec/conf/icfp/NakataG06URL#5741539Sagar ChakiEdmund M. ClarkeNicholas KiddThomas W. RepsTayssir TouiliVerifying Concurrent Message-Passing C Programs with Recursive Calls.TACAS334-3492006Conference and Workshop Papersopenconf/tacas/ChakiCKRT0610.1007/11691372_22https://doi.org/10.1007/11691372_22https://dblp.org/rec/conf/tacas/ChakiCKRT06URL#5789595Ittai BalabanAriel Cohen 0002Amir PnueliRanking Abstraction of Recursive Programs.VMCAI267-2812006Conference and Workshop Papersclosedconf/vmcai/BalabanCP0610.1007/11609773_18https://doi.org/10.1007/11609773_18https://dblp.org/rec/conf/vmcai/BalabanCP06URL#5791818Man WongTuen MunEvolving Recursive Programs by Using Adaptive Grammar Based Genetic Programming.Genet. Program. Evolvable Mach.64421-4552005Journal Articlesclosedjournals/gpem/WongM0510.1007/S10710-005-4805-8https://doi.org/10.1007/s10710-005-4805-8https://dblp.org/rec/journals/gpem/WongM05URL#5823384Yusuke IchikawaZenjiro KonishiYoshihiko FutamuraRecursion Removal from Recursive Programs with Only One Descent Function.IEICE Trans. Inf. Syst.88-D2187-1962005Journal Articlesclosedjournals/ieicet/IchikawaKF05http://search.ieice.org/bin/summary.php?id=e88-d_2_187&category=D&year=2005&lang=E&abst=https://dblp.org/rec/journals/ieicet/IchikawaKF05URL#5825206Rajeev AlurMichael BenediktKousha EtessamiPatrice GodefroidThomas W. RepsMihalis YannakakisAnalysis of recursive state machines.ACM Trans. Program. Lang. Syst.274786-8182005Journal Articlesclosedjournals/toplas/AlurBEGRY0510.1145/1075382.1075387https://doi.org/10.1145/1075382.1075387https://dblp.org/rec/journals/toplas/AlurBEGRY05URL#5858585M. R. K. Krishna RaoLearning Recursive Prolog Programs with Local Variables from Examples.AAIP51-572005Conference and Workshop Papersclosedconf/aaip/Rao05https://cogsys.uni-bamberg.de/events/aaip05/proceedings/aaip_krishna.pdfhttps://dblp.org/rec/conf/aaip/Rao05URL#5863742John G. MerschEquational Logic of Recursive Program Schemes.CALCO278-2922005Conference and Workshop Papersclosedconf/calco/Mersch0510.1007/11548133_18https://doi.org/10.1007/11548133_18https://dblp.org/rec/conf/calco/Mersch05URL#5872768Stefan MiliusLawrence S. MossThe Category Theoretic Solution of Recursive Program Schemes.CALCO293-3122005Conference and Workshop Papersclosedconf/calco/MiliusM0510.1007/11548133_19https://doi.org/10.1007/11548133_19https://dblp.org/rec/conf/calco/MiliusM05URL#5872769Yi-Dong ShenQiang Yang 0001Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops.ILP330-3472005Conference and Workshop Papersclosedconf/ilp/ShenY0510.1007/11536314_20https://doi.org/10.1007/11536314_20https://dblp.org/rec/conf/ilp/ShenY05URL#5916711Tayssir TouiliDealing with Communication for Dynamic Multithreaded Recursive Programs.VISSAS213-2272005Conference and Workshop Papersunavailableconf/vissas/Touili05https://dblp.org/rec/conf/vissas/Touili05URL#5949044Yi-Dong ShenQiang Yang 0001Jia-Huai YouLi-Yan YuanDeriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive LoopsCoRRabs/cs/05060952005Informal and Other Publicationsopenjournals/corr/abs-cs-0506095http://arxiv.org/abs/cs/0506095https://dblp.org/rec/journals/corr/abs-cs-0506095URL#5960670Douglas A. CenzerJeffrey B. RemmelAmy VanderbiltLocally Determined Logic Programs and Recursive Stable Models.Ann. Math. Artif. Intell.403-4225-2622004Journal Articlesclosedjournals/amai/CenzerRV0410.1023/B:AMAI.0000012868.41613.E7https://doi.org/10.1023/B:AMAI.0000012868.41613.e7https://dblp.org/rec/journals/amai/CenzerRV04URL#5966585Tao JuScott SchaeferRon Goldman 0002Recursive turtle programs and iterated affine transformations.Comput. Graph.286991-10042004Journal Articlesclosedjournals/cg/JuSG0410.1016/J.CAG.2004.08.016https://doi.org/10.1016/j.cag.2004.08.016https://dblp.org/rec/journals/cg/JuSG04URL#5971280Gérard BoudolThe recursive record semantics of objects revisited.J. Funct. Program.143263-3152004Journal Articlesclosedjournals/jfp/Boudol0410.1017/S0956796803004775https://doi.org/10.1017/S0956796803004775https://dblp.org/rec/journals/jfp/Boudol04URL#5990325Bartek KlinAdding recursive constructs to bialgebraic semantics.J. Log. Algebraic Methods Program.60-61259-2862004Journal Articlesopenjournals/jlp/Klin0410.1016/J.JLAP.2004.03.005https://doi.org/10.1016/j.jlap.2004.03.005https://dblp.org/rec/journals/jlp/Klin04URL#5991368John ClementsMatthias FelleisenA tail-recursive machine with stack inspection.ACM Trans. Program. Lang. Syst.2661029-10522004Journal Articlesclosedjournals/toplas/ClementsF0410.1145/1034774.1034778https://doi.org/10.1145/1034774.1034778https://dblp.org/rec/journals/toplas/ClementsF04URL#6009712Evan KirshenbaumHenri Jacques SuermondtUsing Genetic Programming to Obtain a Closed-Form Approximation to a Recursive Function.GECCO543-5562004Conference and Workshop Papersclosedconf/gecco/KirshenbaumS0410.1007/978-3-540-24855-2_64https://doi.org/10.1007/978-3-540-24855-2_64https://dblp.org/rec/conf/gecco/KirshenbaumS04URL#6037616Wolfgang Faber 0001Nicola LeoneGerald PfeiferRecursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity.JELIA200-2122004Conference and Workshop Papersclosedconf/jelia/FaberLP0410.1007/978-3-540-30227-8_19https://doi.org/10.1007/978-3-540-30227-8_19https://dblp.org/rec/conf/jelia/FaberLP04URL#6069180Georg Ch. PflugLadislav HaladaA Note on the Recursive and Parallel Structure of the Birge and Qi Factorization for Tree Structured Linear Programs.Comput. Optim. Appl.242-3251-2652003Journal Articlesclosedjournals/coap/PflugH0310.1023/A:1021810125060https://doi.org/10.1023/A:1021810125060https://dblp.org/rec/journals/coap/PflugH03URL#6107297Kazuhisa YanagawaNaohito SatoNoritaka OsawaToshitsugu YubaAn efficient scheme for accepting recursive method calls in object-oriented concurrent programming.Syst. Comput. Jpn.3414101-1092003Journal Articlesclosedjournals/scjapan/YanagawaSOY0310.1002/SCJ.1226https://doi.org/10.1002/scj.1226https://dblp.org/rec/journals/scjapan/YanagawaSOY03URL#6133686Yanhong A. LiuScott D. StollerEliminating dead code on recursive data.Sci. Comput. Program.472-3221-2422003Journal Articlesopenjournals/scp/LiuS0310.1016/S0167-6423(02)00134-Xhttps://doi.org/10.1016/S0167-6423(02)00134-Xhttps://dblp.org/rec/journals/scp/LiuS03URL#6133815Roxana DiaconescuReidar ConradiDistributed Recursive Sets: Programmability and Effectiveness for Data Intensive Applications.CLUSTER483-4862003Conference and Workshop Papersclosedconf/cluster/DiaconescuC0310.1109/CLUSTR.2003.1253354https://doi.org/10.1109/CLUSTR.2003.1253354https://dblp.org/rec/conf/cluster/DiaconescuC03URL#6155550Mykel J. KochenderferEvolving Hierarchical and Recursive Teleo-reactive Programs through Genetic Programming.EuroGP83-922003Conference and Workshop Papersclosedconf/eurogp/Kochenderfer0310.1007/3-540-36599-0_8https://doi.org/10.1007/3-540-36599-0_8https://dblp.org/rec/conf/eurogp/Kochenderfer03URL#6163812Pedro B. VasconcelosKevin HammondInferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs.IFL86-1012003Conference and Workshop Papersclosedconf/ifl/VasconcelosH0310.1007/978-3-540-27861-0_6https://doi.org/10.1007/978-3-540-27861-0_6https://dblp.org/rec/conf/ifl/VasconcelosH03URL#6181207Vladimir GapeyevMichael Y. LevinBenjamin C. PierceRecursive subtyping revealed.J. Funct. Program.126511-5482002Journal Articlesclosedjournals/jfp/GapeyevLP0210.1017/S0956796802004318https://doi.org/10.1017/S0956796802004318https://dblp.org/rec/journals/jfp/GapeyevLP02URL#6236495A. J. WilderRecursive tables and effective definition schemes.J. Log. Algebraic Methods Program.511101-1212002Journal Articlesopenjournals/jlp/Wilder0210.1016/S1567-8326(01)00017-0https://doi.org/10.1016/S1567-8326(01)00017-0https://dblp.org/rec/journals/jlp/Wilder02URL#6237394E. G. SukhovRecursive Cell Rotation Method.Program. Comput. Softw.28115-192002Journal Articlesclosedjournals/pcs/Sukhov0210.1023/A:1013703432502https://doi.org/10.1023/A:1013703432502https://dblp.org/rec/journals/pcs/Sukhov02URL#6243020Jörg FischerSergei GorlatchTuring Universality of Recursive Patterns for Parallel Programming.Parallel Process. Lett.122229-2462002Journal Articlesclosedjournals/ppl/FischerG0210.1142/S012962640200094Xhttps://doi.org/10.1142/S012962640200094Xhttps://dblp.org/rec/journals/ppl/FischerG02URL#6243615Dominic DugganType-Safe linking with recursive DLLs and shared libraries.ACM Trans. Program. Lang. Syst.246711-8042002Journal Articlesclosedjournals/toplas/Duggan0210.1145/586088.586093https://doi.org/10.1145/586088.586093https://dblp.org/rec/journals/toplas/Duggan02URL#6252677Lutz PrecheltStefan U. HänßgenEfficient Parallel Execution of Irregular Recursive Programs.IEEE Trans. Parallel Distributed Syst.132167-1782002Journal Articlesclosedjournals/tpds/PrecheltH0210.1109/71.983944https://doi.org/10.1109/71.983944https://dblp.org/rec/journals/tpds/PrecheltH02URL#6252774Yusuke IchikawaZenjiro KonishiYoshihiko FutamuraRecursion Removal from Recursive Programs with One Descent Function.APLAS383-3952002Conference and Workshop Papersunavailableconf/aplas/IchikawaKF02https://dblp.org/rec/conf/aplas/IchikawaKF02URL#6258618Min-Hsuan FanChua-Huang HuangYeh-Ching ChungA Programming Methodology for Designing Block Recursive Algorithms on Various Computer Networks.ICPP Workshops607-6142002Conference and Workshop Papersclosedconf/icppw/FanHC0210.1109/ICPPW.2002.1039783https://doi.org/10.1109/ICPPW.2002.1039783https://dblp.org/rec/conf/icppw/FanHC02URL#6282753Yanhong A. LiuScott D. StollerProgram optimization using indexed and recursive data structures.PEPM108-1182002Conference and Workshop Papersclosedconf/pepm/LiuS0210.1145/503032.503041https://doi.org/10.1145/503032.503041https://dblp.org/rec/conf/pepm/LiuS02URL#6299356Samik Basu 0001K. Narayan KumarL. Robert PokornyC. R. Ramakrishnan 0001Resource-Constrained Model Checking of Recursive Programs.TACAS236-2502002Conference and Workshop Papersclosedconf/tacas/BasuKPR0210.1007/3-540-46002-0_17https://doi.org/10.1007/3-540-46002-0_17https://dblp.org/rec/conf/tacas/BasuKPR02URL#6305549Xingyuan ZhangMalcolm MunroMark HarmanLin Hu 0005Weakest Precondition for General Recursive Programs Formalized in Coq.TPHOLs332-3482002Conference and Workshop Papersclosedconf/tphol/ZhangMHH0210.1007/3-540-45685-6_22https://doi.org/10.1007/3-540-45685-6_22https://dblp.org/rec/conf/tphol/ZhangMHH02URL#6305819Alberto PardoA calculational approach to recursive programs with effects / von Albert Pardo.1-2182001Books and Thesesunavailablephd/dnb/Pardo01https://d-nb.info/965558096https://dblp.org/rec/phd/dnb/Pardo01URL#6313544C. S. BuchananK. I. M. McKinnonG. K. SkondrasThe Recursive Definition of Stochastic Linear Programming Problems within an Algebraic Modeling Language.Ann. Oper. Res.1041-415-322001Journal Articlesclosedjournals/anor/BuchananMS0110.1023/A:1013126632649https://doi.org/10.1023/A:1013126632649https://dblp.org/rec/journals/anor/BuchananMS01URL#6316016Tina YuHierarchical Processing for Evolving Recursive and Modular Programs Using Higher-Order Functions and Lambda Abstraction.Genet. Program. Evolvable Mach.24345-3802001Journal Articlesclosedjournals/gpem/Yu0110.1023/A:1012926821302https://doi.org/10.1023/A:1012926821302https://dblp.org/rec/journals/gpem/Yu01URL#6325304Reinhard KahleThomas StuderFormalizing non-termination of recursive programs.J. Log. Algebraic Methods Program.491-21-142001Journal Articlesopenjournals/jlp/KahleS0110.1016/S1567-8326(01)00006-6https://doi.org/10.1016/S1567-8326(01)00006-6https://dblp.org/rec/journals/jlp/KahleS01URL#6333406Irina A. LomazovaRecursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility.Program. Comput. Softw.274183-1932001Journal Articlesclosedjournals/pcs/Lomazova0110.1023/A:1010914603293https://doi.org/10.1023/A:1010914603293https://dblp.org/rec/journals/pcs/Lomazova01URL#6338586Baowen XuZhenqiang ChenDependence Analysis for Recursive Java Programs.ACM SIGPLAN Notices361270-762001Journal Articlesclosedjournals/sigplan/XuC0110.1145/583960.583969https://doi.org/10.1145/583960.583969https://dblp.org/rec/journals/sigplan/XuC01URL#6341795Jack J. DongarraVictor EijkhoutPiotr LuszczekRecursive approach in sparse matrix LU factorization.Sci. Program.9151-602001Journal Articlesopenjournals/sp/DongarraEL0110.1155/2001/569670https://doi.org/10.1155/2001/569670https://dblp.org/rec/journals/sp/DongarraEL01URL#6342506Rimmert WittebroodGerard de HaanReal-time recursive motion segmentation of video data on a programmable device.IEEE Trans. Consumer Electron.473559-5672001Journal Articlesclosedjournals/tce/WittebroodH0110.1109/30.964146https://doi.org/10.1109/30.964146https://dblp.org/rec/journals/tce/WittebroodH01URL#6344295Alberto PardoFusion of recursive programs with computational effects.Theor. Comput. Sci.2601-2165-2072001Journal Articlesopenjournals/tcs/Pardo0110.1016/S0304-3975(00)00127-4https://doi.org/10.1016/S0304-3975(00)00127-4https://dblp.org/rec/journals/tcs/Pardo01URL#6344854Andrew W. AppelDavid A. McAllesterAn indexed model of recursive types for foundational proof-carrying code.ACM Trans. Program. Lang. Syst.235657-6832001Journal Articlesclosedjournals/toplas/AppelM0110.1145/504709.504712https://doi.org/10.1145/504709.504712https://dblp.org/rec/journals/toplas/AppelM01URL#6347661Javier EsparzaStefan SchwoonA BDD-Based Model Checker for Recursive Programs.CAV324-3362001Conference and Workshop Papersclosedconf/cav/EsparzaS0110.1007/3-540-44585-4_30https://doi.org/10.1007/3-540-44585-4_30https://dblp.org/rec/conf/cav/EsparzaS01URL#6354562Noam RinetzkyShmuel SagivInterprocedural Shape Analysis for Recursive Programs.CC133-1492001Conference and Workshop Papersclosedconf/cc/RinetzkyS0110.1007/3-540-45306-7_10https://doi.org/10.1007/3-540-45306-7_10https://dblp.org/rec/conf/cc/RinetzkyS01URL#6354691Iain A. StewartProgram Schemes, Queues, the Recursive Spectrum and Zero-One Laws.COCOON39-482001Conference and Workshop Papersclosedconf/cocoon/Stewart0110.1007/3-540-44679-6_5https://doi.org/10.1007/3-540-44679-6_5https://dblp.org/rec/conf/cocoon/Stewart01URL#6357341Shigeta KuninobuYoshiaki TakataHiroyuki SekiKatsuro InoueAn Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes.ICICS292-3032001Conference and Workshop Papersclosedconf/icics/KuninobuTSI0110.1007/3-540-45600-7_33https://doi.org/10.1007/3-540-45600-7_33https://dblp.org/rec/conf/icics/KuninobuTSI01URL#6372153James L. CaldwellExtracting General Recursive Program Schemes in Nuprl's Type Theory.LOPSTR233-2442001Conference and Workshop Papersclosedconf/lopstr/Caldwell0110.1007/3-540-45607-4_13https://doi.org/10.1007/3-540-45607-4_13https://dblp.org/rec/conf/lopstr/Caldwell01URL#6383048Margaret M. BurnettBing RenAmy J. KoCurtis R. CookGregg RothermelVisually Testing Recursive Programs in Spreadsheet Languages.HCC288-2001Conference and Workshop Papersclosedconf/vl/BurnettRKCR0110.1109/HCC.2001.995276https://doi.org/10.1109/HCC.2001.995276https://dblp.org/rec/conf/vl/BurnettRKCR01URL#6393705Frank HuchModel Checking Erlang Programs - Abstracting Recursive Function Calls.WFLP195-2192001Conference and Workshop Papersopenjournals/entcs/Huch0210.1016/S1571-0661(04)80351-7https://doi.org/10.1016/S1571-0661(04)80351-7https://dblp.org/rec/journals/entcs/Huch02URL#6396958Manish GuptaSayak MukhopadhyayNavin SinhaAutomatic Parallelization of Recursive Procedures.Int. J. Parallel Program.286537-5622000Journal Articlesclosedjournals/ijpp/GuptaMS0010.1023/A:1007560600904https://doi.org/10.1023/A:1007560600904https://dblp.org/rec/journals/ijpp/GuptaMS00URL#6413996Vladimir A. ZakharovOn the Decidability of the Equivalence Problem for Monadic Recursive Programs.RAIRO Theor. Informatics Appl.342157-1722000Journal Articlesclosedjournals/ita/Zakharov0010.1051/ITA:2000112https://doi.org/10.1051/ita:2000112https://dblp.org/rec/journals/ita/Zakharov00URL#6416151Oliver M. DuschkaMichael R. GeneserethAlon Y. LevyRecursive Query Plans for Data Integration.J. Log. Program.43149-732000Journal Articlesopenjournals/jlp/DuschkaGL0010.1016/S0743-1066(99)00025-4https://doi.org/10.1016/S0743-1066(99)00025-4https://dblp.org/rec/journals/jlp/DuschkaGL00URL#6419036Olivier DanvyUlrik Pagh SchultzLambda-dropping: transforming recursive equations into programs with block structure.Theor. Comput. Sci.2481-2243-2872000Journal Articlesopenjournals/tcs/DanvyS0010.1016/S0304-3975(00)00054-2https://doi.org/10.1016/S0304-3975(00)00054-2https://dblp.org/rec/journals/tcs/DanvyS00URL#6430188Arne John GlenstrupTerminator II - stopping partial evaluatin of fully recursive programs.Technical report / University of Copenhagen / Datalogisk institut99/81-2581999Books and Thesesunavailablebooks/daglib/0001594https://dblp.org/rec/books/daglib/0001594URL#6480779Alessandro ArmandoAlan SmaillIan GreenAutomatic Synthesis of Recursive Programs: The Proof-Planning Paradigm.Autom. Softw. Eng.64329-3561999Journal Articlesclosedjournals/ase/ArmandoSG9910.1023/A:1008763422061https://doi.org/10.1023/A:1008763422061https://dblp.org/rec/journals/ase/ArmandoSG99URL#6484741Henning FernauFrank Stephan 0001Characterizations of Recursively Enumerable Languages by Programmed Grammars With Unconditional Transfer.J. Autom. Lang. Comb.42117-1421999Journal Articlesclosedjournals/jalc/FernauS9910.25596/JALC-1999-117https://doi.org/10.25596/jalc-1999-117https://dblp.org/rec/journals/jalc/FernauS99URL#6496217Peter MaddenAlan BundyAlan SmaillRecursive Program Optimization Through Inductive Synthesis Proof Transformation.J. Autom. Reason.22165-1151999Journal Articlesclosedjournals/jar/MaddenBS9910.1023/A:1005969312327https://doi.org/10.1023/A:1005969312327https://dblp.org/rec/journals/jar/MaddenBS99URL#6496334Dinh LêDouglas Stott Parker Jr.Using randomization to make recursive matrix algorithms practical.J. Funct. Program.96605-6241999Journal Articlesclosedjournals/jfp/LeP9910.1017/S0956796899003470https://doi.org/10.1017/s0956796899003470https://dblp.org/rec/journals/jfp/LeP99URL#6497689Susumu NishimuraAtsushi OhoriParallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion.J. Funct. Program.94427-4621999Journal Articlesclosedjournals/jfp/NishimuraO9910.1017/S0956796899003457https://doi.org/10.1017/s0956796899003457https://dblp.org/rec/journals/jfp/NishimuraO99URL#6497693Pierre FlenerSerap YilmazInductive Synthesis of Recursive Logic Programs: Achievements and Prospects.J. Log. Program.412-3141-1951999Journal Articlesopenjournals/jlp/FlenerY9910.1016/S0743-1066(99)00028-Xhttps://doi.org/10.1016/S0743-1066(99)00028-Xhttps://dblp.org/rec/journals/jlp/FlenerY99URL#6498438Sei-Jong ChungRecursive algorithm with C++ program for floating-point arithmetic.ACM SIGCSE Bull.31228-301999Journal Articlesclosedjournals/sigcse/Chung9910.1145/571535.571562https://doi.org/10.1145/571535.571562https://dblp.org/rec/journals/sigcse/Chung99URL#6505193Zhiyong Li 0002John H. ReifSandeep K. S. GuptaSynthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms Using Block-Cyclic Data Distributions.IEEE Trans. Parallel Distributed Syst.103297-3151999Journal Articlesclosedjournals/tpds/LiRG9910.1109/71.755830https://doi.org/10.1109/71.755830https://dblp.org/rec/journals/tpds/LiRG99URL#6510575Wu-Sheng LuMinimum-norm realization of 2D recursive filters: a quasiconvex programming approach.ISCAS335-3381999Conference and Workshop Papersclosedconf/iscas/Lu99a10.1109/ISCAS.1999.778853https://doi.org/10.1109/ISCAS.1999.778853https://dblp.org/rec/conf/iscas/Lu99aURL#6536221Idris El-FeghiMaher A. Sid-AhmedMajid AhmadiDesign of 3-D recursive digital filters using linear programming.ISSPA973-9761999Conference and Workshop Papersclosedconf/isspa/El-FeghiSA9910.1109/ISSPA.1999.815834https://doi.org/10.1109/ISSPA.1999.815834https://dblp.org/rec/conf/isspa/El-FeghiSA99URL#6537455Daniel Le MétayerValérie-Anne NicolasOlivier RidouxVerification by Testing for Recursive Program Schemes.LOPSTR255-2721999Conference and Workshop Papersclosedconf/lopstr/MetayerNR9910.1007/10720327_15https://doi.org/10.1007/10720327_15https://dblp.org/rec/conf/lopstr/MetayerNR99URL#6539356Peter RossDavid OvertonZoltan SomogyiMaking Mercury Programs Tail Recursive.LOPSTR196-2151999Conference and Workshop Papersclosedconf/lopstr/RossOS9910.1007/10720327_12https://doi.org/10.1007/10720327_12https://dblp.org/rec/conf/lopstr/RossOS99URL#6539360Imre SzeberényiGábor DokomosSolving Generalized Boundary Value Problems with Distributed Computing and Recursive Programming.PVM/MPI267-2741999Conference and Workshop Papersclosedconf/pvm/SzeberenyiD9910.1007/3-540-48158-3_33https://doi.org/10.1007/3-540-48158-3_33https://dblp.org/rec/conf/pvm/SzeberenyiD99URL#6543274Jacques ChazarainSerge MullerAutomated Synthesis of Recursive Programs from a forall-exists Logical Specification.J. Autom. Reason.212233-2751998Journal Articlesclosedjournals/jar/ChazarainM9810.1023/A:1005903504159https://doi.org/10.1023/A:1005903504159https://dblp.org/rec/journals/jar/ChazarainM98URL#6565917Heinz FaßbenderSebastian ManethA Strict Border for the Decidability of E-Unification for Recursive Functions.J. Funct. Log. Program.199841998Journal Articlesclosedjournals/jflp/FassbenderM98http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-04/A98-04.htmlhttps://dblp.org/rec/journals/jflp/FassbenderM98URL#6567224Richard Hull 0001Jianwen SuDeductive Query Languages for Recursively Typed Complex Objects.J. Log. Program.353231-2611998Journal Articlesopenjournals/jlp/HullS9810.1016/S0743-1066(97)10009-7https://doi.org/10.1016/S0743-1066(97)10009-7https://dblp.org/rec/journals/jlp/HullS98URL#6567886K. Rustan M. LeinoRecursive Object Types in a Logic of Object-Oriented Programs.Nord. J. Comput.54330-3601998Journal Articlesunavailablejournals/njc/Leino98https://dblp.org/rec/journals/njc/Leino98URL#6571445Jens PalsbergEquality-based flow analysis versus recursive types.ACM Trans. Program. Lang. Syst.2061251-12641998Journal Articlesclosedjournals/toplas/Palsberg9810.1145/295656.295662https://doi.org/10.1145/295656.295662https://dblp.org/rec/journals/toplas/Palsberg98URL#6579174Albert Cohen 0001Jean-Francois CollardInstance-Wise Reaching Definition Analysis for Recursive Programs using Context-Free Transductions.IEEE PACT332-3391998Conference and Workshop Papersclosedconf/IEEEpact/CohenC9810.1109/PACT.1998.727269https://doi.org/10.1109/PACT.1998.727269https://dblp.org/rec/conf/IEEEpact/CohenC98URL#6580973Rakesh GhiyaLaurie J. HendrenYingchun ZhuDetecting Parallelism in C Programs with Recursive Darta Structures.CC159-1731998Conference and Workshop Papersclosedconf/cc/GhiyaHZ9810.1007/BFB0026429https://doi.org/10.1007/BFb0026429https://dblp.org/rec/conf/cc/GhiyaHZ98URL#6584410Ute SchmidFritz WysotzkiInduction of Recursive Program Schemes.ECML214-2251998Conference and Workshop Papersclosedconf/ecml/SchmidW9810.1007/BFB0026692https://doi.org/10.1007/BFb0026692https://dblp.org/rec/conf/ecml/SchmidW98URL#6588209K. Rustan M. LeinoRecursive Object Types in a Logic of Object-Oriented Programs.ESOP170-1841998Conference and Workshop Papersclosedconf/esop/Leino9810.1007/BFB0053570https://doi.org/10.1007/BFb0053570https://dblp.org/rec/conf/esop/Leino98URL#6589359Paul FeautrierA Parallelization Framework for Recursive Tree Programs.Euro-Par470-4791998Conference and Workshop Papersclosedconf/europar/Feautrier9810.1007/BFB0057890https://doi.org/10.1007/BFb0057890https://dblp.org/rec/conf/europar/Feautrier98URL#6589726Hideya IwasakiZhenjiang HuMasato TakeichiTowards Manipulation of Mutually Recursive Functions.Fuji International Symposium on Functional and Logic Programming61-791998Conference and Workshop Papersunavailableconf/flops/IwasakiHT98https://dblp.org/rec/conf/flops/IwasakiHT98URL#6590948Dingchao LiYuji IwahoriNaohiro IshiiA recursive time estimation algorithm for program traces under resource constraints.SAC635-6401998Conference and Workshop Papersclosedconf/sac/LiII9810.1145/330560.331005https://doi.org/10.1145/330560.331005https://dblp.org/rec/conf/sac/LiII98URL#6608357Olga KouchnarenkoSémantique des programmes récursifs-parallèles et méthodes pour leur analyse. (Semantics of recursive-parallel programs and methods for their analysis).1997Books and Thesesopenphd/hal/Kouchnarenko97https://tel.archives-ouvertes.fr/tel-00004949https://dblp.org/rec/phd/hal/Kouchnarenko97URL#6618336Kouichi HirataConstructing Simply Recursive Programs from a Finite Set of Good Examples.Inf. Process. Lett.645225-2301997Journal Articlesclosedjournals/ipl/Hirata9710.1016/S0020-0190(97)00185-3https://doi.org/10.1016/S0020-0190(97)00185-3https://dblp.org/rec/journals/ipl/Hirata97URL#6628586Surajit ChaudhuriMoshe Y. VardiOn the Equivalence of Recursive and Nonrecursive Datalog Programs.J. Comput. Syst. Sci.54161-781997Journal Articlesopenjournals/jcss/ChaudhuriV9710.1006/JCSS.1997.1452https://doi.org/10.1006/jcss.1997.1452https://dblp.org/rec/journals/jcss/ChaudhuriV97URL#6630366Mourad DebbabiZahia AïdoudAli FaourOn the Inference od Structured Recursive Effects with Subtyping.J. Funct. Log. Program.199751997Journal Articlesclosedjournals/jflp/DebbabiAF97http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-05/A97-05.htmlhttps://dblp.org/rec/journals/jflp/DebbabiAF97URL#6630778Bjarte M. ØstvoldInductive Synthesis of Recursive Functional Programs (Poster Abstract).ICFP3231997Conference and Workshop Papersclosedconf/icfp/Ostvold9710.1145/258948.258992https://doi.org/10.1145/258948.258992https://dblp.org/rec/conf/icfp/Ostvold97URL#6656438Mitsue FurusawaNobuhiro InuzukaHirohisa SekiHidenori ItohInduction of Logic Programs with More Than One Recursive Clause by Analyzing Saturations.ILP165-1721997Conference and Workshop Papersclosedconf/ilp/FurusawaISI9710.1007/3540635149_45https://doi.org/10.1007/3540635149_45https://dblp.org/rec/conf/ilp/FurusawaISI97URL#6660357Alessandro ArmandoAlan SmaillIan GreenAutomatic Synthesis of Recursive Programs: The Proof-Planning Paradigm.ASE2-91997Conference and Workshop Papersclosedconf/kbse/ArmandoSG9710.1109/ASE.1997.632818https://doi.org/10.1109/ASE.1997.632818https://dblp.org/rec/conf/kbse/ArmandoSG97URL#6663849Olga KouchnarenkoPhilippe SchnoebelenA Formal Framework for the Analysis of Recursive-Parallel Programs.PaCT45-591997Conference and Workshop Papersclosedconf/pact/KushnarenkoS9710.1007/3-540-63371-5_6https://doi.org/10.1007/3-540-63371-5_6https://dblp.org/rec/conf/pact/KushnarenkoS97URL#6665688Olivier DanvyUlrik Pagh SchultzLambda-Dropping: Transforming Recursive Equations into Programs with Block Structure.PEPM90-1061997Conference and Workshop Papersclosedconf/pepm/DanvyS9710.1145/258993.259007https://doi.org/10.1145/258993.259007https://dblp.org/rec/conf/pepm/DanvyS97URL#6666317Jichang TanI-Peng LinRecursive Modes for Precise Analysis of Logic Programs.ILPS277-2901997Conference and Workshop Papersunavailableconf/slp/TanL97https://dblp.org/rec/conf/slp/TanL97URL#6669159Dali ZhangJoseph BuongiornoPeter J. InceA recursive linear programming analysis of the future of the pulp and paper industry in the United States: Changes in supplies and demands, and the effects of recycling.Ann. Oper. Res.681109-1391996Journal Articlesclosedjournals/anor/ZhangBI9610.1007/BF02205451https://doi.org/10.1007/BF02205451https://dblp.org/rec/journals/anor/ZhangBI96URL#6676310Sandeep K. S. GuptaChua-Huang HuangP. SadayappanRodney W. JohnsonA Framework for Generating Distributed-Memory Parallel Programs for Block Recursive Algorithms.J. Parallel Distributed Comput.342137-1531996Journal Articlesclosedjournals/jpdc/GuptaHSJ9610.1006/JPDC.1996.0051https://doi.org/10.1006/jpdc.1996.0051https://dblp.org/rec/journals/jpdc/GuptaHSJ96URL#6687811Ryoichi UedaLin LianKatsuro InoueKoji ToriiAn algorithm for computing slices for recursive program.Syst. Comput. Jpn.27346-591996Journal Articlesclosedjournals/scjapan/UedaLIT9610.1002/SCJ.4690270305https://doi.org/10.1002/scj.4690270305https://dblp.org/rec/journals/scjapan/UedaLIT96URL#6692555Emile H. L. AartsGerben EssinkErwin A. de KockRecursive Bipartitioning of Signal Flow Graphs for Programmable Video Signal Processors.ED&TC460-4661996Conference and Workshop Papersclosedconf/date/AartsEK9610.1109/EDTC.1996.494341https://doi.org/10.1109/EDTC.1996.494341https://dblp.org/rec/conf/date/AartsEK96URL#6703655Andreas HamfeltJørgen Fischer NilssonDeclarative Logic Programming with Primitive Recursive Relations on Lists.JICSLP230-2431996Conference and Workshop Papersclosedconf/iclp/HamfeltN96https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278924https://dblp.org/rec/conf/iclp/HamfeltN96URL#6711716Zhiyong Li 0002John H. ReifSandeep K. S. GuptaSynthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms Using Block-Cyclic Data Distributions.ICPP, Vol. 2142-1491996Conference and Workshop Papersclosedconf/icpp/LiRG9610.1109/ICPP.1996.537393https://doi.org/10.1109/ICPP.1996.537393https://dblp.org/rec/conf/icpp/LiRG96URL#6712690Jerzy MarcinkowskiThe 3 Frenchmen Method Proves Undecidability of the Uniform Boundedness for Single Recursive Rule Ternary DATALOG Programs.STACS427-4381996Conference and Workshop Papersclosedconf/stacs/Marcinkowski9610.1007/3-540-60922-9_35https://doi.org/10.1007/3-540-60922-9_35https://dblp.org/rec/conf/stacs/Marcinkowski96URL#6722883Olga KouchnarenkoPhilippe SchnoebelenA model for recursive-parallel programs.INFINITY301996Conference and Workshop Papersopenjournals/entcs/KouchnarenkoS9610.1016/S1571-0661(05)82512-5https://doi.org/10.1016/S1571-0661(05)82512-5https://dblp.org/rec/journals/entcs/KouchnarenkoS96URL#6724771Hing LeungDesh RanjanHéctor J. HernándezD. T. TangAgustin GonzálezA Simple Proof on the Decidability of Equivalence Between Recursive and Nonrecursive Datalog Programs.Inf. Process. Lett.555279-2821995Journal Articlesclosedjournals/ipl/LeungRHTG9510.1016/0020-0190(95)00097-Vhttps://doi.org/10.1016/0020-0190(95)00097-Vhttps://dblp.org/rec/journals/ipl/LeungRHTG95URL#6736427William W. CohenPac-Learning Recursive Logic Programs: Efficient Algorithms.J. Artif. Intell. Res.2501-5391995Journal Articlesopenjournals/jair/Cohen9510.1613/JAIR.97https://doi.org/10.1613/jair.97https://dblp.org/rec/journals/jair/Cohen95URL#6737014William W. CohenPac-learning Recursive Logic Programs: Negative Results.J. Artif. Intell. Res.2541-5731995Journal Articlesopenjournals/jair/Cohen95a10.1613/JAIR.1917https://doi.org/10.1613/jair.1917https://dblp.org/rec/journals/jair/Cohen95aURL#6737015Irène GuessarianJean-Eric PinLinearizing Some Recursive Logic Programs.IEEE Trans. Knowl. Data Eng.71137-1491995Journal Articlesclosedjournals/tkde/GuessarianP9510.1109/69.368513https://doi.org/10.1109/69.368513https://dblp.org/rec/journals/tkde/GuessarianP95URL#6747639Ralf ThieleRalf ZimmerThomas LengauerRecursive Dynamic Programming for Adaptive Sequence and Structure Alignment.ISMB384-3921995Conference and Workshop Papersclosedconf/ismb/ThieleZL95http://www.aaai.org/Library/ISMB/1995/ismb95-046.phphttps://dblp.org/rec/conf/ismb/ThieleZL95URL#6764994Daniel Le MétayerProving Properties of Programs Defined over Recursive Data Structures.PEPM88-991995Conference and Workshop Papersclosedconf/pepm/Metayer9510.1145/215465.215567https://doi.org/10.1145/215465.215567https://dblp.org/rec/conf/pepm/Metayer95URL#6767864Jacques ChazarainSerge MullerLEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories.RTA420-4251995Conference and Workshop Papersclosedconf/rta/ChazarainM9510.1007/3-540-59200-8_76https://doi.org/10.1007/3-540-59200-8_76https://dblp.org/rec/conf/rta/ChazarainM95URL#6768835William W. CohenPac-Learning Recursive Logic Programs: Efficient AlgorithmsCoRRcs.AI/95051041995Informal and Other Publicationsopenjournals/corr/cs-AI-9505104https://arxiv.org/abs/cs/9505104https://dblp.org/rec/journals/corr/cs-AI-9505104URL#6773878William W. CohenPac-learning Recursive Logic Programs: Negative ResultsCoRRcs.AI/95051051995Informal and Other Publicationsopenjournals/corr/cs-AI-9505105https://arxiv.org/abs/cs/9505105https://dblp.org/rec/journals/corr/cs-AI-9505105URL#6773879Chowdhury Rahman MofizurMasayuki NumaoConstructive Induction for Recursive Programs.AII/ALT161-1751994Conference and Workshop Papersclosedconf/alt/MofizurN9410.1007/3-540-58520-6_62https://doi.org/10.1007/3-540-58520-6_62https://dblp.org/rec/conf/alt/MofizurN94URL#6796523Zurab KhasidashviliOn Higher Order Recursive Program Schemes.CAAP172-1861994Conference and Workshop Papersclosedconf/caap/Khasidashvili9410.1007/BFB0017481https://doi.org/10.1007/BFb0017481https://dblp.org/rec/conf/caap/Khasidashvili94URL#6797515Stanley S. WainerThe Hierarchy of terminating Recursive Programs over N.LCC281-2991994Conference and Workshop Papersclosedconf/lcc/Wainer9410.1007/3-540-60178-3_90https://doi.org/10.1007/3-540-60178-3_90https://dblp.org/rec/conf/lcc/Wainer94URL#6812071Surajit ChaudhuriMoshe Y. VardiOn the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs.PODS107-1161994Conference and Workshop Papersclosedconf/pods/ChaudhuriV9410.1145/182591.182604https://doi.org/10.1145/182591.182604https://dblp.org/rec/conf/pods/ChaudhuriV94URL#6814261Donglai DaiSandeep K. S. GuptaS. D. KaushikJ. H. LuRaj Verdhan SinghChua-Huang HuangP. SadayappanRodney W. JohnsonEXTENT: a portable programming environment for designing and implementing high-performance block recursive algorithms.SC49-581994Conference and Workshop Papersclosedconf/sc/DaiGKLSHSJ9410.1109/SUPERC.1994.344265https://doi.org/10.1109/SUPERC.1994.344265https://dblp.org/rec/conf/sc/DaiGKLSHSJ94URL#6814960Susumu NishimuraAtsushi OhoriA Calculus for Exploiting Data Parallelism on Recursively Defined Data.Theory and Practice of Parallel Programming413-4321994Conference and Workshop Papersclosedconf/tppp/NishimuraO9410.1007/BFB0026582https://doi.org/10.1007/BFb0026582https://dblp.org/rec/conf/tppp/NishimuraO94URL#6816717Zhiqing ShaoA standard model-theoretic approach to operational semantics of recursive programs.J. Comput. Sci. Technol.82155-1611993Journal Articlesclosedjournals/jcst/Zhiqing9310.1007/BF02939478https://doi.org/10.1007/BF02939478https://dblp.org/rec/journals/jcst/Zhiqing93URL#6829030Eric NöckerSjaak SmetsersPartially Strict Non-Recursive Data Types.J. Funct. Program.32191-2151993Journal Articlesclosedjournals/jfp/NockerS9310.1017/S0956796800000691https://doi.org/10.1017/S0956796800000691https://dblp.org/rec/journals/jfp/NockerS93URL#6829292Urs-Martin KünziLogic Programs for Primitive Recursive Sets.J. Log. Comput.34401-4151993Journal Articlesclosedjournals/logcom/Kunzi9310.1093/LOGCOM/3.4.401https://doi.org/10.1093/logcom/3.4.401https://dblp.org/rec/journals/logcom/Kunzi93URL#6831134Kazuyuki SekitaniYoshitsugu YamamotoA recursive algorithm for finding the minimum norm point in a polytope and a pair of closest points in two polytopes.Math. Program.61233-2491993Journal Articlesclosedjournals/mp/SekitaniY9310.1007/BF01582149https://doi.org/10.1007/BF01582149https://dblp.org/rec/journals/mp/SekitaniY93URL#6831755Roberto M. AmadioLuca CardelliSubtyping Recursive Types.ACM Trans. Program. Lang. Syst.154575-6311993Journal Articlesclosedjournals/toplas/AmadioC9310.1145/155183.155231https://doi.org/10.1145/155183.155231https://dblp.org/rec/journals/toplas/AmadioC93URL#6837680William W. CohenPac-Learning a Restricted Class of Recursive Logic Programs.AAAI86-921993Conference and Workshop Papersunavailableconf/aaai/Cohen93ahttp://www.aaai.org/Library/AAAI/1993/aaai93-014.phphttps://dblp.org/rec/conf/aaai/Cohen93aURL#6838884Panos E. LivadasStephen CrollSystem dependence graph construction for recursive programs.COMPSAC414-4201993Conference and Workshop Papersclosedconf/compsac/LivadasC9310.1109/CMPSAC.1993.404249https://doi.org/10.1109/CMPSAC.1993.404249https://dblp.org/rec/conf/compsac/LivadasC93URL#6841262Armando Martin HaebererGabriel BaumGunther Schmidt 0001On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers.Formal Methods in Programming and Their Applications281-2981993Conference and Workshop Papersclosedconf/ershov/HaebererBS9310.1007/BFB0039715https://doi.org/10.1007/BFb0039715https://dblp.org/rec/conf/ershov/HaebererBS93URL#6843056Julian SewardSolving recursive domain equations by term rewriting.Functional Programming265-2791993Conference and Workshop Papersclosedconf/fp/Seward9310.1007/978-1-4471-3236-3_21https://doi.org/10.1007/978-1-4471-3236-3_21https://dblp.org/rec/conf/fp/Seward93URL#6843780Gérard FlorinRoberto GómezIvan LavalléeRecursive distributed programming schemes.ISADS122-1281993Conference and Workshop Papersclosedconf/isads/FlorinGL9310.1109/ISADS.1993.262713https://doi.org/10.1109/ISADS.1993.262713https://dblp.org/rec/conf/isads/FlorinGL93URL#6850940Zurab KhasidashviliOn the Equivalence of Persistent Term Rewriting Systems and Recursive Program Schemes.ISTCS240-2491993Conference and Workshop Papersclosedconf/istcs/Khasidashvili9310.1109/ISTCS.1993.253465https://doi.org/10.1109/ISTCS.1993.253465https://dblp.org/rec/conf/istcs/Khasidashvili93URL#6852101Laks V. S. LakshmananKarima AshrafJiawei Han 0001Homomorphic Tree Embeddings and Their Applications to Recursive Program OptimizationLICS344-3531993Conference and Workshop Papersclosedconf/lics/LakshmananAH9310.1109/LICS.1993.287574https://doi.org/10.1109/LICS.1993.287574https://dblp.org/rec/conf/lics/LakshmananAH93URL#6852753Benjamin C. PierceDavid N. TurnerObject-Oriented Programming without Recursive Types.POPL299-3121993Conference and Workshop Papersclosedconf/popl/PierceT9310.1145/158511.158653https://doi.org/10.1145/158511.158653https://dblp.org/rec/conf/popl/PierceT93URL#6854550Jiawei Han 0001Laks V. S. LakshmananEvaluation of Regular Nonlinear Recursive Programs.ILPS6481993Conference and Workshop Papersunavailableconf/slp/HanL93https://dblp.org/rec/conf/slp/HanL93URL#6856382Klaus Ambos-SpiesAndré NiesCappable recursively enumerable degrees and Post's program.Arch. Math. Log.32151-561992Journal Articlesclosedjournals/aml/Ambos-SpiesN9210.1007/BF01270394https://doi.org/10.1007/BF01270394https://dblp.org/rec/journals/aml/Ambos-SpiesN92URL#6862412V. Wiktor MarekAnil NerodeJeffrey B. RemmelHow Complicated is the Set of Stable Models of a Recursive Logic Program?Ann. Pure Appl. Log.561-3119-1351992Journal Articlesclosedjournals/apal/MarekR9210.1016/0168-0072(92)90069-Chttps://doi.org/10.1016/0168-0072(92)90069-Chttps://dblp.org/rec/journals/apal/MarekR92URL#6862630Eerke A. BoitenImproving Recursive Functions by Inverting the Order of Evaluation.Sci. Comput. Program.182139-1791992Journal Articlesopenjournals/scp/Boiten9210.1016/0167-6423(92)90008-Yhttps://doi.org/10.1016/0167-6423(92)90008-Yhttps://dblp.org/rec/journals/scp/Boiten92URL#6873595Michel ParigotRecursive Programming with Proofs.Theor. Comput. Sci.942335-3361992Journal Articlesopenjournals/tcs/Parigot9210.1016/0304-3975(92)90042-Ehttps://doi.org/10.1016/0304-3975(92)90042-Ehttps://dblp.org/rec/journals/tcs/Parigot92URL#6875718Jane HeskethAlan BundyAlan SmaillUsing Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs.CADE310-3241992Conference and Workshop Papersclosedconf/cade/HeskethBS9210.1007/3-540-55602-8_174https://doi.org/10.1007/3-540-55602-8_174https://dblp.org/rec/conf/cade/HeskethBS92URL#6878815Dietmar SeipelHans ArgentonWavefront Techniques for Recursive Logic Programs.Workshop on Deductive Databases, JICSLP116-1251992Conference and Workshop Papersunavailableconf/deductive/SeipelA92https://dblp.org/rec/conf/deductive/SeipelA92URL#6880887Miodrag PotkonjakJan M. RabaeyFast implementation of recursive programs using transformations.ICASSP569-5721992Conference and Workshop Papersclosedconf/icassp/PotkonjakR9210.1109/ICASSP.1992.226556https://doi.org/10.1109/ICASSP.1992.226556https://dblp.org/rec/conf/icassp/PotkonjakR92URL#6883663Stephane LapointeStan MatwinSub-unification: A Tool for Efficient Induction of Recursive Programs.ML273-2811992Conference and Workshop Papersclosedconf/icml/LapointeM9210.1016/B978-1-55860-247-2.50040-1https://doi.org/10.1016/b978-1-55860-247-2.50040-1https://dblp.org/rec/conf/icml/LapointeM92URL#6884841Sandeep K. S. GuptaChua-Huang HuangP. SadayappanRodney W. JohnsonOn the Synthesis of Parallel Programs from Tensor Product Formulas for Block Recursive Algorithms.LCPC264-2801992Conference and Workshop Papersclosedconf/lcpc/GuptaHSJ9210.1007/3-540-57502-2_52https://doi.org/10.1007/3-540-57502-2_52https://dblp.org/rec/conf/lcpc/GuptaHSJ92URL#6889000Stefan KaesType Inference in the Presence of Overloading, Subtyping and Recursive Types.LISP and Functional Programming193-2041992Conference and Workshop Papersclosedconf/lfp/Kaes9210.1145/141471.141540https://doi.org/10.1145/141471.141540https://dblp.org/rec/conf/lfp/Kaes92URL#6889083Edward WangPaul N. HilfingerAnalysis of Recursive Types in Lisp-Like Languages.LISP and Functional Programming216-2251992Conference and Workshop Papersclosedconf/lfp/WangH9210.1145/141471.141544https://doi.org/10.1145/141471.141544https://dblp.org/rec/conf/lfp/WangH92URL#6889100Sergei GorlatchA Case Study: Parallel Program Development for a Recursive Numerical Algorithm.PARLE945-9461992Conference and Workshop Papersclosedconf/parle/Gorlatch9210.1007/3-540-55599-4_134https://doi.org/10.1007/3-540-55599-4_134https://dblp.org/rec/conf/parle/Gorlatch92URL#6890329Antonius KlinglerVolker PennerParallelizing Recursive Logic Programs through Decomposition.PARLE967-9681992Conference and Workshop Papersclosedconf/parle/KlinglerP9210.1007/3-540-55599-4_145https://doi.org/10.1007/3-540-55599-4_145https://dblp.org/rec/conf/parle/KlinglerP92URL#6890342Laurie J. HendrenJoseph HummelAlexandru NicolauAbstractions for Recursive Pointer Data Structures: Improving the Analysis of Imperative Programs.PLDI249-2601992Conference and Workshop Papersclosedconf/pldi/HendrenHN9210.1145/143095.143138https://doi.org/10.1145/143095.143138https://dblp.org/rec/conf/pldi/HendrenHN92URL#6890576Surajit ChaudhuriMoshe Y. VardiOn the Equivalence of Recursive and Nonrecursive Datalog Programs.PODS55-661992Conference and Workshop Papersclosedconf/pods/ChaudhuriV9210.1145/137097.137109https://doi.org/10.1145/137097.137109https://dblp.org/rec/conf/pods/ChaudhuriV92URL#6890676Sergei GorlatchParallel program development for a recursive numerical algorithm: a case studyForschungsberichte, TU MunichTUM I 92081-231992Informal and Other Publicationsunavailabletr/tum/TUM-I-9208https://d-nb.info/921465491https://dblp.org/rec/tr/tum/TUM-I-9208URL#6895204Gösta GrahneSeppo SippuEljas Soisalon-SoininenEfficient Evaluation for a Subset of Recursive Queries.J. Log. Program.103&4301-3321991Journal Articlesclosedjournals/jlp/GrahneSS9110.1016/0743-1066(91)90039-Rhttps://doi.org/10.1016/0743-1066(91)90039-Rhttps://dblp.org/rec/journals/jlp/GrahneSS91URL#6903704Hilbert LevitzWarren D. NicholsRobert F. SmithA Macro Program for the Primitive Recursive Functions.Math. Log. Q.378121-1241991Journal Articlesclosedjournals/mlq/LevitzNS9110.1002/MALQ.19910370803https://doi.org/10.1002/malq.19910370803https://dblp.org/rec/journals/mlq/LevitzNS91URL#6905171Anders BondorfAutomatic Autoprojection of Higher Order Recursive Equations.Sci. Comput. Program.171-33-341991Journal Articlesopenjournals/scp/Bondorf9110.1016/0167-6423(91)90035-Vhttps://doi.org/10.1016/0167-6423(91)90035-Vhttps://dblp.org/rec/journals/scp/Bondorf91URL#6907182Anders BondorfOlivier DanvyAutomatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types.Sci. Comput. Program.162151-1951991Journal Articlesopenjournals/scp/BondorfD9110.1016/0167-6423(91)90002-Fhttps://doi.org/10.1016/0167-6423(91)90002-Fhttps://dblp.org/rec/journals/scp/BondorfD91URL#6907183Scott F. Smith 0001Extracting Recursive Programs in Type Theory.AMAST341-3491991Conference and Workshop Papersunavailableconf/amast/Smith91https://dblp.org/rec/conf/amast/Smith91URL#6911840Young K. NamLawrence J. HenschenCompiling Recursive Functional Prolog Programs with List Structure into Procedural Languages.Automated Reasoning - Essays in Honor of Woody Bledsoe211-2301991Conference and Workshop Papersunavailableconf/birthday/NamH91https://dblp.org/rec/conf/birthday/NamH91URL#6912181Young K. NamLawrence J. HenschenCompiling recursive Prolog programs with list structure into procedural languages.COMPSAC281-2871991Conference and Workshop Papersclosedconf/compsac/NamH9110.1109/CMPSAC.1991.170190https://doi.org/10.1109/CMPSAC.1991.170190https://dblp.org/rec/conf/compsac/NamH91URL#6913136Lars RossenFrom Primitive Recursive Functions to Silicon through Relations.Functional Programming253-2641991Conference and Workshop Papersclosedconf/fp/Rossen9110.1007/978-1-4471-3196-0_20https://doi.org/10.1007/978-1-4471-3196-0_20https://dblp.org/rec/conf/fp/Rossen91URL#6915338Tim FernandoProvably Recursive Programs and Program Extraction.ICALP303-3131991Conference and Workshop Papersclosedconf/icalp/Fernando9110.1007/3-540-54233-7_143https://doi.org/10.1007/3-540-54233-7_143https://dblp.org/rec/conf/icalp/Fernando91URL#6915897Brian BeletProportional Recursive Stochastic Compositon Using COMP2, a Smalltalk-80 Composition Program with the Kyma Digital Synthesis System.ICMC1991Conference and Workshop Papersopenconf/icmc/Belet91https://hdl.handle.net/2027/spo.bbp2372.1991.125https://dblp.org/rec/conf/icmc/Belet91URL#6917642Christophe LecoutrePhilippe DeviennePatrick LebègueAbstract Interpretation and Recursive Behaviour of Logic Programs.LOPSTR147-1661991Conference and Workshop Papersclosedconf/lopstr/LecoutreDL9110.1007/978-1-4471-3494-7_12https://doi.org/10.1007/978-1-4471-3494-7_12https://dblp.org/rec/conf/lopstr/LecoutreDL91URL#6921127Fosca GiannottiManuel V. HermenegildoA Technique for Recursive Invariance Detection and Selective Program Specification.PLILP323-3341991Conference and Workshop Papersclosedconf/plilp/GiannottiH9110.1007/3-540-54444-5_109https://doi.org/10.1007/3-540-54444-5_109https://dblp.org/rec/conf/plilp/GiannottiH91URL#6922463Laurie J. HendrenParallelizing Programs with Recursive Data Structures.1990Books and Thesesunavailablephd/us/Hendren90https://dblp.org/rec/phd/us/Hendren90URL#6927972George L. NemhauserLaurence A. WolseyA Recursive Procedure to Generate All Cuts for 0-1 Mixed Integer Programs.Math. Program.46379-3901990Journal Articlesclosedjournals/mp/NemhauserW9010.1007/BF01585752https://doi.org/10.1007/BF01585752https://dblp.org/rec/journals/mp/NemhauserW90URL#6935474Josef GroschEfficient and Comfortable Error Recovery in Recursive Descent Parsers.Struct. Program.113129-1401990Journal Articlesunavailablejournals/stp/Grosch90https://dblp.org/rec/journals/stp/Grosch90URL#6938282Ana PasztorRecursive Programs and Denotational Semantics in Absolute Logics of Programs.Theor. Comput. Sci.701127-1501990Journal Articlesopenjournals/tcs/Pasztor9010.1016/0304-3975(90)90156-Chttps://doi.org/10.1016/0304-3975(90)90156-Chttps://dblp.org/rec/journals/tcs/Pasztor90URL#6938999Weining ZhangClement T. YuDaniel TroyNecessary and Sufficient Conditions to Linearize Double Recursive Programs in Logic Databases.ACM Trans. Database Syst.153459-4821990Journal Articlesclosedjournals/tods/ZhangYT9010.1145/88636.89237https://doi.org/10.1145/88636.89237https://dblp.org/rec/journals/tods/ZhangYT90URL#6939361Laurie J. HendrenAlexandru NicolauParallelizing Programs with Recursive Data Structures.IEEE Trans. Parallel Distributed Syst.1135-471990Journal Articlesclosedjournals/tpds/HendrenN9010.1109/71.80123https://doi.org/10.1109/71.80123https://dblp.org/rec/journals/tpds/HendrenN90URL#6939466Edward Yu-Hsien LinDennis L. BrickerImplementing the Recursive APL Code for Dynamic Programming.APL239-2501990Conference and Workshop Papersclosedconf/apl/LinB9010.1145/97808.97852https://doi.org/10.1145/97808.97852https://dblp.org/rec/conf/apl/LinB90URL#6941014Young K. NamLawrence J. HenschenCompiling linear recursive Prolog programs with list structure into procedural language.COMPSAC391-3981990Conference and Workshop Papersclosedconf/compsac/NamH9010.1109/CMPSAC.1990.139389https://doi.org/10.1109/CMPSAC.1990.139389https://dblp.org/rec/conf/compsac/NamH90URL#6942434David W. StempleTim SheardA Recursive Base for Database Programming Primitives.East/West Database Workshop311-3321990Conference and Workshop Papersclosedconf/ewdw/StempleS9010.1007/3-540-54141-1_17https://doi.org/10.1007/3-540-54141-1_17https://dblp.org/rec/conf/ewdw/StempleS90URL#6944228Jyh-Herng ChowWilliams Ludwell Harrison IIIMicrotasking Recursive, Parallel Programs.ICPP282-2831990Conference and Workshop Papersunavailableconf/icpp/ChowH90https://dblp.org/rec/conf/icpp/ChowH90URL#6946668Rudolf BerghammerHerbert EhlerBernhard MöllerOn the Refinement of Non-Deterministic Recursive Routines by Transformations.Programming Concepts and Methods53-721990Conference and Workshop Papersunavailableconf/ifip2/BerghammerEM90https://dblp.org/rec/conf/ifip2/BerghammerEM90URL#6948026Chris HansonEfficient Stack Allocation for Tail-Recursive Languages.LISP and Functional Programming106-1181990Conference and Workshop Papersclosedconf/lfp/Hanson9010.1145/91556.91603https://doi.org/10.1145/91556.91603https://dblp.org/rec/conf/lfp/Hanson90URL#6950205Dietmar SeipelDecomposition of Linear Recursive Logic Programs.WG291-3101990Conference and Workshop Papersclosedconf/wg/Seipel9010.1007/3-540-53832-1_50https://doi.org/10.1007/3-540-53832-1_50https://dblp.org/rec/conf/wg/Seipel90URL#6953870Bruno CourcelleRecursive Applicative Program Schemes.Handbook of Theoretical Computer Science, Volume B - Formal Models and Sematics459-4921990Parts in Books or Collectionsclosedbooks/el/leeuwen90/Courcelle90a10.1016/B978-0-444-88074-1.50014-7https://doi.org/10.1016/b978-0-444-88074-1.50014-7https://dblp.org/rec/books/el/leeuwen90/Courcelle90aURL#6954259Efim B. KinberInductive Synthesis of Programs for Recursive Functions from Sample Computations.J. Inf. Process. Cybern.258/9435-4561989Journal Articlesunavailablejournals/eik/Kinber89https://dblp.org/rec/journals/eik/Kinber89URL#6959021Serge AbiteboulBoundedness is Undecidable for Datalog Programs with a Single Recursive Rule.Inf. Process. Lett.326281-2871989Journal Articlesclosedjournals/ipl/Abiteboul8910.1016/0020-0190(89)90019-7https://doi.org/10.1016/0020-0190(89)90019-7https://dblp.org/rec/journals/ipl/Abiteboul89URL#6960168Celestí RossellóJosé L. BalcázarRicardo PenaDeriving Specifications of Embeddings in Recursive Program Design.Struct. Program.103133-1451989Journal Articlesunavailablejournals/stp/RosselloBP89https://dblp.org/rec/journals/stp/RosselloBP89URL#6965424Ben A. SijtsmaOn the Productivity of Recursive List Definitions.ACM Trans. Program. Lang. Syst.114633-6491989Journal Articlesclosedjournals/toplas/Sijtsma8910.1145/69558.69563https://doi.org/10.1145/69558.69563https://dblp.org/rec/journals/toplas/Sijtsma89URL#6966456Laurie J. HendrenAlexandru NicolauParallelizing Programs with Recursive Data Structures.ICPP49-561989Conference and Workshop Papersunavailableconf/icpp/HendrenN89https://dblp.org/rec/conf/icpp/HendrenN89URL#6972267Laurie J. HendrenAlexandru NicolauIntererence analysis tools for parallelizing programs with recursive data structures.ICS205-2141989Conference and Workshop Papersclosedconf/ics/HendrenN8910.1145/318789.318812https://doi.org/10.1145/318789.318812https://dblp.org/rec/conf/ics/HendrenN89URL#6972650Fatma MiliMustapha Beb AlayaAli Mili 0001On the Analysis of Iterative and Recursive Programs.Aust. Comput. J.20127-321988Journal Articlesunavailablejournals/acj/MiliAM88https://dblp.org/rec/journals/acj/MiliAM88URL#6980142Bruno CourcellePierre DeransartProofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic ProgrammingInf. Comput.7811-551988Journal Articlesopenjournals/iandc/CourcelleD8810.1016/0890-5401(88)90002-8https://doi.org/10.1016/0890-5401(88)90002-8https://dblp.org/rec/journals/iandc/CourcelleD88URL#6982804Irène GuessarianA Note On Fixpoint Techniques in Data Base Recursive Logic Programs.RAIRO Theor. Informatics Appl.22149-561988Journal Articlesclosedjournals/ita/Guessarian8810.1051/ITA/1988220100491https://doi.org/10.1051/ita/1988220100491https://dblp.org/rec/journals/ita/Guessarian88URL#6983806Arun LakhotiaLeon SterlingComposing Recursive Logic Programs with Clausal Join.New Gener. Comput.62&3211-2251988Journal Articlesclosedjournals/ngc/LakhotiaS8810.1007/BF03037138https://doi.org/10.1007/BF03037138https://dblp.org/rec/journals/ngc/LakhotiaS88URL#6986223Jean-Michel HufflenParallelizing Recursive Programs.AIMSA139-1481988Conference and Workshop Papersunavailableconf/aimsa/Hufflen88https://dblp.org/rec/conf/aimsa/Hufflen88URL#6990602Ana PasztorNonstandard Logics of Recursive Programs and Denotational Semantics.ALP255-2781988Conference and Workshop Papersclosedconf/alp/Pasztor8810.1007/3-540-50667-5_78https://doi.org/10.1007/3-540-50667-5_78https://dblp.org/rec/conf/alp/Pasztor88URL#6990651J. C. HwangM. W. DuC. R. ChouFinding program slices for recursive procedures.COMPSAC220-2271988Conference and Workshop Papersclosedconf/compsac/HwangDC8810.1109/CMPSAC.1988.17176https://doi.org/10.1109/CMPSAC.1988.17176https://dblp.org/rec/conf/compsac/HwangDC88URL#6992087Philippe DevienneWEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic Programming.FGCS397-4041988Conference and Workshop Papersunavailableconf/fgcs/Devienne88https://dblp.org/rec/conf/fgcs/Devienne88URL#6993226Bruno CourcelleJean H. GallierDecidable Subcases of The Equivalence Problem for Recursive Program Schemes.RAIRO Theor. Informatics Appl.213245-2861987Journal Articlesclosedjournals/ita/CourcelleG8710.1051/ITA/1987210302451https://doi.org/10.1051/ita/1987210302451https://dblp.org/rec/journals/ita/CourcelleG87URL#7005275Isaac BalbinKotagiri RamamohanaraoA Generalization of the Differential Approach to Recursive Query Evaluation.J. Log. Program.43259-2621987Journal Articlesopenjournals/jlp/BalbinR8710.1016/0743-1066(87)90004-5https://doi.org/10.1016/0743-1066(87)90004-5https://dblp.org/rec/journals/jlp/BalbinR87URL#7005992Fosca GiannottiAttilio MatteucciDino PedreschiFranco TuriniSymbolic Evaluation with Structural Recursive Symbolic Constants.Sci. Comput. Program.92161-1771987Journal Articlesopenjournals/scp/GiannottiMPT8710.1016/0167-6423(87)90031-1https://doi.org/10.1016/0167-6423(87)90031-1https://dblp.org/rec/journals/scp/GiannottiMPT87URL#7008247Debasish BanerjeeA Methodology for Synthesis of Recursive Functional Programs.ACM Trans. Program. Lang. Syst.93441-4621987Journal Articlesclosedjournals/toplas/Banerjee8710.1145/24039.24071https://doi.org/10.1145/24039.24071https://dblp.org/rec/journals/toplas/Banerjee87URL#7009783Janalee O'BagyRalph E. GriswoldA recursive interpreter for the Icon programming language.PLDI138-1491987Conference and Workshop Papersclosedconf/pldi/OBagyG8710.1145/29650.29665https://doi.org/10.1145/29650.29665https://dblp.org/rec/conf/pldi/OBagyG87URL#7016234Georges GardarinMagic Functions: A Technique to Optimize Extended Datalog Recursive Programs.VLDB21-301987Conference and Workshop Papersclosedconf/vldb/Gardarin87http://www.vldb.org/conf/1987/P021.PDFhttps://dblp.org/rec/conf/vldb/Gardarin87URL#7017539John T. BoardmanC. GarrettG. C. A. RobsonA Recursive Algorithm for the Optimal Solution of a Complex Allocation Problem Using a Dynamic Programming Formulation.Comput. J.292182-1861986Journal Articlesclosedjournals/cj/BoardmanGR8610.1093/COMJNL/29.2.182https://doi.org/10.1093/comjnl/29.2.182https://dblp.org/rec/journals/cj/BoardmanGR86URL#7019920Irène GuessarianFixpoint techniques in data base recursive logic programs.Bull. EATCS2932-341986Journal Articlesunavailablejournals/eatcs/Guessarian86https://dblp.org/rec/journals/eatcs/Guessarian86URL#7021155C. AquilanoRoberto BarbutiP. BocchettiMaurizio MartelliNegation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions.J. Autom. Reason.22155-1701986Journal Articlesclosedjournals/jar/AquilanoBBM8610.1007/BF02432149https://doi.org/10.1007/BF02432149https://dblp.org/rec/journals/jar/AquilanoBBM86URL#7022328M. J. D. PowellYa-Xiang YuanA recursive quadratic programming algorithm that uses differentiable exact penalty functions.Math. Program.353265-2781986Journal Articlesclosedjournals/mp/PowellY8610.1007/BF01580880https://doi.org/10.1007/BF01580880https://dblp.org/rec/journals/mp/PowellY86URL#7023843Harry B. Hunt IIIDaniel J. RosenkrantzRecursion Schemes and Recursive Programs are Exponentially Hard to Analyze.SIAM J. Comput.153831-8501986Journal Articlesclosedjournals/siamcomp/HuntR8610.1137/0215059https://doi.org/10.1137/0215059https://dblp.org/rec/journals/siamcomp/HuntR86URL#7025081Bruno CourcelleEquivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars.Theor. Comput. Sci.421-1221986Journal Articlesopenjournals/tcs/Courcelle8610.1016/0304-3975(86)90050-2https://doi.org/10.1016/0304-3975(86)90050-2https://dblp.org/rec/journals/tcs/Courcelle86URL#7026146Volker WeispfenningDiamond Formulas in the Dynamic Logic of Recursively Enumerable Programs.CADE564-5711986Conference and Workshop Papersclosedconf/cade/Weispfenning8610.1007/3-540-16780-3_120https://doi.org/10.1007/3-540-16780-3_120https://dblp.org/rec/conf/cade/Weispfenning86URL#7028036Paul JacquetMarie-Laure PotetProgram Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis).ECAI345-3561986Conference and Workshop Papersunavailableconf/ecai/JacquetP86https://dblp.org/rec/conf/ecai/JacquetP86URL#7028910David A. PlaistedThe Denotional Semantics of Nondeterministic Recursive Programs using Coherent RelationsLICS163-1741986Conference and Workshop Papersunavailableconf/lics/Plaisted86https://dblp.org/rec/conf/lics/Plaisted86URL#7032797Georges GardarinChristophe de MaindrevilleEvaluation of Database Recursive Logic Programs as Recurrent Function Series.SIGMOD Conference177-1861986Conference and Workshop Papersclosedconf/sigmod/GardarinM8610.1145/16894.16872https://doi.org/10.1145/16894.16872https://dblp.org/rec/conf/sigmod/GardarinM86URL#7033541Ladislav LuksanAn implementation of recursive quadratic programming variable metric methods for linearly constrained nonlinear minimax approximation.Kybernetika21122-401985Journal Articlesopenjournals/kybernetika/Luksan85http://www.kybernetika.cz/content/1985/1/22https://dblp.org/rec/journals/kybernetika/Luksan85URL#7039489Alberto PettorossiA Note on Cohen's "Eliminating Redundant Recursive Calls".ACM Trans. Program. Lang. Syst.74680-6851985Journal Articlesclosedjournals/toplas/Pettorossi8510.1145/4472.215006https://doi.org/10.1145/4472.215006https://dblp.org/rec/journals/toplas/Pettorossi85URL#7042350Ricardo CaferraPhilippe JorrandUnification in Parallel with Refined Linearity Test: An Example of Recursive Network Structure in FP2, A Functional Parallel Programming Language.European Conference on Computer Algebra539-5401985Conference and Workshop Papersclosedconf/eurocal/CaferraJ8510.1007/3-540-15984-3_326https://doi.org/10.1007/3-540-15984-3_326https://dblp.org/rec/conf/eurocal/CaferraJ85URL#7044605V. J. BushJohn R. GurdTransforming Recursive Programs for Execution on Parallel Machines.FPCA350-3671985Conference and Workshop Papersclosedconf/fpca/BushG8510.1007/3-540-15975-4_47https://doi.org/10.1007/3-540-15975-4_47https://dblp.org/rec/conf/fpca/BushG85URL#7044949Saumya K. DebrayOptimizing Almost-Tail-Recursive Prolog Programs.FPCA204-2191985Conference and Workshop Papersclosedconf/fpca/Debray8510.1007/3-540-15975-4_38https://doi.org/10.1007/3-540-15975-4_38https://dblp.org/rec/conf/fpca/Debray85URL#7044952Thomas JohnssonLambda Lifting: Treansforming Programs to Recursive Equations.FPCA190-2031985Conference and Workshop Papersclosedconf/fpca/Johnsson8510.1007/3-540-15975-4_37https://doi.org/10.1007/3-540-15975-4_37https://dblp.org/rec/conf/fpca/Johnsson85URL#7044958Frank M. BrownPeiya LiuA Logic Programming and Verification System for Recursive Quantificational Logic.IJCAI742-7481985Conference and Workshop Papersopenconf/ijcai/BrownL85http://ijcai.org/Proceedings/85-2/Papers/012.pdfhttps://dblp.org/rec/conf/ijcai/BrownL85URL#7046195Robert L. ConstableNax Paul MendlerRecursive Definitions in Type Theory.Logic of Programs61-781985Conference and Workshop Papersclosedconf/lop/ConstableM8510.1007/3-540-15648-8_5https://doi.org/10.1007/3-540-15648-8_5https://dblp.org/rec/conf/lop/ConstableM85URL#7046834Kenneth BaumJames RichardsonLyle SchertzA stochastic recursive interactive programming model for farm firm policy analysis.Comput. Oper. Res.112199-2221984Journal Articlesclosedjournals/cor/BaumRS8410.1016/0305-0548(69)90010-0https://doi.org/10.1016/0305-0548(69)90010-0https://dblp.org/rec/journals/cor/BaumRS84URL#7050891Mark B. TrakhtenbrotSome Equivalent Transformations of Recursive Programs Based on Their Schematic Properties.Inf. Process. Lett.185275-2831984Journal Articlesclosedjournals/ipl/Trakhtenbrot8410.1016/0020-0190(84)90007-3https://doi.org/10.1016/0020-0190(84)90007-3https://dblp.org/rec/journals/ipl/Trakhtenbrot84URL#7052095Robert CartwrightRecursive Programs as Definitions in First Order Logic.SIAM J. Comput.132374-4081984Journal Articlesclosedjournals/siamcomp/Cartwright8410.1137/0213026https://doi.org/10.1137/0213026https://dblp.org/rec/journals/siamcomp/Cartwright84URL#7054214Bertram FronhöferRicardo CaferraPhilippe JacquetImprovement of Recursive Programs from a Logic Programming Point of View.GWAI229-2371984Conference and Workshop Papersclosedconf/ki/FronhoferCJ8410.1007/978-3-642-46546-8_18https://doi.org/10.1007/978-3-642-46546-8_18https://dblp.org/rec/conf/ki/FronhoferCJ84URL#7059171Martin JourdanAn Optimal-time Recursive Evaluator for Attribute Grammars.Symposium on Programming167-1781984Conference and Workshop Papersclosedconf/programm/Jourdan8410.1007/3-540-12925-1_37https://doi.org/10.1007/3-540-12925-1_37https://dblp.org/rec/conf/programm/Jourdan84URL#7059582Alan MycroftPolymorphic Type Schemes and Recursive Definitions.Symposium on Programming217-2281984Conference and Workshop Papersclosedconf/programm/Mycroft8410.1007/3-540-12925-1_41https://doi.org/10.1007/3-540-12925-1_41https://dblp.org/rec/conf/programm/Mycroft84URL#7059586Albert R. MeyerJohn C. MitchellTermination Assertions for Recursive Programs: Completeness and Axiomatic DefinabilityInf. Control.561/2112-1381983Journal Articlesopenjournals/iandc/MeyerM8310.1016/S0019-9958(83)80053-9https://doi.org/10.1016/S0019-9958(83)80053-9https://dblp.org/rec/journals/iandc/MeyerM83URL#7063517Pawel UrzyczynA Necessary and Sufficient Condition in Order That a Herbrand Interpretation Be Expressive Relative to Recursive ProgramsInf. Control.563212-2191983Journal Articlesopenjournals/iandc/Urzyczyn83a10.1016/S0019-9958(83)80006-0https://doi.org/10.1016/S0019-9958(83)80006-0https://dblp.org/rec/journals/iandc/Urzyczyn83aURL#7063528Joseph A. GoguenJosé Meseguer 0001Correctness of Recursive Parallel Nondeterministic Flow Programs.J. Comput. Syst. Sci.272268-2901983Journal Articlesopenjournals/jcss/GoguenM8310.1016/0022-0000(83)90043-0https://doi.org/10.1016/0022-0000(83)90043-0https://dblp.org/rec/journals/jcss/GoguenM83URL#7064385Steven F. JenningsArthur E. OldehoeftAn analysis of program execution on a recursive stream-oriented data flow architecture.J. Syst. Softw.32147-1541983Journal Articlesclosedjournals/jss/JenningsO8310.1016/0164-1212(83)90027-4https://doi.org/10.1016/0164-1212(83)90027-4https://dblp.org/rec/journals/jss/JenningsO83URL#7064787Norman H. CohenEliminating Redundant Recursive Calls.ACM Trans. Program. Lang. Syst.53265-2991983Journal Articlesclosedjournals/toplas/Cohen8310.1145/2166.2167https://doi.org/10.1145/2166.2167https://dblp.org/rec/journals/toplas/Cohen83URL#7067220Piotr BermanDeterministic Dynamic Logic of Recursive Programs is Weaker than Dynamic Logic.FCT14-251983Conference and Workshop Papersclosedconf/fct/Berman8310.1007/3-540-12689-9_90https://doi.org/10.1007/3-540-12689-9_90https://dblp.org/rec/conf/fct/Berman83URL#7068668Shamim A. NaqviLawrence J. HenschenSynthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs.IJCAI25-281983Conference and Workshop Papersopenconf/ijcai/NaqviH83http://ijcai.org/Proceedings/83-1/Papers/004.pdfhttps://dblp.org/rec/conf/ijcai/NaqviH83URL#7069870Jan SebelíkHorn clause programs and recursive functions defined by systems of equations.Kybernetika182106-1201982Journal Articlesopenjournals/kybernetika/Sebelik82http://www.kybernetika.cz/content/1982/2/106https://dblp.org/rec/journals/kybernetika/Sebelik82URL#7075101Gregory A. RiccardiThe Independence of Control Structures in Programmable Numberings of the Partial Recursive Functions.Math. Log. Q.2820-21285-2961982Journal Articlesclosedjournals/mlq/Riccardi8210.1002/MALQ.19820282002https://doi.org/10.1002/malq.19820282002https://dblp.org/rec/journals/mlq/Riccardi82URL#7075319Bruno CourcellePaul Franchi-ZannettacciAttribute Grammars and Recursive Program Schemes I.Theor. Comput. Sci.17163-1911982Journal Articlesopenjournals/tcs/CourcelleF8210.1016/0304-3975(82)90003-2https://doi.org/10.1016/0304-3975(82)90003-2https://dblp.org/rec/journals/tcs/CourcelleF82URL#7077155Bruno CourcellePaul Franchi-ZannettacciAttribute Grammars and Recursive Program Schemes II.Theor. Comput. Sci.17235-2571982Journal Articlesopenjournals/tcs/CourcelleF82a10.1016/0304-3975(82)90024-Xhttps://doi.org/10.1016/0304-3975(82)90024-Xhttps://dblp.org/rec/journals/tcs/CourcelleF82aURL#7077156Jacques J. ArsacYves KodratoffSome Techniques for Recursion Removal from Recursive Programs.ACM Trans. Program. Lang. Syst.42295-3221982Journal Articlesclosedjournals/toplas/ArsacK8210.1145/357162.357171https://doi.org/10.1145/357162.357171https://dblp.org/rec/journals/toplas/ArsacK82URL#7077487Joachim H. LaubschMarc EisenstadtUsing Temporal Abstraction to Understand Recursive Programs Involving Side Effects.AAAI400-4031982Conference and Workshop Papersunavailableconf/aaai/LaubschE82http://www.aaai.org/Library/AAAI/1982/aaai82-096.phphttps://dblp.org/rec/conf/aaai/LaubschE82URL#7077840Jean-Pierre JouannaudPierre LescanneF. ReinigRecursive Decomposition Ordering.Formal Description of Programming Concepts331-3481982Conference and Workshop Papersunavailableconf/ifip2/JouannaudLR82https://dblp.org/rec/conf/ifip2/JouannaudLR82URL#7080225Peter PadawitzEquational Data Type Specifications and Recursive Program Schemes.Formal Description of Programming Concepts305-3301982Conference and Workshop Papersunavailableconf/ifip2/Padawitz82https://dblp.org/rec/conf/ifip2/Padawitz82URL#7080231Neil D. JonesSteven S. MuchnickA Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures.POPL66-741982Conference and Workshop Papersclosedconf/popl/JonesM8210.1145/582153.582161https://doi.org/10.1145/582153.582161https://dblp.org/rec/conf/popl/JonesM82URL#7080730Albert R. MeyerJohn C. MitchellAxiomatic Definability and Completeness for Recursive Programs.POPL337-3461982Conference and Workshop Papersclosedconf/popl/MeyerM8210.1145/582153.582188https://doi.org/10.1145/582153.582188https://dblp.org/rec/conf/popl/MeyerM82URL#7080734Matthew HennessyPowerdomains and nondeterministic recursive definitions.Symposium on Programming178-1931982Conference and Workshop Papersclosedconf/programm/Hennessy8210.1007/3-540-11494-7_13https://doi.org/10.1007/3-540-11494-7_13https://dblp.org/rec/conf/programm/Hennessy82URL#7080761Krzysztof R. AptRecursive Assertions and Parallel Programs.Acta Informatica15219-2321981Journal Articlesclosedjournals/acta/Apt8110.1007/BF00289262https://doi.org/10.1007/BF00289262https://dblp.org/rec/journals/acta/Apt81URL#7082394Wojciech RytterThe Dynamic Simulation of Recursive and Stack Manipulation Programs.Inf. Process. Lett.13258-631981Journal Articlesclosedjournals/ipl/Rytter81a10.1016/0020-0190(81)90032-6https://doi.org/10.1016/0020-0190(81)90032-6https://dblp.org/rec/journals/ipl/Rytter81aURL#7084012Bernardo VillarrealMark H. KarwanMulticriteria integer programming: A (hybrid) dynamic programming recursive approach.Math. Program.211204-2231981Journal Articlesclosedjournals/mp/VillarrealK8110.1007/BF01584241https://doi.org/10.1007/BF01584241https://dblp.org/rec/journals/mp/VillarrealK81URL#7085183Jean H. GallierNondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness I.Theor. Comput. Sci.13193-2231981Journal Articlesopenjournals/tcs/Gallier8110.1016/0304-3975(81)90039-6https://doi.org/10.1016/0304-3975(81)90039-6https://dblp.org/rec/journals/tcs/Gallier81URL#7086540Jean H. GallierNondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness II.Theor. Comput. Sci.13239-2701981Journal Articlesopenjournals/tcs/Gallier81a10.1016/S0304-3975(81)80001-1https://doi.org/10.1016/S0304-3975(81)80001-1https://dblp.org/rec/journals/tcs/Gallier81aURL#7086541Herbert KlaerenRecursive Definitions of Operations in Universal Algebras.Program Specification268-2811981Conference and Workshop Papersclosedconf/fm/Klaeren8110.1007/3-540-11490-4_18https://doi.org/10.1007/3-540-11490-4_18https://dblp.org/rec/conf/fm/Klaeren81URL#7088066Philippe FlajoletJean-Marc SteyaertA Complexity Calculus for Classes of Recursive Search Programs over Tree StructuresFOCS386-3931981Conference and Workshop Papersclosedconf/focs/FlajoletS8110.1109/SFCS.1981.2https://doi.org/10.1109/SFCS.1981.2https://dblp.org/rec/conf/focs/FlajoletS81URL#7088086Rex L. PageM. G. ConantDale H. GritIf-then-else as a concurrency inhibitor in eager beaver evaluation of recursive programs.FPCA179-1861981Conference and Workshop Papersclosedconf/fpca/PageCG8110.1145/800223.806777https://doi.org/10.1145/800223.806777https://dblp.org/rec/conf/fpca/PageCG81URL#7088163Axel PoignéAn Order Semantics for Non-Deterministic Recursive Program Schemes.GI Jahrestagung122-1291981Conference and Workshop Papersclosedconf/gi/Poigne8110.1007/978-3-662-01089-1_14https://doi.org/10.1007/978-3-662-01089-1_14https://dblp.org/rec/conf/gi/Poigne81URL#7088223John H. WilliamsFormal Representations for Recursively Defined Functional Programs.ICFPC460-4701981Conference and Workshop Papersclosedconf/icfpc/Williams8110.1007/3-540-10699-5_119https://doi.org/10.1007/3-540-10699-5_119https://dblp.org/rec/conf/icfpc/Williams81URL#7088663A. J. KfourySome Connections Between iterative Programs, Recursive Programs, and First-Order Logic.Logic of Programs150-1661981Conference and Workshop Papersclosedconf/lop/Kfoury8110.1007/BFB0025781https://doi.org/10.1007/BFb0025781https://dblp.org/rec/conf/lop/Kfoury81URL#7089237Richard S. BirdTabulation Techniques for Recursive Programs.ACM Comput. Surv.124403-4171980Journal Articlesclosedjournals/csur/Bird8010.1145/356827.356831https://doi.org/10.1145/356827.356831https://dblp.org/rec/journals/csur/Bird80URL#7091562Tsong Yueh ChenFormalization of correctness of recursive definitions.Int. J. Parallel Program.9155-611980Journal Articlesclosedjournals/ijpp/Chen8010.1007/BF00995809https://doi.org/10.1007/BF00995809https://dblp.org/rec/journals/ijpp/Chen80URL#7092171Jean-Claude RaoultJean VuilleminOperational and Semantic Equivalence Between Recursive Programs.J. ACM274772-7961980Journal Articlesclosedjournals/jacm/RaoultV8010.1145/322217.322229https://doi.org/10.1145/322217.322229https://dblp.org/rec/journals/jacm/RaoultV80URL#7092661André ArnoldMaurice NivatFormal Computations of Non Deterministic Recursive Program Schemes.Math. Syst. Theory13219-2361980Journal Articlesclosedjournals/mst/ArnoldN8010.1007/BF01744297https://doi.org/10.1007/BF01744297https://dblp.org/rec/journals/mst/ArnoldN80URL#7093558Krzysztof R. AptLambert G. L. T. MeertensCompleteness with Finite Systems of Intermediate Assertions for Recursive Program Schemes.SIAM J. Comput.94665-6711980Journal Articlesclosedjournals/siamcomp/AptM8010.1137/0209050https://doi.org/10.1137/0209050https://dblp.org/rec/journals/siamcomp/AptM80URL#7093877Siegfried WendtModified Petri Nets as Flowcharts for Recursive Program.Softw. Pract. Exp.1011935-9421980Journal Articlesclosedjournals/spe/Wendt8010.1002/SPE.4380101106https://doi.org/10.1002/spe.4380101106https://dblp.org/rec/journals/spe/Wendt80URL#7094366André ArnoldMaurice NivatMetric Interpretations of Infinite Trees and Semantics of non Deterministic Recursive Programs.Theor. Comput. Sci.11181-2051980Journal Articlesopenjournals/tcs/ArnoldN8010.1016/0304-3975(80)90045-6https://doi.org/10.1016/0304-3975(80)90045-6https://dblp.org/rec/journals/tcs/ArnoldN80URL#7094805Laurent KottA System for Proving Equivalences of Recursive Programs.CADE63-691980Conference and Workshop Papersclosedconf/cade/Kott8010.1007/3-540-10009-1_6https://doi.org/10.1007/3-540-10009-1_6https://dblp.org/rec/conf/cade/Kott80URL#7095863Harry B. Hunt IIIDaniel J. RosenkrantzThe Complexity of Recursion Schemes and Recursive Programming Languages (Extended Abstract)FOCS152-1601980Conference and Workshop Papersclosedconf/focs/HuntR8010.1109/SFCS.1980.45https://doi.org/10.1109/SFCS.1980.45https://dblp.org/rec/conf/focs/HuntR80URL#7096284Mario NagataTeruo AkiyamaYasutaka FujikakeAn Interactive Supporting System for Functional Recursive Programming.IFIP Congress263-2681980Conference and Workshop Papersunavailableconf/ifip/NagataAF80https://dblp.org/rec/conf/ifip/NagataAF80URL#7096950Thanh-Huy HuaConception et optimisation des descentes récursives.Symposium on Programming162-1761980Conference and Workshop Papersclosedconf/programm/Hua8010.1007/3-540-09981-6_12https://doi.org/10.1007/3-540-09981-6_12https://dblp.org/rec/conf/programm/Hua80URL#7097288William T. LaaserSynthesis of recursive programs.1979Books and Thesesclosedphd/us/Laaser79https://searchworks.stanford.edu/view/806165https://dblp.org/rec/phd/us/Laaser79URL#7098383Gérard BerryJean-Jacques LévyMinimal and Optimal Computations of Recursive Programs.J. ACM261148-1751979Journal Articlesclosedjournals/jacm/BerryL7910.1145/322108.322122https://doi.org/10.1145/322108.322122https://dblp.org/rec/journals/jacm/BerryL79URL#7099985David B. BensonParameter Passing in Nondeterministic Recursive Programs.J. Comput. Syst. Sci.19150-621979Journal Articlesopenjournals/jcss/Benson7910.1016/0022-0000(79)90013-8https://doi.org/10.1016/0022-0000(79)90013-8https://dblp.org/rec/journals/jcss/Benson79URL#7100191Sorin IstrailA Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs.ICALP289-3031979Conference and Workshop Papersclosedconf/icalp/Istrail7910.1007/3-540-09510-1_23https://doi.org/10.1007/3-540-09510-1_23https://dblp.org/rec/conf/icalp/Istrail79URL#7103512Daniel GoossensMeta-Interpretation of Recursive List-Processing Programs.IJCAI3381979Conference and Workshop Papersunavailableconf/ijcai/Goossens79https://dblp.org/rec/conf/ijcai/Goossens79URL#7103907Norman H. CohenCharacterization and Elimination of Redundancy in Recursive Programs.POPL143-1571979Conference and Workshop Papersclosedconf/popl/Cohen7910.1145/567752.567766https://doi.org/10.1145/567752.567766https://dblp.org/rec/conf/popl/Cohen79URL#7104451Jean H. GallierSemantics and correctness of classes of deterministic and nondeterministic recursive programs.1-2371978Books and Thesesunavailablebooks/daglib/0071482https://dblp.org/rec/books/daglib/0071482URL#7105065Andrei P. ErshovMixed computation in the class of recursive program schemata.Acta Cybern.4119-231978Journal Articlesclosedjournals/actaC/Ershov80https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3162https://dblp.org/rec/journals/actaC/Ershov80URL#7105403Belur V. DasarathyK. P. Bharath KumarCHITRA: Cognitive handprinted input-trained recursively analyzing system for recognition of alphanumeric characters.Int. J. Parallel Program.73253-2821978Journal Articlesclosedjournals/ijpp/DasarathyK7810.1007/BF00991633https://doi.org/10.1007/BF00991633https://dblp.org/rec/journals/ijpp/DasarathyK78URL#7106546Jean H. GallierSemantics and Correctness of Nondeterministic Flowchart Programs with Recursive Procedures.ICALP251-2671978Conference and Workshop Papersclosedconf/icalp/Gallier7810.1007/3-540-08860-1_19https://doi.org/10.1007/3-540-08860-1_19https://dblp.org/rec/conf/icalp/Gallier78URL#7110422Bruno CourcelleMaurice NivatThe Algebraic Semantics of Recursive Program Schemes.MFCS16-301978Conference and Workshop Papersclosedconf/mfcs/CourcelleN7810.1007/3-540-08921-7_53https://doi.org/10.1007/3-540-08921-7_53https://dblp.org/rec/conf/mfcs/CourcelleN78URL#7110960Bernhard G. GoetzeWerner NehrlichLoop Programs and Classes of Primitive Recursive Functions.MFCS232-2381978Conference and Workshop Papersclosedconf/mfcs/GoetzeN7810.1007/3-540-08921-7_70https://doi.org/10.1007/3-540-08921-7_70https://dblp.org/rec/conf/mfcs/GoetzeN78URL#7110969Alberto PettorossiImproving Memory Utilization in Transforming Recursive Programs (Extended Abstract).MFCS416-4251978Conference and Workshop Papersclosedconf/mfcs/Pettorossi7810.1007/3-540-08921-7_89https://doi.org/10.1007/3-540-08921-7_89https://dblp.org/rec/conf/mfcs/Pettorossi78URL#7110991Robert CartwrightJohn McCarthy 0001Recursive programs as functions in a first order theory.Mathematical Studies of Information Processing576-6291978Conference and Workshop Papersclosedconf/msi/CartwrightM7810.1007/3-540-09541-1_40https://doi.org/10.1007/3-540-09541-1_40https://dblp.org/rec/conf/msi/CartwrightM78URL#7111037Jean-Claude RaoultJean VuilleminOperational and Semantic Equivalence between Recursive ProgramsSTOC75-851978Conference and Workshop Papersclosedconf/stoc/RaoultV7810.1145/800133.804334https://doi.org/10.1145/800133.804334https://dblp.org/rec/conf/stoc/RaoultV78URL#7111522Zohar MannaAdi ShamirThe Optimal Approach to Recursive Programs.Commun. ACM2011824-8311977Journal Articlesclosedjournals/cacm/MannaS7710.1145/359863.359885https://doi.org/10.1145/359863.359885https://dblp.org/rec/journals/cacm/MannaS77URL#7112360Rod M. BurstallJohn DarlingtonA Transformation System for Developing Recursive Programs.J. ACM24144-671977Journal Articlesclosedjournals/jacm/BurstallD7710.1145/321992.321996https://doi.org/10.1145/321992.321996https://dblp.org/rec/journals/jacm/BurstallD77URL#7113604M. C. BiggsM. A. LaughtonOptimal electric power scheduling: A large nonlinear programming test problem solved by recursive quadratic programming.Math. Program.131167-1821977Journal Articlesclosedjournals/mp/BiggsL7710.1007/BF01584335https://doi.org/10.1007/BF01584335https://dblp.org/rec/journals/mp/BiggsL77URL#7114308André ArnoldMaurice NivatNon Deterministic Recursive Program Schemes.FCT12-211977Conference and Workshop Papersclosedconf/fct/ArnoldN7710.1007/3-540-08442-8_65https://doi.org/10.1007/3-540-08442-8_65https://dblp.org/rec/conf/fct/ArnoldN77URL#7116305Hans-Jürgen HoehnkeOn Partial Recursive Definitions and Programs.FCT260-2741977Conference and Workshop Papersclosedconf/fct/Hoehnke7710.1007/3-540-08442-8_93https://doi.org/10.1007/3-540-08442-8_93https://dblp.org/rec/conf/fct/Hoehnke77URL#7116325Jaco de BakkerRecursive Programs as Predicate Transformers.Formal Description of Programming Concepts165-1821977Conference and Workshop Papersunavailableconf/ifip2/Bakker77https://dblp.org/rec/conf/ifip2/Bakker77URL#7116696Patrick CousotRadhia CousotStatic Determination of Dynamic Properties of Recursive Procedures.Formal Description of Programming Concepts237-2781977Conference and Workshop Papersunavailableconf/ifip2/CousotC77https://dblp.org/rec/conf/ifip2/CousotC77URL#7116699Zohar MannaRichard J. WaldingerThe Automatic Synthesis of Systems of Recursive Programs.IJCAI405-4111977Conference and Workshop Papersopenconf/ijcai/MannaW77http://ijcai.org/Proceedings/77-1/Papers/071.pdfhttps://dblp.org/rec/conf/ijcai/MannaW77URL#7116849Joseph A. GoguenJosé Meseguer 0001Correctness of Recursive Flow Diagram Programs.MFCS580-5951977Conference and Workshop Papersclosedconf/mfcs/GoguenM7710.1007/3-540-08353-7_183https://doi.org/10.1007/3-540-08353-7_183https://dblp.org/rec/conf/mfcs/GoguenM77URL#7117010Gérard BerryJean-Jacques LévyMinimal and Optimal Computations of Recursive Programs.POPL215-2261977Conference and Workshop Papersclosedconf/popl/BerryL7710.1145/512950.512971https://doi.org/10.1145/512950.512971https://dblp.org/rec/conf/popl/BerryL77URL#7117132Takayuki KimuraRecursive programming in english for freshmen.SIGCSE-1129-1321977Conference and Workshop Papersclosedconf/sigcse/Kimura7710.1145/800104.803374https://doi.org/10.1145/800104.803374https://dblp.org/rec/conf/sigcse/Kimura77URL#7117298David HarelAmir PnueliJonathan StaviA Complete Axiomatic System for Proving Deductions about Recursive ProgramsSTOC249-2601977Conference and Workshop Papersclosedconf/stoc/HarelPS7710.1145/800105.803415https://doi.org/10.1145/800105.803415https://dblp.org/rec/conf/stoc/HarelPS77URL#7117492Zohar MannaRichard WaldingerThe automatic synthesis of recursive programs.Artificial Intelligence and Programming Languages29-361977Conference and Workshop Papersclosedjournals/sigart/MannaW7710.1145/800228.806929https://doi.org/10.1145/800228.806929https://dblp.org/rec/journals/sigart/MannaW77URL#7117724Willem P. de RoeverRecursive program schemes: semantics and proof theory.Mathematical Centre Tracts701976Books and Thesesunavailablephd/Roever1976https://dblp.org/rec/phd/Roever1976URL#7117840Anthony J. GuttmannProgramming recursively defined functions infortran.Int. J. Parallel Program.52111-1221976Journal Articlesclosedjournals/ijpp/Guttmann7610.1007/BF00975628https://doi.org/10.1007/BF00975628https://dblp.org/rec/journals/ijpp/Guttmann76URL#7119034Daniel P. FriedmanDavid S. WiseOutput Driven Interpretation of Recursive Programs, or Writing Creates and Destroys Data Structures.Inf. Process. Lett.56155-1601976Journal Articlesclosedjournals/ipl/FriedmanW7610.1016/0020-0190(76)90010-7https://doi.org/10.1016/0020-0190(76)90010-7https://dblp.org/rec/journals/ipl/FriedmanW76URL#7119156Gérard BerryBottom-Up Computation of Recursive Programs.RAIRO Theor. Informatics Appl.10147-821976Journal Articlesclosedjournals/ita/Berry7610.1051/ITA/197610R100471https://doi.org/10.1051/ita/197610R100471https://dblp.org/rec/journals/ita/Berry76URL#7119320J. W. de BakkerSemantics and Termination of Nondeterministic Recursive Programs.ICALP435-4771976Conference and Workshop Papersunavailableconf/icalp/Bakker76https://dblp.org/rec/conf/icalp/Bakker76URL#7122232Daniel P. FriedmanDavid S. WiseMitchell WandRecursive programming through table look-up.SYMSACC85-891976Conference and Workshop Papersclosedconf/issac/FriedmanWW7610.1145/800205.806326https://doi.org/10.1145/800205.806326https://dblp.org/rec/conf/issac/FriedmanWW76URL#7122738Andrzej SalwickiTomasz MüldnerComputational Processes Generated by Programs with Recursive Procedures and Block Structures.MFCS503-5091976Conference and Workshop Papersclosedconf/mfcs/SalwickiM7610.1007/3-540-07854-1_221https://doi.org/10.1007/3-540-07854-1_221https://dblp.org/rec/conf/mfcs/SalwickiM76URL#7122858Boris A. TrakhtenbrotRecursive Program Schemas and Computable Functionals.MFCS137-1521976Conference and Workshop Papersclosedconf/mfcs/Trakhtenbrot7610.1007/3-540-07854-1_168https://doi.org/10.1007/3-540-07854-1_168https://dblp.org/rec/conf/mfcs/Trakhtenbrot76URL#7122865Zbigniew ZwinogrodzkiEquivalence and Optimization of Recursive Program Schemata.MFCS569-5751976Conference and Workshop Papersclosedconf/mfcs/Zwinogrodzki7610.1007/3-540-07854-1_230https://doi.org/10.1007/3-540-07854-1_230https://dblp.org/rec/conf/mfcs/Zwinogrodzki76URL#7122869Robert S. BoyerJ Strother MooreRobert E. ShostakPrimitive Recursive Program Transformations.POPL171-1741976Conference and Workshop Papersclosedconf/popl/BoyerMS7610.1145/800168.811550https://doi.org/10.1145/800168.811550https://dblp.org/rec/conf/popl/BoyerMS76URL#7122936Howard A. PeelleLearning mathematics with recursive computer programs.SIGCSE-SIGCUE116-1301976Conference and Workshop Papersclosedconf/sigcse/Peelle7610.1145/800107.803461https://doi.org/10.1145/800107.803461https://dblp.org/rec/conf/sigcse/Peelle76URL#7123115C. A. R. HoareRecursive data structures.Int. J. Parallel Program.42105-1321975Journal Articlesclosedjournals/ijpp/Hoare7510.1007/BF00976239https://doi.org/10.1007/BF00976239https://dblp.org/rec/journals/ijpp/Hoare75URL#7124887Robert P. DaleyMinimal-Program Complexity of Pseudo-Recursive and Pseudo-Random Sequences.Math. Syst. Theory9183-941975Journal Articlesclosedjournals/mst/Daley7510.1007/BF01698128https://doi.org/10.1007/BF01698128https://dblp.org/rec/journals/mst/Daley75URL#7125753Antoni W. MazurkiewiczParallel Recursive Program Schemes.MFCS75-871975Conference and Workshop Papersclosedconf/mfcs/Marzurkiewicz7510.1007/3-540-07389-2_183https://doi.org/10.1007/3-540-07389-2_183https://dblp.org/rec/conf/mfcs/Marzurkiewicz75URL#7128100Rod M. BurstallJohn DarlingtonSome transformations for developing recursive programs.Reliable Software465-4721975Conference and Workshop Papersclosedconf/relsoft/BurstallD7510.1145/800027.808470https://doi.org/10.1145/800027.808470https://dblp.org/rec/conf/relsoft/BurstallD75URL#7128233Zohar MannaAdi ShamirThe Optimal Fixedpoint of Recursive ProgramsSTOC194-2061975Conference and Workshop Papersclosedconf/stoc/MannaS7510.1145/800116.803769https://doi.org/10.1145/800116.803769https://dblp.org/rec/conf/stoc/MannaS75URL#7128542Rod M. BurstallJames W. ThatcherThe algebraic theory of recursive program schemes.Category Theory Applied to Computation and Control126-1311974Conference and Workshop Papersclosedconf/category/BurstallT7410.1007/3-540-07142-3_71https://doi.org/10.1007/3-540-07142-3_71https://dblp.org/rec/conf/category/BurstallT74URL#7132484Giorgio AusielloRelations between Semantics and Complexity of Recursive Programs.ICALP129-1401974Conference and Workshop Papersclosedconf/icalp/Ausiello7410.1007/3-540-06841-4_56https://doi.org/10.1007/3-540-06841-4_56https://dblp.org/rec/conf/icalp/Ausiello74URL#7132681Maarten M. FokkingaInductive assertion patters for recursive procedures.Symposium on Programming221-2331974Conference and Workshop Papersclosedconf/programm/Fokkinga7410.1007/3-540-06859-7_136https://doi.org/10.1007/3-540-06859-7_136https://dblp.org/rec/conf/programm/Fokkinga74URL#7133172Robert E. NoonanDale J. PantonStructured recursive programming.Symposium on Programming81-871974Conference and Workshop Papersclosedconf/programm/NoonanP7410.1007/3-540-06859-7_126https://doi.org/10.1007/3-540-06859-7_126https://dblp.org/rec/conf/programm/NoonanP74URL#7133185William W. AgrestiRecursive Compiler-Optimization for Nonserial Program Graphs.1973Books and Thesesunavailablephd/us/Agresti73https://dblp.org/rec/phd/us/Agresti73URL#7133903Jean VuilleminProof techniques for recursive programs.1973Books and Thesesclosedphd/us/Vuillemin73https://searchworks.stanford.edu/view/2169551https://dblp.org/rec/phd/us/Vuillemin73URL#7133949Willem P. de RoeverOperational and mathematical semantics for recursive polyadic program schemata.ACM SIGPLAN Notices8631-341973Journal Articlesclosedjournals/sigplan/Roever7310.1145/986953.986968https://doi.org/10.1145/986953.986968https://dblp.org/rec/journals/sigplan/Roever73URL#7135835Ashok K. ChandraEfficient Compilation of Linear Recursive ProgramsSWAT16-251973Conference and Workshop Papersclosedconf/focs/Chandra7310.1109/SWAT.1973.7https://doi.org/10.1109/SWAT.1973.7https://dblp.org/rec/conf/focs/Chandra73URL#7137227Willem P. de RoeverOperational and Mathematical Semantics for Recursive Polyadic Program Schemata.MFCS293-2981973Conference and Workshop Papersunavailableconf/mfcs/Roever73https://dblp.org/rec/conf/mfcs/Roever73URL#7137596John Seely BrownRecursive functional programming as a conceptual tool for social scientists.ACM Annual Conference3201972Conference and Workshop Papersclosedconf/acm/Brown7210.1145/800193.569937https://doi.org/10.1145/800193.569937https://dblp.org/rec/conf/acm/Brown72URL#7140865Zohar MannaComputation of recursive programs: theory vs practice.AFIPS Spring Joint Computing Conference219-2231972Conference and Workshop Papersclosedconf/afips/Manna7210.1145/1478873.1478902https://doi.org/10.1145/1478873.1478902https://dblp.org/rec/conf/afips/Manna72URL#7141144J. W. de BakkerWillem P. de RoeverA Calculus for Recursive Program Schemes.ICALP167-1961972Conference and Workshop Papersunavailableconf/icalp/BakkerR72https://dblp.org/rec/conf/icalp/BakkerR72URL#7141497Jean-Marie CadiouZohar MannaRecursive definitions of partial functions and their computations.Proving Assertions About Programs58-651972Conference and Workshop Papersclosedconf/praapr/CadiouM7210.1145/800235.807072https://doi.org/10.1145/800235.807072https://dblp.org/rec/conf/praapr/CadiouM72URL#7141562M. FoleyC. A. R. HoareProof of a Recursive Program: Quicksort.Comput. J.144391-3951971Journal Articlesclosedjournals/cj/FoleyH7110.1093/COMJNL/14.4.391https://doi.org/10.1093/comjnl/14.4.391https://dblp.org/rec/journals/cj/FoleyH71URL#7142287Vinton G. CerfGerald EstrinMeasurement of Recursive Programs.IFIP Congress314-3191971Conference and Workshop Papersunavailableconf/ifip/CerfE71https://dblp.org/rec/conf/ifip/CerfE71URL#7144282Jati K. SenguptaGerhard TintnerOn the stability of solutions under recursive programming.Unternehmensforschung1011-141966Journal Articlesclosedjournals/mmor/SenguptaT6610.1007/BF01918280https://doi.org/10.1007/BF01918280https://dblp.org/rec/journals/mmor/SenguptaT66URL#7154278W. S. BrownAn operating environment for dynamic-recursive computer programming systems.Commun. ACM86371-3771965Journal Articlesclosedjournals/cacm/Brown65a10.1145/364955.364966https://doi.org/10.1145/364955.364966https://dblp.org/rec/journals/cacm/Brown65aURL#7154948John G. FletcherA program to solve the Pentomino problem by the recursive use of macros.Commun. ACM810621-6231965Journal Articlesclosedjournals/cacm/Fletcher6510.1145/365628.365654https://doi.org/10.1145/365628.365654https://dblp.org/rec/journals/cacm/Fletcher65URL#7154976Otto C. JuelichJames A. AyersOn the recursive programming techniques.Commun. ACM753141964Journal Articlesclosedjournals/cacm/JuelichA6410.1145/364099.364326https://doi.org/10.1145/364099.364326https://dblp.org/rec/journals/cacm/JuelichA64URL#7156304James A. AyersRecursive programming in Fortran II.Commun. ACM611667-6681963Journal Articlesclosedjournals/cacm/Ayers6310.1145/368310.368361https://doi.org/10.1145/368310.368361https://dblp.org/rec/journals/cacm/Ayers63URL#7157301