Concept

Parsing expression grammar

Related publications (64)

Developing Verified Software Using Leon

We present Leon, a system for developing functional Scala programs annotated with contracts. Contracts in Leon can themselves refer to recursively defined functions. Leon aims to find counterexamples when functions do not meet the specifications, and proof ...

Springer-Verlag Berlin2015

On Mining Citations to Primary and Secondary Sources in Historiography

Frédéric Kaplan, Giovanni Colavizza

We present preliminary results from the Linked Books project, which aims at analysing citations from the histo- riography on Venice. A preliminary goal is to extract and parse citations from any location in the text, especially footnotes, both to primary a ...

2015

Traversal Query Language For Scala.Meta

Eugene Burmako, Eric Beguet

With the rise of metaprogramming in Scala, manipulating ASTs has become a daily job. Yet the standard API provides only low-level mechanisms to transform or to collect information on those data structures. Moreover, those mechanisms often force the program ...

2015

On the Accuracy of Point Localisation in a Circular Camera-Array

Martin Vetterli, Adam James Scholefield, Alireza Ghasemi

Although many advances have been made in light-field and camera-array image processing, there is still a lack of thorough analysis of the localisation accuracy of different multi-camera systems. By considering the problem from a frame-quantisation perspect ...

2015

A closed-form expression for the total degradation in OFDM systems

Stefano Rosati

In this paper, building upon Bussgang's theorem, we present a new expression for the total degradation (TD) in OFDM systems. This novel expression is applicable to any high power amplifier (HPA) model. In case of ideal clipping HPA model and for particular ...

Wiley-Blackwell2015

On measuring fracture toughness under load control in the presence of slow crack growth

Andreas Mortensen, Goran Zagar, Martin Guillermo Mueller, Václav Pejchal, Aparna Singh

The influence of slow crack growth in ceramics on the measurement of their fracture toughness under steadily increasing controlled load (as is generally practiced in microscale testing) is analyzed to identify conditions under which the phenomenon can caus ...

Elsevier2015

Accelerating parser combinators with macros

Manohar Jonnalagedda, Eric Beguet

Parser combinators provide an elegant way of writing parsers: parser implementations closely follow the structure of the underlying grammar, while accommodating interleaved host language code for data processing. However, the host language features used fo ...

ACM Press2014

Staged parser combinators for efficient data processing

Martin Odersky, Tiark Rompf, Sandro Stucki, Manohar Jonnalagedda, Thierry Coppey

Parsers are ubiquitous in computing, and many applications depend on their performance for decoding data efficiently. Parser combinators are an intuitive tool for writing parsers: tight integration with the host language enables grammar specifications to b ...

ACM Press2014

Staged Parser Combinators for Efficient Data Processing

Martin Odersky, Tiark Rompf, Sandro Stucki, Manohar Jonnalagedda, Thierry Coppey

Assoc Computing Machinery2014

Louis I. Kahn, Exposed Concrete and Hollow Stones, 1949-1959

Roberto Gargiani

Through sheer determination and courage, Kahn has researched the nature of concrete in the form of precast, cast in place or blocks. Each of his renowned works in exposed concrete, such as the Yale Art Gallery, the Richards Laboratories, the Bath House, th ...

EPFL Press2014

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.