most citedSegment-Based Interactive Machine Translation for Pre-trained Models

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2001

Generation of and Debugging with Logical Pre and Postconditions

Angel Herrranz-Nieva Juan Jose Moreno Navarro

This paper shows the debugging facilities provided by the SLAM system. The SLAM system includes i) a specification language that integrates algebraic specifications and model-based…