6 results on '"MARTIN-MARTIN, ENRIQUE"'
Search Results
2. A unified framework for declarative debugging and testing
3. A core Erlang semantics for declarative debugging
4. Declarative debugging of concurrent Erlang programs
5. A zoom-declarative debugger for sequential Erlang programs
6. Safe typing of functional logic programs with opaque patterns and local bindings
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.