33 results on '"Julio Mariño"'
Search Results
2. Generation and Refinement of Testing Models.
3. Executable contracts for Elixir.
4. Automatic Generation of Attacker Contracts in Solidity.
5. Makina: a new QuickCheck state machine library.
6. Runtime Verification in Erlang by Using Contracts.
7. Applying Property-Based Testing in Teaching Safety-Critical System Programming.
8. A Haskell Implementation of a Rule-Based Program Transformation for C Programs.
9. Execution and Verification of UML State Machines with Erlang.
10. A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems.
11. Jsongen: a quickcheck based library for testing JSON web services.
12. Property-Based Testing of JSON Based Web Services.
13. Teaching Students Property-Based Testing.
14. Declarative Compilation for Constraint Logic Programming.
15. From the π-calculus to flat GHC.
16. Synthesis of Logic Programs from Object-Oriented Formal Specifications.
17. A Verified Implementation of Priority Monitors in Java.
18. Modeling Concurrent Systems with Shared Resources.
19. First-order unification using variable-free relational algebra.
20. Automatic Coding Rule Conformance Checking Using Logic Programming.
21. An overview of the Sloth2005 curry system: system description.
22. Adding constraints to curry via flat guards.
23. Constructive Intensional Negation.
24. Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns.
25. Using Static Analysis to Compile Non-sequential Functional Logic Programs.
26. Partial Predicates for Demand Analysis.
27. Recovering Sequentiality in Functional-Logic Programs.
28. Adding Type Classes to Functional-Logic Languages.
29. Efficient Lazy Narrowing using Demandedness Analysis.
30. Efficient Compilation of Lazy Narrowing into Prolog.
31. Using Static Analysis to Compile Non-sequential Functional Logic Programs.
32. Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
33. AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.