Concept

Language construct

Related publications (16)

Static Analysis for the PHP Language

This report presents the work that was done to implement a static analysis tool for the PHP programming language. The analyses done by the PHP compiler or by the multiple existing development environments are very limited. This tool aims at providing furth ...

2010

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

Foundations for SCALA

Vincent Cremet

SCALA is an attractive programming language because it is both very expressive and statically strongly typed. This marriage against nature comes at the price of a certain complexity in the language constructs and the static analysis. This complexity makes ...

EPFL2006

Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols

James Richard Larus

In this paper, we describe Teapot, a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distributed systems make local replicas of shared data to improve scalability and performance. In both dist ...

1999

LCM: Memory System Support for Parallel Language Implementation

James Richard Larus

Higher-level parallel programming languages can be difficult to implement efficiently on parallel machines. This paper shows how a flexible, compiler-controlled memory system can help achieve good performance for language constructs that previously appeare ...

ACM1994

Implementing Associations with Ada

Object-oriented programming is a mechanism used to construct modular systems made of reusable components. These systems would be of little use if the objects were all unrelated. This is the reason why the relationships between the objects are one of the ma ...

1993

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.