Abstrakt. PCKS-maskinen är en abstrakt maskin som utvärderar parallella funktionella program med rst-klass fortsättningar. Parallellism introduceras av den konstruktion pcall, som p r o vides en gaffel-och-join typ av parallellism. Såvitt vi vet är PCKS-maskinen den första implementeringen av ett sådant språk som visat sig ha en transparent konstruktion för parallellism: varje program som använder en sådan konstruktion returnerar samma resultat som i avsaknad av denna konstruktion. Denna maskin kännetecknas också av det icke-spekulativa åberopandet av fortsättningar vars intresse illustreras i en ansökan.
PCKS maskinen stöder parallella utföranden av funktionella program i en delad minnesmiljö REF.
The PCKS-machine. an abstract machine for sound evaluation of parallel functional programs with first-class continuations
{'venue': "In European Symposium on Programming (ESOP'94), number 788 in Lecture Notes in Computer Science", 'journal': None, 'mag_field_of_study': ['Computer Science']}