Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
A flexible framework for programming with non-deterministicfunctions. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
call-time choice, local bindings, non-deterministic functions, run-time-choice, term rewriting systems |
20 | Monique Becker, André-Luc Beylot, G. Damm, Wei-Ying Thang |
Automatic run-time choice for simulation length in mimesis. |
RAIRO Oper. Res. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Adrián Riesco 0001, Juan Rodríguez-Hortalá |
Programming with singular and plural non-deterministic functions. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
non-deterministic functions, semantics, program transformation, term rewriting, maude |
Displaying result #1 - #3 of 3 (100 per page; Change: )
|