Concept

Function composition (computer science)

Related publications (23)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Offer Semantics: Achieving Compositionality, Flattening and Full Expressiveness for the Glue Operators in BIP

Simon Bliudze, Eduard Baranov

Based on a concise but comprehensive overview of some fundamental properties required from component-based frameworks, namely compositionality, incrementality, flattening, modularity and expressiveness, we review three modifications of the semantics of glu ...

2014

Effect Analysis for Programs with Callbacks

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic object allocation, and dynamic dispatch. Our analysis is precise even in the presence of dynamic dispatch where the context-insensitive estimate on the number o ...

Springer Berlin Heidelberg2013

On Effect Analysis for Programs with Callbacks

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

2012

Naming Anonymous JavaScript Functions

Claude Petitpierre, Salman Mirghasemi

JavaScript developers create programs by calling functions and they use functions to construct objects. JavaScript development tools need to report to developers about those functions and constructors, for example in debugger call-stacks and in object repr ...

2011

Naming Anonymous JavaScript Functions

Claude Petitpierre, Salman Mirghasemi

2011

Functionalization of polysulfide nanoparticles and their performance as circulating carriers

Jeffrey Alan Hubbell, Nicola Tirelli, Annemie Rehor

We here present an evaluation of the carrier performance of nanoparticles that are biofunctional, i.e. derivatized to provide a controlled biological activity, and environmentally responsive, since they respond to the presence of oxidants. In particular, w ...

2008

Protocol Composition Frameworks, A Header Driven Model

Sergio Mena, Daniel Bünzli

Protocol composition frameworks provide off-the-shelf composable protocols to simplify the development of custom protocol stacks. All recent protocol frameworks use a general-purpose event-driven model to manage the interactions between protocols. In compl ...

2005

Protocol Composition Frameworks, A Header Driven Model

Sergio Mena, Daniel Bünzli

2005

Programming language abstractions for extensible software components

Matthias Zenger

With the growing demand for software systems that can cope with an increasing range of information processing tasks, the reuse of code from existing systems is essential to reduce the production costs of systems as well as the time to manufacture new softw ...

EPFL2004

Type-Safe Prototype-Based Component Evolution

Matthias Zenger

Component-based programming is currently carried out us- ing mainstream object-oriented languages. These languages have to be used in a highly disciplined way to guarantee flexible component composition and extensibility. This paper investigates abstractio ...

Springer Berlin Heidelberg2002