scientific article; zbMATH DE number 1691453

MaRDI QIDQ2763373zbMATH OpenFDO

Authors Clara Segura, Ricardo Peña

Publication date 15 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2011/20110001

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Recommendations

• Non-determinism analyses in a parallel-functional language
• Implementation of Functional Languages
• Logic Programming
• Nondeterminism with Referential Transparency in Functional Programming Languages
• A fully abstract semantics for a higher-order functional language with nondeterministic computation

Cited in

(6)

• Non-speculative and upward invocation of continuations in a parallel language
• A relational semantics for parallelism and non-determinism in a functional setting
• Functional behavior of nondeterministic and concurrent programs
• Implementation of Functional Languages
• scientific article; zbMATH DE number 3876562 (Why is no real title available?)
• Non-determinism analyses in a parallel-functional language

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763373)