PLILP - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 341

1998

Integrating Constraint Propagation in Complete Solving of Linear Diophantine SystemsFarid Ajili, Hendrik C. R. Lock. plilp 1998: 463-480 [doi]

Solution to the Problem of Zantema on a Persistent Property of Term Rewriting SystemsTakahito Aoto. plilp 1998: 250-265 [doi]

Embedding Multiset Constraints into a Lazy Functional Logic LanguagePuri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo. plilp 1998: 429-444 [doi]

Optimal Reduction of Functional ExpressionsAndrea Asperti. plilp 1998: 427-428 [doi]

From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of ViewSilvia Breitinger, Ulrike Klusik, Rita Loogen. plilp 1998: 318-334 [doi]

Detecting Unsolvable Queries for Definite Logic ProgramsMaurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker. plilp 1998: 118-133 [doi]

Constructive Negation Using Typed Existence PropertiesJohn G. Cleary, Lunjin Lu. plilp 1998: 411-426 [doi]

The Boolean Logic of Set Sharing AnalysisMichael Codish, Harald Søndergaard. plilp 1998: 89-101 [doi]

Architecture Software Using A Methodology for Language DevelopmentCharles Consel, Renaud Marlet. plilp 1998: 170-194 [doi]

A Game Semantics Foundation for Logic Programming (Extended Abstract)Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet. plilp 1998: 355-373 [doi]

Logic Programming and Model CheckingBaoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren. plilp 1998: 1-20 [doi]

CAT: The Copying Approach to TablingBart Demoen, Konstantinos F. Sagonas. plilp 1998: 21-35 [doi]

Functional Implementations of Continuos Modeled AnimationConal Elliott. plilp 1998: 284-299 [doi]

SICStus MT - A Multithreaded Execution Environment for SICStus PrologJesper Eskilson, Mats Carlsson. plilp 1998: 36-53 [doi]

Compiling Erlang to SchemeMarc Feeley, Martin Larose. plilp 1998: 300-317 [doi]

A Hidden Herbrand TheoremJoseph A. Goguen, Grant Malcolm, Tom Kemp. plilp 1998: 445-462 [doi]

Program Analysis in Lambda-PrologJohn Hannan. plilp 1998: 353-354 [doi]

Controlling Search in Declarative ProgramsMichael Hanus, Frank Steiner. plilp 1998: 374-390 [doi]

Staging Static Analyses Using Abstraction-Based Program SpecializationJohn Hatcliff, Matthew B. Dwyer, Shawn Laubach. plilp 1998: 134-151 [doi]

Explicit Substitutions for Objects and FunctionsDelia Kesner, Pablo E. Martínez López. plilp 1998: 195-212 [doi]

Derivation of Proof Methods by Abstract InterpretationGiorgio Levi, Paolo Volpe. plilp 1998: 102-117 [doi]

An Experiment in Domain Refinement: Type Domains and Type Representations for Logic ProgramsGiorgio Levi, Fausto Spoto. plilp 1998: 152-169 [doi]

A General Framework for R-Unification ProblemsSébastien Limet, Frédéric Saubion. plilp 1998: 266-281 [doi]

Encapsulating Data in Logic Programming via Categorial ConstraintsJames Lipton, Robert McGrail. plilp 1998: 391-410 [doi]

A Compiler for Rewrite Programs in Associative-Commutative TheoriesPierre-Etienne Moreau, Hélène Kirchner. plilp 1998: 230-249 [doi]

Principles of Declarative Programming, 10th International Symposium, PLILP 98 Held Jointly with the 7th International Conference, ALP 98, Pisa, Italy, September 16-18, 1998, ProceedingsCatuscia Palamidessi, Hugh Glaser, Karl Meinke, editors, Volume 1490 of Lecture Notes in Computer Science, Springer, 1998.

Operational Versus Denotational Methods in the Semantics of Higher Order LanguagesAndrew M. Pitts. plilp 1998: 282-283 [doi]

The Complexity of Late-Binding in Dynamic Object-Oriented LanguagesEnrico Pontelli, Desh Ranjan, Gopal Gupta. plilp 1998: 213-229 [doi]

Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex MethodPhilippe Refalo. plilp 1998: 481-496 [doi]

Termination of Logic Programs with block Declarations Running in Several ModesJan-Georg Smaus, Patricia M. Hill, Andy King. plilp 1998: 73-88 [doi]

