Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/esop

Publication years (Num. hits)
1986 (28) 1988 (29) 1990 (27) 1992 (29) 1994 (34) 1996 (26) 1998 (19) 1999 (20) 2000 (28) 2001 (29) 2002 (23) 2003 (28) 2004 (29) 2005 (30) 2006 (24) 2007 (36) 2008 (30) 2009 (29) 2010 (33) 2011 (26) 2012 (30) 2013 (33) 2014 (30) 2015 (34) 2016 (31) 2017 (37) 2018 (37) 2019 (29) 2020 (28) 2021 (25) 2022 (22) 2023 (21)
Publication types (Num. hits)
inproceedings(882) proceedings(32)
Venues (Conferences, Journals, ...)
ESOP(914)
Authors
Helmut Seidl(13) Lars Birkedal(13) Luís Caires(12) Matthias Felleisen(12) Flemming Nielson(10) Gilles Barthe(10) Naoki Kobayashi 0001(10) Nobuko Yoshida(10) Hanne Riis Nielson(9) Hongseok Yang(9) Peter Müller 0001(9) François Pottier(8) Frank Pfenning(8) Peter Thiemann 0001(8) Andrew D. Gordon 0001(7) Andy King(7) More (+10 of total 1425)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 113 occurrences of 91 keywords
Results
Found 914 publication records. Showing 914 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Eugene W. Stark Proving Entailment Between Conceptual State Specifications. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe A General Approach to the Optimization of Function Calls. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Corrado Böhm Reducing Recursion to Iteration by Algebraic Extension. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF subrecursive function theory, Functional programming, initial algebras, algebraic data types, term algebras
1Alfons Geser, Heinrich Hußmann Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Mads Dam, Frank Jensen Compiler Generation from Relational Semantics. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Harald Søndergaard An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Pierre Jouvelot Parallelization by Semantic Detection of Reductions. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Gilles Bernot, Michel Bidoit, Christine Choppy Algebraic Semantics of Exception Handling. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Hugh Glaser, Sean Hayes Another Implementation Technique for Applicative Languages. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Bernd Schwinn, Gerhard Barth An And-Parallel Execution Model of Logic Programs. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Didier Bert, Rachid Echahed Design and Implementation of a Generic, Logic and Functional Programming Language. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Bernard J. Robinet, Reinhard Wilhelm (eds.) ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Flemming Nielson Correctness of Code Generation from a Two-Level Meta-Language. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Patrick Bellot GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
Displaying result #901 - #914 of 914 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license