Concept

Swift (programming language)

Related publications (28)

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.

Implementing Joins using Extensible Pattern Matching

Philipp Haller

Join patterns are an attractive declarative way to synchronize both threads and asynchronous distributed computations. We explore joins in the context of extensible pattern matching that recently appeared in languages such as F# and Scala. Our implementati ...

2007

Runtime Checking for Program Verification

The process of verifying that a program conforms to its specification is often hampered by errors in both the program and the specification. A runtime checker that can evaluate formal specifications can be useful for quickly identifying such errors. This p ...

Springer2007

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

Matching Database Access Patterns to Storage Characteristics

Anastasia Ailamaki

Today’s storage interfaces hide device-specific details, simplifying system development and device interoperability. However, they prevent database systems from exploiting devices’ unique performance characteristics. Abstract and device-independent annotat ...

2003

Shine-through: temporal aspects

Michael Herzog

If a vernier stimulus precedes a grating for a very short time, the vernier either remains invisible, but may bequeath some of its properties to the grating (feature inheritance), or might shine through keeping its features - depending on the number of gra ...

Elsevier2001

Market split and basis reduction: towards a solution of the Cornuejols-Dawande instances

Arjen Lenstra

Previously, G. Cornuejols and M. Dawande (1998) proposed a set of 0-1 linear programming instances that proved to be very hard to solve by traditional methods, and in particular by linear programming based branch-and-bound. They offered these market split ...

2000

Implementation and validation methods applied to SSCOP

This paper outlines the methods used to realise the implementation of the Service Specific Connection Oriented Protocol (SSCOP) which forms a main component in the Signalling ATM Adaptation Layer (SAAL). We give a short introduction to Synchronous C++, a c ...

Int. Soc. Comput. and Their Appl.-ISCA1996

Insulin proteinase liberates from glucagon a fragment known to have enhanced activity against Ca2+ + Mg2+-dependent ATPase

Gerardo Turcatti

We find, contrary to previous reports, that substantial cleavage of glucagon by insulin proteinase occurs at only one region, namely the double-basic sequence -Arg17-Arg18-. Cleavage takes place almost exclusively between these two residues, liberating fra ...

1988