Racket (langage)

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation de...

Publications associées (22)

Page 2 sur 3

À propos
Confidentialité
Mentions légales

Graph Chatbot

Self-Assembly: Lightweight Language Extension and Datatype Generic Programming, All-in-One!

Heather Christine Klug, Philipp Haller

In this paper we show a general mechanism, called self-assembly, for lightweight language extensions (LLEs). LLEs allow users to define generic operations or properties that operate over a large class of types. With LLEs it is possible, for example, for us ...

2014

Prototyping Symbolic Execution Engines for Interpreted Languages

George Candea, Johannes Kinder, Stefan Bucur

Symbolic execution is being successfully used to automatically test statically compiled code. However, increasingly more systems and applications are written in dynamic interpreted languages like Python. Building a new symbolic execution engine is a monume ...

ACM2014

Scala-Virtualized: Linguistic Reuse for Deep Embeddings

Martin Odersky, Tiark Rompf, Philipp Haller, Nada Amin

Scala-Virtualized extends the Scala language to better support hosting embedded DSLs. Scala is an expressive language that provides a flexible syntax, type-level computation using implicits, and other features that facilitate the development of em- bedded ...

Springer Verlag2013

A Programming Workshop using the Robot "Thymio II": The Effect on the Understanding by Children

Francesco Mondada, Michael Bonani, Stéphane Magnenat, Fanny Riedo

Robots are both fascinating objects for the general public and devices whose conception, understanding and pro- gramming involve many fields. This unique combination makes them an ideal tool for introducing science and technology to children. This paper pr ...

IEEE2012

Jet: An Embedded DSL for High Performance Big Data Processing

Martin Odersky, Tiark Rompf, Vojin Jovanovic, Stefan Ackermann

Cluster computing systems today impose a trade-off between generality, performance and productivity. Hadoop and Dryad force programmers to write low level programs that are tedious to compose but easy to optimize. Systems like Dryad/LINQ and Spark allow co ...

2012

Distributed Successive Refinement of Multiview Images Using Broadcast Advantage

Martin Vetterli, Guillermo Barrenetxea Kobas, Zichong Chen

In environmental monitoring applications, having multiple cameras focus on common scenery increases robustness of the system. To save energy based on user demand, successive refinement image coding is important, as it allows us to progressively request bet ...

Institute of Electrical and Electronics Engineers2012

Atomic boxes: coordinated exception handling with transactional memory

Vincent Gramoli, Pascal Felber

In concurrent programs raising an exception in one thread does not prevent others from operating on an inconsistent shared state. Instead, exceptions should ideally be handled in coordination by all the threads that are affected by their cause. In this pap ...

2011

Database Queries in Java

Christopher Ming-Yee Iu

In conventional programming languages like Java, the interface for accessing databases is often inelegant. Typically, an entire separate database query language must be embedded inside a conventional programming language for programmers to access the full ...

EPFL2010

Energetic Macroscopic Representation and PSIM® simulation: application to a DC/DC converter input filter stability

Philippe Barrade

Simulation is a key issue in the design of control electrical systems. Simulation packages using component library, such as PSIM®, are very useful to achieve this goal. The simulation model is thus easily built from the system topology (structural model). ...

2010

Exploration of Memory Hierarchy Configurations for Efficient Garbage Collection on High-Performance Embedded Systems

David Atienza Alonso

Modern embedded devices (e.g., PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems include multiple applications that are dynamically launched by the user, which can produce ...

ACM Press2009

Page 2 sur 3