:facetid:toc:\"db/conf/esop/esop96.bht\"OK:facetid:toc:db/conf/esop/esop96.bhtMaría AlpuenteMoreno FalaschiGermán VidalNarrowing-Driven Partial Evaluation of Functional Logic Programs.ESOP45-611996Conference and Workshop Papersclosedconf/esop/AlpuenteFV9610.1007/3-540-61055-3_28https://doi.org/10.1007/3-540-61055-3_28https://dblp.org/rec/conf/esop/AlpuenteFV96URL#6707654Steffen van BakelFranco BarbaneraMaribel FernándezRewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization.ESOP387-4031996Conference and Workshop Papersclosedconf/esop/BakelBF9610.1007/3-540-61055-3_50https://doi.org/10.1007/3-540-61055-3_50https://dblp.org/rec/conf/esop/BakelBF96URL#6707655Roberto BarbutiPaolo MancarellaA Multiple-Valued Logical Semantics for Prolog.ESOP62-761996Conference and Workshop Papersclosedconf/esop/BarbutiM9610.1007/3-540-61055-3_29https://doi.org/10.1007/3-540-61055-3_29https://dblp.org/rec/conf/esop/BarbutiM96URL#6707656Denis BéchetRemoving Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages.ESOP77-911996Conference and Workshop Papersclosedconf/esop/Bechet9610.1007/3-540-61055-3_30https://doi.org/10.1007/3-540-61055-3_30https://dblp.org/rec/conf/esop/Bechet96URL#6707657Jan A. BergstraT. B. DineshJohn FieldJan HeeringA Complete Transformational Toolkit for Compilers.ESOP92-1071996Conference and Workshop Papersclosedconf/esop/BergstraDFH9610.1007/3-540-61055-3_31https://doi.org/10.1007/3-540-61055-3_31https://dblp.org/rec/conf/esop/BergstraDFH96URL#6707658Francisco BuenoDaniel Cabeza GrasManuel V. HermenegildoGermán PueblaGlobal Analysis of Standard Prolog Programs.ESOP108-1241996Conference and Workshop Papersclosedconf/esop/BuenoGHP9610.1007/3-540-61055-3_32https://doi.org/10.1007/3-540-61055-3_32https://dblp.org/rec/conf/esop/BuenoGHP96URL#6707659Pascal FradetRonan CaugneDaniel Le MétayerStatic Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm.ESOP125-1401996Conference and Workshop Papersclosedconf/esop/FradetCM9610.1007/3-540-61055-3_33https://doi.org/10.1007/3-540-61055-3_33https://dblp.org/rec/conf/esop/FradetCM96URL#6707660Roberto GiacobazziFrancesco RanzatoCompositional Optimization of Disjunctive Abstract Interpretations.ESOP141-1551996Conference and Workshop Papersclosedconf/esop/GiacobazziR9610.1007/3-540-61055-3_34https://doi.org/10.1007/3-540-61055-3_34https://dblp.org/rec/conf/esop/GiacobazziR96URL#6707661Juan Carlos González MorenoMaria Teresa Hortalá-GonzálezFrancisco Javier López-FraguasMario Rodríguez-ArtalejoA Rewriting Logic for Declarative Programming.ESOP156-1721996Conference and Workshop Papersclosedconf/esop/Gonzalez-MorenoHLR9610.1007/3-540-61055-3_35https://doi.org/10.1007/3-540-61055-3_35https://dblp.org/rec/conf/esop/Gonzalez-MorenoHLR96URL#6707662Eric GoubaultDurations for Truly-Concurrent Transitions.ESOP173-1871996Conference and Workshop Papersclosedconf/esop/Goubault9610.1007/3-540-61055-3_36https://doi.org/10.1007/3-540-61055-3_36https://dblp.org/rec/conf/esop/Goubault96URL#6707663Thomas P. JensenIan MackieFlow Analysis in the Geometry of Interaction.ESOP188-2031996Conference and Workshop Papersclosedconf/esop/JensenM9610.1007/3-540-61055-3_37https://doi.org/10.1007/3-540-61055-3_37https://dblp.org/rec/conf/esop/JensenM96URL#6707664Cliff B. JonesSome Practical Problems and Their Influence on Semantics.ESOP1-171996Conference and Workshop Papersclosedconf/esop/Jones9610.1007/3-540-61055-3_26https://doi.org/10.1007/3-540-61055-3_26https://dblp.org/rec/conf/esop/Jones96URL#6707665Simon L. Peyton JonesCompiling Haskell by Program Transformation: A Report from the Trenches.ESOP18-441996Conference and Workshop Papersclosedconf/esop/Jones96a10.1007/3-540-61055-3_27https://doi.org/10.1007/3-540-61055-3_27https://dblp.org/rec/conf/esop/Jones96aURL#6707666John LaunchburyRoss PatersonParametricity and Unboxing with Unpointed Types.ESOP204-2181996Conference and Workshop Papersclosedconf/esop/LaunchburyP9610.1007/3-540-61055-3_38https://doi.org/10.1007/3-540-61055-3_38https://dblp.org/rec/conf/esop/LaunchburyP96URL#6707667Sheng LiangPaul HudakModular Denotational Semantics for Compiler Construction.ESOP219-2341996Conference and Workshop Papersclosedconf/esop/LiangH9610.1007/3-540-61055-3_39https://doi.org/10.1007/3-540-61055-3_39https://dblp.org/rec/conf/esop/LiangH96URL#6707668Florence MaraninchiNicolas HalbwachsCompositional Semantics of Non-Deterministic Synchronous Languages.ESOP235-2491996Conference and Workshop Papersclosedconf/esop/MaraninchiH9610.1007/3-540-61055-3_40https://doi.org/10.1007/3-540-61055-3_40https://dblp.org/rec/conf/esop/MaraninchiH96URL#6707669Stephan MelzerJavier EsparzaChecking System Properties via Integer Programming.ESOP250-2641996Conference and Workshop Papersclosedconf/esop/MelzerE9610.1007/3-540-61055-3_41https://doi.org/10.1007/3-540-61055-3_41https://dblp.org/rec/conf/esop/MelzerE96URL#6707670Ugo MontanariMarco PistoreDaniel YankelevichEfficient Minimization up to Location Equivalence.ESOP265-2791996Conference and Workshop Papersclosedconf/esop/MontanariPY9610.1007/3-540-61055-3_42https://doi.org/10.1007/3-540-61055-3_42https://dblp.org/rec/conf/esop/MontanariPY96URL#6707671Jens PalsbergBoaz Patt-ShamirKarl J. LieberherrA New Approach to Compiling Adaptive Programs.ESOP280-2951996Conference and Workshop Papersclosedconf/esop/PalsbergPL9610.1007/3-540-61055-3_43https://doi.org/10.1007/3-540-61055-3_43https://dblp.org/rec/conf/esop/PalsbergPL96URL#6707672Ekkehard RohwedderFrank PfenningMode and Termination Checking for Higher-Order Logic Programs.ESOP296-3101996Conference and Workshop Papersclosedconf/esop/RohwedderP9610.1007/3-540-61055-3_44https://doi.org/10.1007/3-540-61055-3_44https://dblp.org/rec/conf/esop/RohwedderP96URL#6707673Eva RoseLinear Time Hierarchies for a Functional Language Machine Model.ESOP311-3251996Conference and Workshop Papersclosedconf/esop/Rose9610.1007/3-540-61055-3_45https://doi.org/10.1007/3-540-61055-3_45https://dblp.org/rec/conf/esop/Rose96URL#6707674Helmut SeidlInteger Constraints to Stop Deforestation.ESOP326-3401996Conference and Workshop Papersclosedconf/esop/Seidl9610.1007/3-540-61055-3_46https://doi.org/10.1007/3-540-61055-3_46https://dblp.org/rec/conf/esop/Seidl96URL#6707675Geoffrey Smith 0001Dennis M. VolpanoTowards an ML-Style Polymorphic Type System for C.ESOP341-3551996Conference and Workshop Papersclosedconf/esop/SmithV9610.1007/3-540-61055-3_47https://doi.org/10.1007/3-540-61055-3_47https://dblp.org/rec/conf/esop/SmithV96URL#6707676Ketil StølenAssumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness.ESOP356-3721996Conference and Workshop Papersclosedconf/esop/Stolen9610.1007/3-540-61055-3_48https://doi.org/10.1007/3-540-61055-3_48https://dblp.org/rec/conf/esop/Stolen96URL#6707677Michael ThunéKrister ÅhlanderTowards an Expressive Language for PDE Solvers.ESOP373-3861996Conference and Workshop Papersclosedconf/esop/ThuneA9610.1007/3-540-61055-3_49https://doi.org/10.1007/3-540-61055-3_49https://dblp.org/rec/conf/esop/ThuneA96URL#6707678Hanne Riis NielsonProgramming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, ProceedingsESOPLecture Notes in Computer Science1058Springer1996Editorshipconf/esop/199610.1007/3-540-61055-3https://doi.org/10.1007/3-540-61055-3https://dblp.org/rec/conf/esop/1996URL#6727406