A Framework for Bottom Up Specialisation of Logic ProgramsWim Vanhoof, Danny De Schreye, Bern Martens. plilp 1998: 54-72 [doi]

Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual MachineDavid Wakeling. plilp 1998: 335-352 [doi]

1997

Overriding Operators in a Mixin-Based FrameworkDavide Ancona, Elena Zucca. plilp 1997: 47-61

Narrowing the Narrowing SpaceSergio Antoy, Zena M. Ariola. plilp 1997: 1-15

Reflections on ReflectionsGilles Barthe, John Hatcliff, Morten Heine Sørensen. plilp 1997: 241-258

Resolution for Logic Programming with Universal QuantifiersAntony F. Bowers, Patricia M. Hill, Francisco Ibañez. plilp 1997: 63-77

An Open-Ended Finite Domain Constraint SolverMats Carlsson, Greger Ottosson, Björn Carlson. plilp 1997: 191-206

On Object Calculus with Algebraic RewritingAdriana B. Compagnoni, Maribel Fernández. plilp 1997: 17-31

Functional Programming and GeometryGuy Cousineau. plilp 1997: 309-322

Logic Implemented FunctionallyNorbert Eisinger, Tim Geisler, Sven Panne. plilp 1997: 351-368

DrScheme: A Pedagogic Programming Environment for SchemeRobby Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen. plilp 1997: 369-388

Automatic Run-Time Code Generation in Object-Oriented LanguagesNobuhisa Fujinami. plilp 1997: 423-424

Inheritance and Selective Methods Dispatching in Concurrent HaskellJosé E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz. plilp 1997: 33-46

Intuitionistic Implication in Abstract InterpretationRoberto Giacobazzi, Francesca Scozzari. plilp 1997: 175-189

Semantics and Compilation of Recursive Sequential Streams in 8½Jean-Louis Giavitto, Dominique De Vito, Olivier Michel. plilp 1997: 207-223

Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP 97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, ProceedingsHugh Glaser, Pieter H. Hartel, Herbert Kuchen, editors, Volume 1292 of Lecture Notes in Computer Science, Springer, 1997.

A Declarative Approach to Concurrent ProgrammingSteve Gregory. plilp 1997: 79-93

Teaching Functional and Logic Programming with a Single Computational ModelMichael Hanus. plilp 1997: 335-350

Transformation of Divide & Conquer to Nested Parallel LoopsChristoph A. Herrmann, Christian Lengauer. plilp 1997: 95-109

Selective Recomputation for Handling Side-Effects in Parallel Logic ProgramsZhiyi Huang, Chengzheng Sun, Abdul Sattar. plilp 1997: 275-289

Formal Translations Described by Translation Grammars with LR(k) Input GrammarsJan Janousek, Borivoj Melichar. plilp 1997: 421-422

A Pragmatic Approach to Compilation of ErlangErik Johansson, Christer Jonsson, Thomas Lindgren, Johan Bevemyr, Håkan Millroth. plilp 1997: 419-420

Transformations for Efficient Evaluations in Functional ProgrammingSalvador Lucas. plilp 1997: 127-141

Higher-Order Value Flow GraphsChristian Mossin. plilp 1997: 159-173

Implementation of Term Rewritings with the Evaluation StrategyKazuhiro Ogata, Kokichi Futatsugi. plilp 1997: 225-239

Transforming Lazy Functions Using Comportment PropertiesRoss Paterson. plilp 1997: 111-125

Introducing the Declarative DungeonDavid De Roure. plilp 1997: 407-417

Inline Expansion: When and How?Manuel Serrano. plilp 1997: 143-157

Tracing Lazy Functional Computations Using Redex TrailsJan Sparud, Colin Runciman. plilp 1997: 291-308

Where Do I Begin? A Problem Solving Approach in teaching Functional ProgrammingSimon J. Thompson. plilp 1997: 323-334

An Editor for Helping Novices to Learn Standard MLJon Whittle, Alan Bundy, Helen Lowe. plilp 1997: 389-405

Evaluation Under Lambda AbstractionHongwei Xi. plilp 1997: 259-273

1996

Needed Narrowing in Prolog (Extended Abstract)Sergio Antoy. plilp 1996: 473-474

Type Isomorphisms for Module SignaturesMaria Virginia Aponte, Roberto Di Cosmo. plilp 1996: 334-346

A Reactive Implementation of Pos Using ROBDDsRoberto Bagnara. plilp 1996: 107-121

Functorial MLGianna Bellè, C. Barry Jay, Eugenio Moggi. plilp 1996: 32-46

Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit SubstitutionZine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose. plilp 1996: 393-407

