RLSRunner and KRunner: Linking Rascal with K for Program Analysis and Execution

Name: RLSRunner and KRunner: Linking Rascal with K for Program Analysis and Execution
Start: 2011-09-08T00:00:00Z
End: 2011-09-12T00:00:00Z
Location: Cheile Gradistei, Romania

Mark Hills, Paul Klint, Jurgen Vinju

PDF

Date

Sep 8, 2011 — Sep 12, 2011

Event

2nd International Workshop on the K Framework and its Applications (K 2011)

Location

Cheile Gradistei, Romania

Mark Hills

Associate Professor

My research interests include programming languages, program analysis, and software engineering.