| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.) |
Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings  |
PLILP  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Giacobazzi, Francesca Scozzari |
Intuitionistic Implication in Abstract Interpretation. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
directional types, logic programming, static analysis, Abstract interpretation, domains, intuitionistic logic |
| 1 | Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
DrScheme: A Pedagogic Programming Environment for Scheme. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Algebraic Evaluation, Teaching programming to beginning students, Programming, Programming Environments, Pedagogy, Scheme, Static Debugging |
| 1 | Simon J. Thompson |
Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
palindrome recognition, Polya, Functional programming, Haskell, problem solving |
| 1 | Davide Ancona, Elena Zucca |
Overriding Operators in a Mixin-Based Framework. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Reasoning about Language Constructs, Modularity, Object Oriented Languages |
| 1 | Ross Paterson |
Transforming Lazy Functions Using Comportment Properties. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, automatic program transformation |
| 1 | Erik Johansson, Christer Jonsson, Thomas Lindgren, Johan Bevemyr, Håkan Millroth |
A Pragmatic Approach to Compilation of Erlang. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Louis Giavitto, Dominique De Vito, Olivier Michel 0001 |
Semantics and Compilation of Recursive Sequential Streams in 8½. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
compilation of dataflow graphs, stream, clock |
| 1 | Sergio Antoy, Zena M. Ariola |
Narrowing the Narrowing Space. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Narrowing space, Computed expression, Regular computed expression, Finite representation, Narrowing, Functional logic programming |
| 1 | Jan Sparud, Colin Runciman |
Tracing Lazy Functional Computations Using Redex Trails. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
debugging, program transformation, Haskell, graph reduction |
| 1 | Jon Whittle 0001, Alan Bundy, Helen Lowe |
An Editor for Helping Novices to Learn Standard ML. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Programming Language Learning, Analogy, Learning Environments |
| 1 | Gilles Barthe, John Hatcliff, Morten Heine Sørensen |
Reflections on Reflections. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriana B. Compagnoni, Maribel Fernández |
On Object Calculus with Algebraic Rewriting. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Object calculi, Combined calculi, Type systems, Rewriting |
| 1 | Manuel Serrano |
Inline Expansion: When and How? |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Optimization, Compilation, Functional languages, Inlining |
| 1 | Norbert Eisinger, Tim Geisler, Sven Panne |
Logic Implemented Functionally. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
functional programming, disjunctive logic programming, model generation, programming course |
| 1 | Steve Gregory |
A Declarative Approach to Concurrent Programming. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Janousek, Borivoj Melichar |
Formal Translations Described by Translation Grammars with LR(k) Input Grammars. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Teaching Functional and Logic Programming with a Single Computational Model. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Keyword Functional logic languages, integration of paradigms, lazy evaluation, residuation, narrowing |
| 1 | Christian Mossin |
Higher-Order Value Flow Graphs. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
polyvariance, efficiency, program analysis, type system, polymorphism, recursive types |
| 1 | Nobuhisa Fujinami |
Automatic Run-Time Code Generation in Object-Oriented Languages. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Cousineau |
Functional Programming and Geometry. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
education, computer geometry, modularity, functional programming, types, tilings |
| 1 | Salvador Lucas |
Transformations for Efficient Evaluations in Functional Programming. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
evaluation, program transformation, functional programming, term rewriting |
| 1 | Hugh Glaser, Pieter H. Hartel, Herbert Kuchen (eds.) |
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, Proceedings |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyi Huang 0001, Chengzheng Sun, Abdul Sattar 0001 |
Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
OR-forest, Parallel Processing, Logic Programming, Side-effect, OR-parallelism, AND-parallelism |
| 1 | David De Roure |
Introducing the Declarative Dungeon. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
EuLisp, Scheme, declarative languages, MUD |
| 1 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Implementation of Term Rewritings with the Evaluation Strategy. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
reduction strategies, the E-strategy, term rewriting systems |
| 1 | Mats Carlsson, Greger Ottosson, Björn Carlson |
An Open-Ended Finite Domain Constraint Solver. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Implementation of Constraint Systems, Indexicals, Constraint Programming, Global Constraints, Finite Domains |
| 1 | Antony Francis Bowers, Patricia M. Hill, Francisco Ibañez |
Resolution for Logic Programming with Universal Quantifiers. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Universal quantifiers, specification, logic programming, programming languages, resolution, implication |
| 1 | Hongwei Xi |
Evaluation Under Lambda Abstraction. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
partial evaluation, lambda-calculus, run-time code generation |
| 1 | José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz |
Inheritance and Selective Methods Dispatching in Concurrent Haskell. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
guarded methods, functional programming, Haskell, inheritance anomaly, Concurrent objects |
| 1 | Christoph A. Herrmann, Christian Lengauer |
Transformation of Divide & Conquer to Nested Parallel Loops. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
parallelization, Haskell, skeleton, divide-and-conquer, space-time mapping, equational reasoning |
| 1 | Didier Parigot, Gilles Roussel 0001, Martin Jourdan, Étienne Duris |
Dynamic Attribute Grammars. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
static analysis, implementation, Attribute Grammars, applicative programming, dynamic semantics |
| 1 | Michael Leuschel, Danny De Schreye |
Logic Program Specialisation: How To Be More Specific. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Lucas |
Context-Sensitive Computations in Confluent Programs. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
functional programming, term rewriting systems, confluence |
| 1 | Maribel Fernández, Ian Mackie |
From Term Rewriting to Generalised Interaction Nets. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
Cheap Tupling in Calculational Form. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Schulte 0001 |
Oz Explorer: A Visual Constraint Programming Tool. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis A. Galán, Cristóbal Pareja, Ricardo Pena |
Functional Skeletons Generate Process Topologies in Eden. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
parallel programming, Functional programming, skeletons, concurrent programming, higher order functions |
| 1 | Enno Scholz |
PIDGETS - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Ruggieri |
Decidability of Logic Program Semantics and Applications to Testing. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy |
Needed Narrowing in Prolog (Extended Abstract). |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo |
Towards Independent And-Parallelism in CLP. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff W. Hamilton |
Higher Order Deforestation. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei Gorlatch |
Systematic Extraction and Implementation of Divide-and-Conquer Parallelism. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Lambert G. L. T. Meertens |
Calculate Polytypically! |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose |
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
Implementation of functional programming, weak reduction, space leaks, recursion, sharing, lambda calculus, explicit substitution |
| 1 | Olivier Danvy, René Vestergaard |
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquín Mateos-Lago, Mario Rodríguez-Artalejo |
GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascale Louvet, Olivier Ridoux |
Parametric Polymorphism for Typed Prolog and lambda-Prolog. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
second-order -Calculus, Logic programming, polymorphism, typing |
| 1 | Maria-Virginia Aponte, Roberto Di Cosmo |
Type Isomorphisms for Module Signatures. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
typing and structuring systems, retrieval of functions in function libraries, programming environments, ML, module systems |
| 1 | Nicoletta De Francesco, Antonella Santone |
Unfold/Fold Transformations of Concurrent Processes. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Weyer, William H. Winsborough |
Annotated Structure Shape Graphs for Abstract Analysis of Prolog. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
Abstract Analysis, Structure Shape Graph, Unify Set, Compile-Time Garbage Collection, Update-In-Place, Structure Sharing, Sharing, Liveness, Aliasing, Type Graph |
| 1 | Juliana Freire, Terrance Swift, David Scott Warren |
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Stuckey, Vincent W. L. Tam |
Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph W. Keßler |
Scheduling Expression DAGs for Minimal Register Need. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert Kuchen, S. Doaitse Swierstra (eds.) |
Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Fecht |
An Efficient and Precise Sharing Domain for Logic Programs. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kahrs |
Limits of ML-Definability. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
completeness, ML, polymorphism, recursion, definability |
| 1 | Roberto Bagnara |
A Reactive Implementation of Pos Using ROBDDs. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo |
Automatic Optimization of Dynamic Scheduling in Logic Programs. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Thiemann 0001 |
Implementing Memoization for Partial Evaluation. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
incremental specialization, termination of partial evaluation, reflection, partial evaluation, automatic program transformation |
| 1 | Mengchi Liu |
The LOL Deductive Database Programming Language (Extended Abstract). |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Alejandro Ríos 0001 |
Generalized beta-Reduction and Explicit Substitution. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen |
Controlling Conjunctive Partial Deduction. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gehrke, Michaela Huhn |
ProFun - A Language for Executable Specifications. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
Integration of, Concurrent and Functional Programming, Language Design, Executable Specifications, Formal Reasoning |
| 1 | Gianna Bellè, C. Barry Jay, Eugenio Moggi |
Functorial ML. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Xining Li |
Program Sharing: A New Implementation Approach for Prolog. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy, Michael Mehl, Ralf Scheidhauer |
Integrating Efficient Records into Concurrent Constraint Programming. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
Concurrent Constraint, Natural-Language Processing, Logic Programming, Prolog, Implementation, Record |
| 1 | Ton Vullinghs, Daniel Tuinman, Wolfram Schulte |
Lightweight GUIs for Functional Programming |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Douence, Pascal Fradet |
Towards a Taxonomy of Functional Languages Implementations |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuka Shimajiri, Hiroshi Seki, Hidenori Itoh |
Goal-Directed Query Processing in Disjunctive Logic Databases |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Alejandro Ríos 0001 |
A Lambda-Calculus à la de Bruijn with Explicit Substitutions |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Koichi Nakahara, Aart Middeldorp, Tetsuo Ida |
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Agostino Dovier |
Minimal Set Unification |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
Logic Programming with Sets, Unification, CLP |
| 1 | John Hatcliff |
Mechanically Verifying the Correctness of an Offline Partial Evaluator |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Mohnen |
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, David Sands 0001 |
A Semantic Model of Binding Times for Safe Partial Evaluation |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens E. Wunderwald |
A Portable Implementation of Memoing Evaluation |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Barton C. Massey, Evan Tick |
Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Marriott |
Parsing Visual Languages with Constraint Multiset Grammars |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mycroft, Kirsten Lackner Solberg |
Uniform PERs and Comportment Analysis |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Hüseyin Saglam, John P. Gallagher |
Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Hugues Réty |
The Notion of Floundering for SLDNF-Resolution Revisited |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Achten |
A Functional Framework for Deterministically Interleaved Interactive Programs |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing |
A New Strategy for Semantic Matching |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo |
Better Consumers for Deforestation (Extended Abstract) |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Faßbender |
A Verified Implementation of Narrowing |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugh McEvoy, Pieter H. Hartel |
Local Linear Logic for Locality Consciousness in Multiset Transformation |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Hans, Fernando Sáenz-Pérez, Stephan Winkler |
An Expression-Or-Parallel Implementation for a Functional Logic Language |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Barendsen, Sjaak Smetsers |
Uniqueness Type Inference |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Merik Meriste, Jaan Penjam |
Attributed Models of Executable Specifications |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Dawson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Design and Implementation of Jump Tables for Fast Indexing of Logic Programs |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren |
Exploiting Parallelism in Tabled Evaluations |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark P. Jones |
Programming with Constructor Classes (Abstract) |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Livio Colussi, Elena Marchiori, Massimo Marchiori |
A Dataflow Semantics for Constraint Logic Programs |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Glück, Jesper Jørgensen |
Efficient Multi-level Generating Extensions for Program Specialization |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Noble, Colin Runciman |
Gadgets: Lazy Functional Components for Graphical User Interfaces |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
Gofer, concurrency, processes, functional language, window manager |
| 1 | Puri Arenas-Sánchez, Ana Gil-Luezas |
A Debugging Model for Lazy Narrowing |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Oege de Moor |
A Generic Program for Sequential Decision Processes |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Burgués Illa, Xavier Franch |
Evaluation of Expressions in a Multiparadigm Framework |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license