scientific article; zbMATH DE number 1691453

zbMATH Open0977.68713MaRDI QIDQ2763373FDOQ2763373

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

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
• Title not available (Why is that?)
• 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)