Semantics-Based Compiling: A Case Study in Type-Directed Partial EvaluationOlivier Danvy, René Vestergaard. plilp 1996: 182-197

Towards Independent And-Parallelism in CLPMaria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo. plilp 1996: 77-91

An Efficient and Precise Sharing Domain for Logic ProgramsChristian Fecht. plilp 1996: 469-470

From Term Rewriting to Generalised Interaction NetsMaribel Fernández, Ian Mackie. plilp 1996: 319-333

Unfold/Fold Transformations of Concurrent ProcessesNicoletta De Francesco, Antonella Santone. plilp 1996: 167-181

Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling StrategiesJuliana Freire, Terrance Swift, David Scott Warren. plilp 1996: 243-258

Functional Skeletons Generate Process Topologies in EdenLuis A. Galán, Cristóbal Pareja, Ricardo Pena. plilp 1996: 289-303

ProFun - A Language for Executable SpecificationsThomas Gehrke, Michaela Huhn. plilp 1996: 304-318

Controlling Conjunctive Partial DeductionRobert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen. plilp 1996: 152-166

Systematic Extraction and Implementation of Divide-and-Conquer ParallelismSergei Gorlatch. plilp 1996: 274-288

Higher Order DeforestationGeoff W. Hamilton. plilp 1996: 213-227

Cheap Tupling in Calculational FormZhenjiang Hu, Hideya Iwasaki, Masato Takeichi. plilp 1996: 471-472

Limits of ML-DefinabilityStefan Kahrs. plilp 1996: 17-31

Generalized beta-Reduction and Explicit SubstitutionFairouz Kamareddine, Alejandro Ríos. plilp 1996: 378-392

Scheduling Expression DAGs for Minimal Register NeedChristoph W. Keßler. plilp 1996: 228-242

Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP 96, Aachen, Germany, September 24-27, 1996, ProceedingsHerbert Kuchen, S. Doaitse Swierstra, editors, Volume 1140 of Lecture Notes in Computer Science, Springer, 1996.

Logic Program Specialisation: How To Be More SpecificMichael Leuschel, Danny De Schreye. plilp 1996: 137-151

Program Sharing: A New Implementation Approach for PrologXining Li. plilp 1996: 259-273

The LOL Deductive Database Programming Language (Extended Abstract)Mengchi Liu. plilp 1996: 454-468

Parametric Polymorphism for Typed Prolog and lambda-PrologPascale Louvet, Olivier Ridoux. plilp 1996: 47-61

Context-Sensitive Computations in Confluent ProgramsSalvador Lucas. plilp 1996: 408-422

GOTA Algebras: A Specification Formalism for Inheritance and Object HierarchiesJoaquín Mateos-Lago, Mario Rodríguez-Artalejo. plilp 1996: 62-76

Calculate Polytypically!Lambert G. L. T. Meertens. plilp 1996: 1-16

Dynamic Attribute GrammarsDidier Parigot, Gilles Roussel, Martin Jourdan, Étienne Duris. plilp 1996: 122-136

Automatic Optimization of Dynamic Scheduling in Logic ProgramsGermán Puebla, Manuel V. Hermenegildo. plilp 1996: 475-476

Integrating Efficient Records into Concurrent Constraint ProgrammingPeter Van Roy, Michael Mehl, Ralf Scheidhauer. plilp 1996: 438-453

Decidability of Logic Program Semantics and Applications to TestingSalvatore Ruggieri. plilp 1996: 347-362

PIDGETS - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI ProgrammingEnno Scholz. plilp 1996: 363-377

Oz Explorer: A Visual Constraint Programming ToolChristian Schulte. plilp 1996: 477-478

Models for Using Stochastic Constraint Solvers in Constraint Logic ProgrammingPeter J. Stuckey, Vincent Tam. plilp 1996: 423-437

Implementing Memoization for Partial EvaluationPeter Thiemann. plilp 1996: 198-212

Annotated Structure Shape Graphs for Abstract Analysis of PrologGeoffrey Weyer, William H. Winsborough. plilp 1996: 92-106

1995

A Generic Program for Sequential Decision ProcessesOege de Moor. plilp 1995: 1-23

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

PLILP (plilp)

Viewing Publication 1 - 100 from 341

1998

1997

1996

1995

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

PLILP (plilp)

Viewing Publication 1 - 100 from 341

1998

1997

1996

1995

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1