PEPM 2012 | Sciweavers

51

PEPM
2012
ACM

278views Software Engineering» more PEPM 2012»

Ideas for connecting inductive program synthesis and bidirectionalization

12 years 7 months ago

We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...

Janis Voigtländer

claim paper

Read More »

40

click to vote

PEPM
2012
ACM

241views Software Engineering» more PEPM 2012»

Well-typed narrowing with extra variables in functional-logic programming

12 years 7 months ago

Download federwin.sip.ucm.es

Francisco Javier López-Fraguas, Enrique Mar...

claim paper

Read More »

44

click to vote

PEPM
2012
ACM

268views Software Engineering» more PEPM 2012»

Scala-virtualized

12 years 7 months ago

Download lampwww.epfl.ch

This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the beneﬁts of shallow and deep embed...

Adriaan Moors, Tiark Rompf, Philipp Haller, Martin...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers