The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase effect systems (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1988-2004 (18) 2005-2009 (21) 2010-2018 (15)
Publication types (Num. hits)
article(15) book(1) inproceedings(36) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 98 occurrences of 61 keywords

Results
Found 54 publication records. Showing 54 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
32Iulian Neamtiu, Michael Hicks 0001, Jeffrey S. Foster, Polyvios Pratikakis Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF contextual effects, version consistency, type and effect systems, dynamic software updating, computation effects, data race detection
30Daniel Marino, Todd D. Millstein A generic type-and-effect system. Search on Bibsonomy TLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF type-and-effect systems
27Hayo Thielecke From control effects to typed continuation passing. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF control effects, polymorphism, continuations, type and effect systems
20Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks 0001, Iulian Neamtiu Formalizing Soundness of Contextual Effects. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Xavier Leroy, François Pessaux Type-based analysis of uncaught exceptions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF rows, ML, polymorphism, type inference, exceptions, type and effect systems, SML, static debugging, caml
14Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas Race-free and memory-safe multithreading: design and implementation in cyclone. Search on Bibsonomy TLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF safe multithreading, type and effect systems, region-based memory management, cyclone
14Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino Local policies for resource usage analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Usage policies, model-checking, type and effect systems
14Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian A type and effect system for deterministic parallel Java. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF deterministic parallelism, determinism, effects, commutativity, effect systems
14William C. Benton, Charles N. Fischer Mostly-Functional Behavior in Java Programs. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Java, Program Analysis, Type-and-effect Systems
14Oleg Kiselyov, Chung-chieh Shan Lightweight monadic regions. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems
14Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca A provenly correct translation of Fickle into Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF semantics preserving translation, Type and effect systems
14Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein Enforcing and validating user-defined programming disciplines. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF pluggable type systems, programming disciplines, type-and-effect systems, type qualifiers
14Nicholas Robert Cameron, Sophia Drossopoulou, James Noble 0001, Matthew J. Smith Multiple ownership. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF effects, ownership types, type and effect systems
14Jurriaan Hage, Stefan Holdermans, Arie Middelkoop A generic usage analysis with subeffect qualifiers. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF uniqueness typing, type and effect systems, qualified types, sharing analysis
14Nick Benton, Peter Buchlovsky Semantics of an effect analysis for exceptions. Search on Bibsonomy TLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF partial equivalence relations, program analysis, types, optimizing compilation, exceptions, denotational semantics, effect systems
14Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann 0001 Relational semantics for effect-based program transformations with dynamic allocation. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF region analysis, program transformation, parametricity, logical relations, type and effect systems
14Yi Lu 0003, John Potter Protecting representation with effect encapsulation. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF object encapsulation, representation exposure, types, ownership types, effect systems
14Derek Dreyer Recursive type generativity. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF generativity, type systems, recursion, abstract data types, effect systems, recursive modules
14Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini Re-classification and multi-threading: FickleMT. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF object-oriented languages, multi-threading, type and effect systems
14Derek Dreyer A type system for well-founded recursion. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF yype systems, recursion, effect systems, recursive modules
14Aleksandar Nanevski From dynamic binding to state via modal possibility. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF modal lambda-calculus, state, dynamic binding, effect systems
14Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini More dynamic object reclassification: Fickle|| Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Object-oriented languages, type and effect systems
14Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard Exception analysis for non-strict languages. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Boolean constraints, non-strict functional programming languages, type inference, exceptions, effect systems
14Torben Amtoft, Hanne Riis Nielson, Flemming Nielson Behavior Analysis for Validating Communication Patterns. Search on Bibsonomy STTT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Validation of safety conditions, Process algebras, Type and effect systems, Concurrent ML
13Shin-ya Katsumata Parametric effect monads and semantics of effect systems. Search on Bibsonomy POPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
10Philip Wadler The Marriage of Effects and Monads. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
8Christian Skalka, Scott F. Smith 0001 History Effects and Verification. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
7Colin S. Gordon Sequential Effect Systems with Control Operators. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
7Colin S. Gordon Polymorphic Iterable Sequential Effect Systems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
7Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter Gradual type-and-effect systems. Search on Bibsonomy J. Funct. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
7Alan Mycroft, Dominic A. Orchard, Tomas Petricek 0001 Effect Systems Revisited - Control-Flow Algebra and Semantics. Search on Bibsonomy Semantics, Logics, and Calculi The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
7Krzysztof Chalupka, Frederick Eberhardt, Pietro Perona Multi-Level Cause-Effect Systems. Search on Bibsonomy AISTATS The full citation details ... 2016 DBLP  BibTeX  RDF
7Krzysztof Chalupka, Pietro Perona, Frederick Eberhardt Multi-Level Cause-Effect Systems. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
7Letterio Galletta An Abstract Interpretation Framework for Type and Effect Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
7Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter A theory of gradual effect systems. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
7Dominic A. Orchard, Tomas Petricek 0001 Embedding effect systems in Haskell. Search on Bibsonomy Haskell The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
7John Pirie New developments to Skalpel: a type error slicing method for explaining errors in type and effect systems. Search on Bibsonomy 2014   RDF
7Ohad Kammar Algebraic theory of type-and-effect systems. Search on Bibsonomy 2014   RDF
7Ross Tate The sequential semantics of producer effect systems. Search on Bibsonomy POPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
7Mikhail A. Belyaev, V. A. Tsesko LLVM-based static analysis tool using type and effect systems. Search on Bibsonomy Automatic Control and Computer Sciences The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
7Jurriaan Hage, Bastiaan Heeren Strategies for Solving Constraints in Type and Effect Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
7Izuru Kume, Etsuya Shibayama Feature Interactions in Object-Oriented Effect Systems from a Viewpoint of Program Comprehension - ((W) work-in-progress paper). Search on Bibsonomy ICFI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
7Torben Amtoft, Hanne Riis Nielson, Flemming Nielson Type and effect systems - behaviours for concurrency. Search on Bibsonomy 1999   RDF
7Flemming Nielson, Hanne Riis Nielson Type and Effect Systems. Search on Bibsonomy Correct System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness
7Andrea Maggiolo-Schettini, Gionata Matteucci Processes in Cause-Effect Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
7Flemming Nielson Annotated Type and Effect Systems. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
7Yan Mei Tang, Pierre Jouvelot Effect Systems with Subtyping. Search on Bibsonomy PEPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
7John M. Lucassen, David K. Gifford Polymorphic Effect Systems. Search on Bibsonomy POPL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
5Roberto M. Amadio On Stratified Regions. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Types and effects, Reducibility candidates, Termination
3Robert Atkey Algebras for Parameterised Monads. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
3Katherine F. Moore, Dan Grossman High-level small-step operational semantics for transactions. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF weak atomicity, parallelism, transactional memory, operational semantics, isolation, strong atomicity
3Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi 0001 Resource usage analysis for a functional language with exceptions. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF resource usage analysis, type system, type inference, exception, effect system
3Sabine Glesner, Wolf Zimmermann Natural semantics as a static program analysis framework. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fixed-point program analyses, constraint solving, semantic analysis, compiler generators, static program analysis, Natural semantics
3Jens Palsberg Type-based analysis and applications. Search on Bibsonomy PASTE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #54 of 54 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license