Article

Free access

Tools for functional simulation

Authors:

Adrienne Bloss,

Michael Keenan,

Kimberly JohnsonAuthors Info & Claims

WSC '93: Proceedings of the 25th conference on Winter simulation

Pages 632 - 640

https://doi.org/10.1145/256563.256799

Published: 01 December 1993 Publication History

PDF eReader

References

[1]

Baoci, O. 1988. The implementation of four conceptual frameworks for simulation modeling in highlevel languages. In Proceedings of the 1988 Winter Simulation Conference, ed. M.A. Abrams, P.L. Haigh, and J.C. Comfort. IEEE, Piscataway, N:I, 287-295.

Digital Library

Google Scholar

[2]

Bloss, A. 1990. A functional approach to simulation. In Proceedings of the 1990 Winter Simulation Conference, ed. O. Balci, R.P. Sadowski, and R.E. Nance. IEEE, Piscataway, NJ, 214-219.

Digital Library

Google Scholar

[3]

Bloss, A. Keenan, M. 1992. Discrete event simulation in the functional language Hasken. In Proceedings of the 22nd Annual Virginia Computer Users Conference, Virginia Tech, 57-76.

Google Scholar

[4]

Engel, J. 1991. Design of a discrete digital simulation in HaskeU. Undergraduate honors thesis, Department of Computer Science, Virginia Tech, Blacksburg, Virginia.

Google Scholar

[5]

Girard, J-Y. 1987. Linear logic. Theoretical Computer Science, 50:1-102.

Digital Library

Google Scholar

[6]

Guzman, J. Hudak, P. 1990. Single-threaded polymorphic lambda calculus. In Proceedings of the 5th EEE ~~mpo~um on ~oglc in Con~p~t, cr Sclc~cc,

Crossref

Google Scholar

[7]

Hudak, P. Wadler, P. et al. 1992. Report on the programming language Haskell, version 1.2. A CM SIGPLAN Notices, 27(5).

Digital Library

Google Scholar

[8]

Peyton Jones, S.L. Wadler, P. 1993. Imperative functional programming, inProceedings of the 2Oth Annual Symposium on Principles of Programming Languages, 71-84, ACM Press.

Digital Library

Google Scholar

[9]

Wadler, P. 1990. Linear types can change the world. In Programming Concepts and Methods, ed. M. Broy and C.B. Jones. North Holland.

Google Scholar

[10]

Wadler, P. 1992. The essence of functional programming. In Proceedings of the 19th Annual Symposium on Principles of Programming Languages, ACM Press.

Digital Library

Google Scholar

Recommendations

An evaluation of DEVS simulation tools

DEVS is a popular formalism for modeling complex dynamic systems using a discrete-event abstraction. Owing to its popularity, and the simplicity of the simulation kernel, a number of tools have been constructed by academia and industry. However, each of ...
Tools for DEVS modeling, simulation and 3D visualization
Simutools '09: Proceedings of the 2nd International Conference on Simulation Tools and Techniques

Cell-DEVS is an extension of the DEVS formalism which combines DEVS with Cellular Automata. It is particularly useful for defining spaces by decomposing them into individual cells. The CD++ Toolkit enables one to model and simulate a real or artificial ...
CASE tools: understanding the reasons for non-use

Computer-Aided Software Engineering (CASE) technologies are tools that provide automated assistance for software development [3]. The goal of introducing CASE tools is the reduction of the time and cost of software development and the enhancement of the ...

Comments

Information & Contributors

Information

Published In

WSC '93: Proceedings of the 25th conference on Winter simulation

December 1993

1429 pages

ISBN:078031381X

DOI:10.1145/256563

Editors:
Gerald W. Evans
Univ. of Louisville, Louisville, KY
,
Mansooreh Mollaghasemi
Univ. of Central Florida, Orlando
,
Edward C. Russell
Russell Software Technology,
,
William E. Biles
Univ. of Louisville, Louisville, KY

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1993

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

WSC93

Sponsor:

IIE
IEEE-SMCS
ASA
ACM
ORSA
SCS
SIGSIM
TIMS/CSG
IEEE-CS
NIST

WSC93: 1993 Winter Simulation Conference

December 12 - 15, 1993

California, Los Angeles, USA

Acceptance Rates

Overall Acceptance Rate 3,413 of 5,075 submissions, 67%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
176
Total Downloads

Downloads (Last 12 months)40
Downloads (Last 6 weeks)9

Reflects downloads up to 12 Feb 2025

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Recommendations

An evaluation of DEVS simulation tools

Tools for DEVS modeling, simulation and 3D visualization

CASE tools: understanding the reasons for non-use

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

PDF

eReader

Login options

Full Access

References

Recommendations

An evaluation of DEVS simulation tools

Tools for DEVS modeling, simulation and 3D visualization

CASE tools: understanding the reasons for non-use

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations