Backlinks to PARS-tutorial in Main Web (Search all webs)
Results from Main web retrieved at 11:45 (GMT)
P (c) Fordham University Robotics and Computer Vision
There are many ways to pick variable and process names, and specify values for them. Here is a correct example. TYPE REAL x TYPE REAL y TYPE REAL z Q. Q Q (c) Fordham...
Exercise: Write a process definition for a process Z with four arguments, which consists of a sequential composition of an instance of P given the first two arguments...
Exercise: Write a PARS process that has two process variables, and will do P if the first variable is the larger and Q if the second is the larger, but nothing if...
Exercise: Write a recursive process that (a) never terminates and (b) terminates after 1 iteration of its body. T EQ ; T . Since n n always, this will recursive...
Exercise: Use tail recursion and PASS to build a process that raises its first argument to the power of the second, assuming that the first is a real number and the...
Exercise: Write a process WR that reads a value on its input port and that writes that same value to its output port forever. WR(ip)(op) IN ; OUT ; WR . (c)...
Number of topics: 7
Site map
Main web
Users
Groups
Index
Search
Changes
Notifications
RSS Feed
Statistics
Preferences
Copyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback