Search results for "ESOP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Henry Cejtin, Suresh Jagannathan, Stephen Weeks	Flow-Directed Closure Conversion for Typed Languages.	ESOP	2000	DBLP DOI BibTeX RDF
1	Helmut Seidl, Bernhard Steffen	Constraint-Based Inter-Procedural Analysis of Parallel Programs.	ESOP	2000	DBLP DOI BibTeX RDF	Inter-procedural program analysis, explicit parallelism, bitvector problems, simple constant propagation, coincidence theorems
1	Gilles Barthe, Maria João Frade	Constructor Subtyping.	ESOP	1999	DBLP DOI BibTeX RDF
1	Paul Hudak	Functional Reactive Programming (Abstract).	ESOP	1999	DBLP DOI BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson	Interprocedural Control Flow Analysis.	ESOP	1999	DBLP DOI BibTeX RDF
1	Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard	An Idealized MetaML: Simpler, and More Expressive.	ESOP	1999	DBLP DOI BibTeX RDF
1	Andreas Podelski, Witold Charatonik, Martin Müller 0001	Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs.	ESOP	1999	DBLP DOI BibTeX RDF
1	Andrei Sabelfeld, David Sands 0001	A Per Model of Secure Information Flow in Sequential Programs.	ESOP	1999	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller	Dynamic Programming via Static Incrementalization.	ESOP	1999	DBLP DOI BibTeX RDF
1	Alan Mycroft	Type-Based Decompilation (or Program Reconstruction via Type Reconstruction).	ESOP	1999	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Martín Abadi	Types for Safe Locking.	ESOP	1999	DBLP DOI BibTeX RDF
1	Olivier Danvy, Zhe Yang	An Operational Investigation of the CPS Hierarchy.	ESOP	1999	DBLP DOI BibTeX RDF
1	Patrik Jansson, Johan Jeuring	Polytypic Compact Printing and Parsing.	ESOP	1999	DBLP DOI BibTeX RDF
1	Michael Benedikt, Thomas W. Reps, Shmuel Sagiv	A Decidable Logic for Describing Linked Data Structures.	ESOP	1999	DBLP DOI BibTeX RDF
1	Andy King, Jan-Georg Smaus, Patricia M. Hill	Quotienting Share for Dependency Analysis.	ESOP	1999	DBLP DOI BibTeX RDF	definite Boolean functions, widening, abstract interpretation, data-flow analysis, dependency analysis, (Constraint) logic programs
1	Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen	Expressing Structural Properties as Language Constructs.	ESOP	1999	DBLP DOI BibTeX RDF
1	Valery Trifonov, Zhong Shao	Safe and Principled Language Interoperation.	ESOP	1999	DBLP DOI BibTeX RDF
1	Simon J. Gay, Malcolm Hole	Types and Subtypes for Client-Server Interactions.	ESOP	1999	DBLP DOI BibTeX RDF
1	S. Doaitse Swierstra (eds.)	Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings	ESOP	1999	DBLP DOI BibTeX RDF
1	Arnd Poetzsch-Heffter, Peter Müller 0001	A Programming Logic for Sequential Java.	ESOP	1999	DBLP DOI BibTeX RDF
1	Michael Norrish	Deterministic Expressions in C.	ESOP	1999	DBLP DOI BibTeX RDF
1	Peter Thiemann 0001	Higher-Order Code Splicing.	ESOP	1999	DBLP DOI BibTeX RDF
1	Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas	A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.	ESOP	1998	DBLP DOI BibTeX RDF
1	Jens Knoop, Oliver Rüthing, Bernhard Steffen	Code Motion and Code Placement: Just Synonyms?	ESOP	1998	DBLP DOI BibTeX RDF
1	Chris Hankin (eds.)	Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings	ESOP	1998	DBLP DOI BibTeX RDF
1	Florence Maraninchi, Yann Rémond	Mode-Automata: About Modes and States for Reactive Systems.	ESOP	1998	DBLP DOI BibTeX RDF
1	Gert Smolka	Concurrent Constraint Programming Based on Functional Programming (Extended Abstract).	ESOP	1998	DBLP DOI BibTeX RDF
1	Peter Thiemann 0001	A Generic Framework for Specialization (Abridged Version).	ESOP	1998	DBLP DOI BibTeX RDF	program transformation, partial evaluation, computational effects, higher-order programming
1	Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee	Synchronisation Analysis to Stop Tulping.	ESOP	1998	DBLP DOI BibTeX RDF
1	Christian Fecht, Helmut Seidl	Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems.	ESOP	1998	DBLP DOI BibTeX RDF
1	Martín Abadi, Andrew D. Gordon 0001	A Bisimulation Method for Cryptographic Protocols.	ESOP	1998	DBLP DOI BibTeX RDF
1	C. Barry Jay, Paul Steckler	The Functional Imperative: Shape!	ESOP	1998	DBLP DOI BibTeX RDF
1	Salvatore Ruggieri	A Complete Declarative Debugger of Missing Answers.	ESOP	1998	DBLP DOI BibTeX RDF	Missing Answers, Acceptable Logic Programs, Logic programming, Error Diagnosis, Declarative Debugging
1	K. Rustan M. Leino	Recursive Object Types in a Logic of Object-Oriented Programs.	ESOP	1998	DBLP DOI BibTeX RDF
1	Didier Rémy	From Classes to Objects via Subtyping.	ESOP	1998	DBLP DOI BibTeX RDF
1	Ulrich Hensel, Marieke Huisman, Bart Jacobs 0001, Hendrik Tews	Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools.	ESOP	1998	DBLP DOI BibTeX RDF
1	John L. Ross, Shmuel Sagiv	Building a Bridge between Pointer Aliases and Program Dependences.	ESOP	1998	DBLP DOI BibTeX RDF
1	Kohei Honda 0001, Vasco Thudichum Vasconcelos, Makoto Kubo	Language Primitives and Type Discipline for Structured Communication-Based Programming.	ESOP	1998	DBLP DOI BibTeX RDF
1	Ramkrishna Chatterjee, Barbara G. Ryder, William Landi	Complexity of Concrete Type-Inference in the Presence of Exceptions.	ESOP	1998	DBLP DOI BibTeX RDF
1	William L. Scherlis	Systematic Change of Data Representation: Program Manipulations and a Case Study.	ESOP	1998	DBLP DOI BibTeX RDF
1	Luís Caires, Luís Monteiro	Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi.	ESOP	1998	DBLP DOI BibTeX RDF
1	Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	A Rewriting Logic for Declarative Programming.	ESOP	1996	DBLP DOI BibTeX RDF	non-deterministic functions, constructor-based rewriting logic, lazy narrowing, Declarative programming
1	Geoffrey Smith 0001, Dennis M. Volpano	Towards an ML-Style Polymorphic Type System for C.	ESOP	1996	DBLP DOI BibTeX RDF
1	Sheng Liang, Paul Hudak	Modular Denotational Semantics for Compiler Construction.	ESOP	1996	DBLP DOI BibTeX RDF
1	Ketil Stølen	Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness.	ESOP	1996	DBLP DOI BibTeX RDF
1	Helmut Seidl	Integer Constraints to Stop Deforestation.	ESOP	1996	DBLP DOI BibTeX RDF
1	Eric Goubault	Durations for Truly-Concurrent Transitions.	ESOP	1996	DBLP DOI BibTeX RDF
1	María Alpuente, Moreno Falaschi, Germán Vidal	Narrowing-Driven Partial Evaluation of Functional Logic Programs.	ESOP	1996	DBLP DOI BibTeX RDF
1	Steffen van Bakel, Franco Barbanera, Maribel Fernández	Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization.	ESOP	1996	DBLP DOI BibTeX RDF
1	Pascal Fradet, Ronan Caugne, Daniel Le Métayer	Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm.	ESOP	1996	DBLP DOI BibTeX RDF
1	Michael Thuné, Krister Åhlander	Towards an Expressive Language for PDE Solvers.	ESOP	1996	DBLP DOI BibTeX RDF	composite grids, parallel, object-oriented, scientific computing
1	John Launchbury, Ross Paterson	Parametricity and Unboxing with Unpointed Types.	ESOP	1996	DBLP DOI BibTeX RDF
1	Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla	Global Analysis of Standard Prolog Programs.	ESOP	1996	DBLP DOI BibTeX RDF	Optimization, Logic Programming, Abstract Interpretation
1	Cliff B. Jones	Some Practical Problems and Their Influence on Semantics.	ESOP	1996	DBLP DOI BibTeX RDF
1	Stephan Melzer, Javier Esparza	Checking System Properties via Integer Programming.	ESOP	1996	DBLP DOI BibTeX RDF
1	Hanne Riis Nielson (eds.)	Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings	ESOP	1996	DBLP DOI BibTeX RDF
1	Ekkehard Rohwedder, Frank Pfenning	Mode and Termination Checking for Higher-Order Logic Programs.	ESOP	1996	DBLP DOI BibTeX RDF
1	Eva Rose	Linear Time Hierarchies for a Functional Language Machine Model.	ESOP	1996	DBLP DOI BibTeX RDF	selective update, operational semantics, functional languages, structured data, CAM, linear time, complexity hierarchy
1	Roberto Barbuti, Paolo Mancarella	A Multiple-Valued Logical Semantics for Prolog.	ESOP	1996	DBLP DOI BibTeX RDF
1	Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering	A Complete Transformational Toolkit for Compilers.	ESOP	1996	DBLP DOI BibTeX RDF
1	Florence Maraninchi, Nicolas Halbwachs	Compositional Semantics of Non-Deterministic Synchronous Languages.	ESOP	1996	DBLP DOI BibTeX RDF
1	Ugo Montanari, Marco Pistore, Daniel Yankelevich	Efficient Minimization up to Location Equivalence.	ESOP	1996	DBLP DOI BibTeX RDF
1	Roberto Giacobazzi, Francesco Ranzato	Compositional Optimization of Disjunctive Abstract Interpretations.	ESOP	1996	DBLP DOI BibTeX RDF
1	Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr	A New Approach to Compiling Adaptive Programs.	ESOP	1996	DBLP DOI BibTeX RDF
1	Thomas P. Jensen, Ian Mackie	Flow Analysis in the Geometry of Interaction.	ESOP	1996	DBLP DOI BibTeX RDF
1	Simon L. Peyton Jones	Compiling Haskell by Program Transformation: A Report from the Trenches.	ESOP	1996	DBLP DOI BibTeX RDF
1	Denis Béchet	Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages.	ESOP	1996	DBLP DOI BibTeX RDF	alternative values, strongly-typed language, interpreters, partial evaluation, type specialization
1	Andy Mück, Thomas Streicher	A Tiny Constrain Functional Logic Language and Its Continuation Semantics.	ESOP	1994	DBLP DOI BibTeX RDF
1	Torben Amtoft	Local Type Reconstruction by Means of Symbolic Fixed Point Iteration.	ESOP	1994	DBLP DOI BibTeX RDF
1	James H. Andrews	Foundational Issues in Implementing Constraint Logic Programming Systems.	ESOP	1994	DBLP DOI BibTeX RDF
1	Luc Moreau 0001	The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations.	ESOP	1994	DBLP DOI BibTeX RDF
1	Andy King	A Synergistic Analysis for Sharing and Groundness with Traces Linearity.	ESOP	1994	DBLP DOI BibTeX RDF
1	Michael Hanus	Lazy Unification with Simplification.	ESOP	1994	DBLP DOI BibTeX RDF
1	Stefan Kahrs	First-Class Polymorphism for ML.	ESOP	1994	DBLP DOI BibTeX RDF
1	Wei Li 0022	A Logical Framework for Evolution of Specifications.	ESOP	1994	DBLP DOI BibTeX RDF
1	Karl-Heinz Buth	Simulation of SOS Definitions with Term Rewriting Systems.	ESOP	1994	DBLP DOI BibTeX RDF
1	Robin Milner	Pi-Nets: A Graphical Form of pi-Calculus.	ESOP	1994	DBLP DOI BibTeX RDF
1	David B. MacQueen, Mads Tofte	A Semantics for Higher-Order Functors.	ESOP	1994	DBLP DOI BibTeX RDF
1	Benjamin Z. Li	A pi-Calculus Specification of Prolog.	ESOP	1994	DBLP DOI BibTeX RDF
1	Martín Abadi, Luca Cardelli	A Theory of Primitive Objects - Scond-Order Systems.	ESOP	1994	DBLP DOI BibTeX RDF
1	David Walker 0008	Algebraic Proofs of Properties of Objects.	ESOP	1994	DBLP DOI BibTeX RDF
1	Luca Boerio	Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus.	ESOP	1994	DBLP DOI BibTeX RDF
1	Fritz Henglein, Christian Mossin	Polymorphic Binding-Time Analysis.	ESOP	1994	DBLP DOI BibTeX RDF
1	Serafino Cicerone, Francesco Parisi-Presicce	Strategies in Modular System Design by Interface Rewriting.	ESOP	1994	DBLP DOI BibTeX RDF
1	C. Barry Jay, J. Robin B. Cockett	Shapely Types and Shape Polymorphism.	ESOP	1994	DBLP DOI BibTeX RDF
1	Chris Hankin, Daniel Le Métayer	Lazy Type Inference for the Strictness Analysis of Lists.	ESOP	1994	DBLP DOI BibTeX RDF
1	Michel Bidoit, Rolf Hennicker, Martin Wirsing	Characterizing Behavioural Semantics and Abstractor Semantics.	ESOP	1994	DBLP DOI BibTeX RDF
1	Johan Jeuring, S. Doaitse Swierstra	Bottom-up Grammar Analysis - A Functional Formulation.	ESOP	1994	DBLP DOI BibTeX RDF
1	Alessandra Di Pierro, Catuscia Palamidessi	A Logical Denotational Semantics for Constraint Logic Programming.	ESOP	1994	DBLP DOI BibTeX RDF
1	Henrik Reif Andersen, Michael Mendler	An Asynchronous Algebra with Multiple Clocks.	ESOP	1994	DBLP DOI BibTeX RDF
1	Morten Heine Sørensen, Robert Glück, Neil D. Jones	Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC.	ESOP	1994	DBLP DOI BibTeX RDF
1	Pascal Fradet	Compilation of Head and Strong Reduction.	ESOP	1994	DBLP DOI BibTeX RDF
1	Bernard Berthomieu, Thierry Le Sergent	Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS.	ESOP	1994	DBLP DOI BibTeX RDF
1	Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler	Type Classes in Haskell.	ESOP	1994	DBLP DOI BibTeX RDF
1	Corrado Böhm, Adolfo Piperno, Stefano Guerrini	Lambda-Definition of Function(al)s by Normal Forms.	ESOP	1994	DBLP DOI BibTeX RDF
1	K. V. S. Prasad	Broadcasting with Priority. (journal version: Science of Computer Programming 25 (1995))	ESOP	1994	DBLP DOI BibTeX RDF	Broadcast, functional programming, bisimulation, priority, process calculi
1	Robert Giegerich, Stefan Kurtz	Suffix Trees in the Functional Programming Paradigm.	ESOP	1994	DBLP DOI BibTeX RDF
1	Andrew Kennedy	Dimension Types.	ESOP	1994	DBLP DOI BibTeX RDF
1	Marc-Michel Corsini, Antoine Rauzy	Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization.	ESOP	1994	DBLP DOI BibTeX RDF	Symbolic Model Checking, Constraint Languages
1	Donald Sannella (eds.)	Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings	ESOP	1994	DBLP DOI BibTeX RDF

Publications at "ESOP"( http://dblp.L3S.de/Venues/ESOP )