Approaches to executable specifications
Pages 155 - 159
References
[1]
J. Backus, "Can programming be liberated from the von Neumann style? A functional style and its algebra of programs," Comm. ACM, Vol. 21, pp. 613--641, August 1978.
[2]
R. Balzer, "Transformational implementation: an example," unpublished report, USC Information Sciences Institute, August 1979.
[3]
M. R. Barbacci, "A comparison of register transfer languages for describing computers and digital systems," IEEE Transactions on Computers, Vol. C-24, pp. 137--150, February 1975.
[4]
F. L. Bauer, et al., "Towards a wide spectrum language to support program specification and program development," in F. L. Bauer and M. Broy, Program Construction, Springer-Verlag, Berlin, 1979, pp. 543--552.
[5]
W. H. Burge, Recursive Programming Techniques, Addison-Wesley, Reading, 1975.
[6]
R. E. Frankel, "FQL-the design and implementation of a functional database query language."
[7]
R. E. Frankel and S. W. Smoliar, "Beyond register transfer: an algebraic approach for architectural description," Proc. 4th International Symposium on Computer Hardware Description Languages, Palo Alto, California (October 1979), pp. 1--5.
[8]
R. E. Frankel and S. W. Smoliar, "Digital systems as mathematical expressions," Proc. COMPCON Spring 81, San Francisco, California (February 1981), pp. 414--416.
[9]
D. P. Friedman and D. S. Wise, "Aspects of applicative programming for parallel processing," IEEE Transactions on Computers, Vol. C-27, pp. 289--296, April 1978.
[10]
J. A. Goguen and J. J. Tardo, "An introduction to OBJ: a language for writing and testing formal algebraic program specifications," Proc. Specifications of Reliable Software, Cambridge, Massachusetts (April 1979), pp. 170--189.
[11]
G. Kahn and D. B. MacQueen, "Coroutines and networks of parallel processes," Information Processing 77 (IFIP proceedings), Toronto, Ontario (August 1977), pp. 993--998.
[12]
J. McCarthy, "Recursive functions of symbolic expressions and their computation by machine, Part I," Comm. ACM, Vol. 3, pp. 184--195, April 1960.
[13]
J. R. McGraw, "Data flow computing---software development," IEEE Transactions on Computers, Vol. C-29, pp. 1095--1103, December 1980.
[14]
P. G. Neumann and S. Gerhart, "Some reflections on the 5th ICSE," Software Engineering Notes, Vol. 6, pp. 5--7, April 1981.
[15]
E. I. Organick, "New directions in computer systems architecture," EURO MICRO Journal, Vol. 5, pp. 190--202, July 1979.
[16]
S. W. Smoliar, "Using applicative techniques to design distributed systems," Proc. Specifications of Reliable Software, Cambridge, Massachusetts (April 1979), pp. 150--161.
[17]
S. W. Smoliar, "Simulating distributed systems: a two-level approach," Proc. AIAA Computers in Aerospace III Conference, San Diego, California (October 1981), to appear.
[18]
S. W. Smoliar, "Applicative and functional programming," in C. R. Vick and C. V. Ramamoorthy, Handbook on Software Engineering, Van Nostrand Reinhold, to appear, pp. 11--1--11--55.
[19]
D. A. Turner, "A new implementation technique for applicative languages," Software - Practice and Experience, Vol. 9, pp. 31--49, January 1979.
Recommendations
PEAL--Packed executable analysis
ADCONS'11: Proceedings of the 2011 international conference on Advanced Computing, Networking and SecurityThe proliferation of packed malware has posed a serious threat to computers connected to Internet across the globe. Packers are popular tools used by malware authors to hide malicious payloads that bypass traditional signature antiviruses (AV). Packing ...
Disguised executable files in spear-phishing emails: detecting the point of entry in advanced persistent threat
ICFNDS '18: Proceedings of the 2nd International Conference on Future Networks and Distributed SystemsIn recent years, cyber attacks have caused substantial financial losses and been able to stop fundamental public services. Among the serious attacks, Advanced Persistent Threat (APT) has emerged as a big challenge to the cyber security hitting selected ...
Executable requirements specifications using triggered message sequence charts
ICDCIT'05: Proceedings of the Second international conference on Distributed Computing and Internet TechnologyTriggered Message Sequence Charts (TMSCs) are a scenario-based visual formalism for early stage requirements specifications of distributed systems. In this paper, we present a formal operational semantics for TMSCs that allow the simulation of TMSC ...
Comments
Information & Contributors
Information
Published In
April 1982
190 pages
ISBN:089791094X
DOI:10.1145/1006259
- General Chairs:
- Martha Branstad,
- Marvin Zelkowitz,
- Program Chair:
- Stephen L. Squires
Copyright © 1982 ACM.
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]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 19 April 1982
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations2Total Citations
- 96Total Downloads
- Downloads (Last 12 months)46
- Downloads (Last 6 weeks)18
Reflects downloads up to 10 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in