| Title: | EXTENDING TEMPORAL LOGIC TO SUPPORT HIGH-LEVEL SIMULATIONS |
| Authors: | Tuzhilin, Alexander |
| Issue Date: | 1993 |
| Publisher: | Stern School of Business, New York University |
| Series/Report no.: | IS-93-19 |
| Abstract: | A high-level simulation language based on temporal logic is described. The language combines a large set of temporal tenses and a rich class of high-level modeling primitives. Also an implementation of the language interpreter is presented. Finally. a real-world case study is described that shows how a programmer can develop structured, reliable, and well-maintainable simulation programs using the language. |
| URI: | http://hdl.handle.net/2451/14255 |
| Appears in Collections: | IOMS: Information Systems Working Papers |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| IS-93-19.pdf | 6.43 MB | Adobe PDF | View/Open |
Items in FDA are protected by copyright, with all rights reserved, unless otherwise indicated.