Abstract
No abstract available.
Cited By
- Apt K and Wojtczak D (2019). Verification of distributed epistemic gossip protocols, Journal of Artificial Intelligence Research, 62:1, (101-132), Online publication date: 1-May-2018.
- Salem P The case for experiment-oriented computing Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (719-723)
- Adams M and Ağacan Ö (2014). Indentation-sensitive parsing for Parsec, ACM SIGPLAN Notices, 49:12, (121-132), Online publication date: 11-May-2015.
- Adams M and Ağacan Ö Indentation-sensitive parsing for Parsec Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, (121-132)
- Adams M Principled parsing for indentation-sensitive languages Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (511-522)
- Adams M (2013). Principled parsing for indentation-sensitive languages, ACM SIGPLAN Notices, 48:1, (511-522), Online publication date: 23-Jan-2013.
- Wegiel M and Krintz C Cross-language, type-safe, and transparent object sharing for co-located managed runtimes Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (223-240)
- Miranda C, Pop A, Dumont P, Cohen A and Duranton M Erbium Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems, (11-20)
- Wegiel M and Krintz C (2010). Cross-language, type-safe, and transparent object sharing for co-located managed runtimes, ACM SIGPLAN Notices, 45:10, (223-240), Online publication date: 17-Oct-2010.
- Georgiou C, Hadjiprocopiou P and Musial P On the automated implementation of time-based paxos using the IOA compiler Proceedings of the 14th international conference on Principles of distributed systems, (235-252)
- Armstrong J (2010). Erlang, Communications of the ACM, 53:9, (68-75), Online publication date: 1-Sep-2010.
- Wegiel M and Krintz C XMem Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, (327-338)
- Wegiel M and Krintz C (2008). XMem, ACM SIGPLAN Notices, 43:6, (327-338), Online publication date: 30-May-2008.
- Mycroft A Programming language design and analysis motivated by hardware evolution Proceedings of the 14th international conference on Static Analysis, (18-33)
- Hilton A and Hall J Developing critical systems with PLD components Proceedings of the 10th international workshop on Formal methods for industrial critical systems, (72-79)
- Benton N, Cardelli L and Fournet C (2004). Modern concurrency abstractions for C#, ACM Transactions on Programming Languages and Systems (TOPLAS), 26:5, (769-804), Online publication date: 1-Sep-2004.
- Dongarra J, Foster I, Fox G, Gropp W, Kennedy K, Torczon L and White A References Sourcebook of parallel computing, (729-789)
- Benveniste A and Berry G The synchronous approach to reactive and real-time systems Readings in hardware/software co-design, (147-159)
- Gorla G, Moser E, Nebel W and Villar E (2000). System Specification Experiments on a Common Benchmark, IEEE Design & Test, 17:3, (22-32), Online publication date: 1-Jul-2000.
- Marinescu M and Goldberg B Partial-evaluation techniques for concurrent programs Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (47-62)
- Marinescu M and Goldberg B (1997). Partial-evaluation techniques for concurrent programs, ACM SIGPLAN Notices, 32:12, (47-62), Online publication date: 1-Dec-1997.
- Scholz E Turning a functional data type into a concurrent programming language Proceedings of the 1995 ACM symposium on Applied computing, (135-139)
- Huntbach M The concurrent object-oriented language braid Proceedings of the 1995 ACM symposium on Applied computing, (140-146)
- Akella V and Gopalakrishnan G (2019). Specification and Validation of Control-Intensive IC's in hopCP, IEEE Transactions on Software Engineering, 20:6, (405-423), Online publication date: 1-Jun-1994.
- van Berkel K, Burgess R, Kessels J, Roncken M, Schalij F and Peeters A (1994). Asynchronous Circuits for Low Power, IEEE Design & Test, 11:2, (22-32), Online publication date: 1-Apr-1994.
- Rinard M and Lam M Semantic foundations of Jade Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (105-118)
- Joung Y and Smolka S A comprehensive study of the complexity of multiparty interaction Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (142-153)
- Sisto R, Ciminiera L and Valenzano A (2019). A Protocol for Multirendezvous of LOTOS Processes, IEEE Transactions on Computers, 40:4, (437-447), Online publication date: 1-Apr-1991.
- Nakata I and Sassa M (2019). Programming with Streams in a Pascal-Like Language, IEEE Transactions on Software Engineering, 17:1, (1-9), Online publication date: 1-Jan-1991.
- Shapiro E Separating concurrent languages with categories of language embeddings Proceedings of the twenty-third annual ACM symposium on Theory of Computing, (198-208)
- Lam M and Rinard M Coarse-grain parallel programming in Jade Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming, (94-105)
- Lam M and Rinard M (1991). Coarse-grain parallel programming in Jade, ACM SIGPLAN Notices, 26:7, (94-105), Online publication date: 1-Jul-1991.
- Bertot Y Occurrences in debugger specifications Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, (327-337)
- Bertot Y (1991). Occurrences in debugger specifications, ACM SIGPLAN Notices, 26:6, (327-337), Online publication date: 1-Jun-1991.
- van Berkel K, Kessels J, Roncken M, Saeijs R and Schalij F The VLSI-programming language tangram and its translation into handshake circuits Proceedings of the conference on European design automation, (384-389)
- Brookes S and Roscoe A (1991). Deadlock analysis in networks of communicating processes, Distributed Computing, 4:4, (209-230), Online publication date: 1-Dec-1991.
- Lee I and Davidson S (2019). A Performance Analysis of Timed Synchronous Communication Primitives, IEEE Transactions on Computers, 39:9, (1117-1131), Online publication date: 1-Sep-1990.
- Jung C and Sibert E (1990). Communication types, ACM SIGPLAN Notices, 25:9, (25-30), Online publication date: 1-Sep-1990.
- Elrad T and Nohl D (1990). The analysis and comparison of scheduling controls in concurrent languages through classification, ACM SIGCSE Bulletin, 22:1, (89-93), Online publication date: 1-Feb-1990.
- Elrad T and Nohl D The analysis and comparison of scheduling controls in concurrent languages through classification Proceedings of the twenty-first SIGCSE technical symposium on Computer science education, (89-93)
- Jung D and Sibert E (1989). Indirect naming in distributed programming languages, ACM SIGPLAN Notices, 24:9, (126-132), Online publication date: 11-Aug-1989.
- Goldszmidt G, Katz S and Yemini S (2019). Interactive blackbox debugging for concurrent languages, ACM SIGPLAN Notices, 24:1, (271-282), Online publication date: 3-Jan-1989.
- Bräunl T A specification language for parallel architectures and algorithms Proceedings of the 5th international workshop on Software specification and design, (49-51)
- Bräunl T (1989). A specification language for parallel architectures and algorithms, ACM SIGSOFT Software Engineering Notes, 14:3, (49-51), Online publication date: 1-May-1989.
- Brady A, Changi M and Yu J Pascal language extensions for parallel processing Proceedings of the 17th conference on ACM Annual Computer Science Conference, (439-439)
- Jung C and Siberrt E Polling in concurrent programming Proceedings of the 17th conference on ACM Annual Computer Science Conference, (204-209)
- Burns A and Davies G (1988). Pascal-FC: a language for teaching concurrent programming, ACM SIGPLAN Notices, 23:1, (58-66), Online publication date: 3-Jan-1988.
- Reppy J Synchronous operations as first-class values Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation, (250-259)
- Serbedzija N (1988). Asynchronous communication on Occam, ACM SIGPLAN Notices, 23:12, (51-62), Online publication date: 1-Dec-1988.
- Shepherd D (1988). Using mathematical logic and formal methods to write correct microcode, ACM SIGMICRO Newsletter, 19:1-2, (60-64), Online publication date: 1-Jun-1988.
- McBurney D and Sleep M Transputers + virtual tree kernel = real speedups Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1, (128-137)
- Giacalone A XY-WINS: an integraded environment for developing graphical user interfaces Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software, (129-143)
- Goldszmidt G, Katz S and Yemini S Interactive blackbox debugging for concurrent languages Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, (271-282)
- Reppy J (2019). Synchronous operations as first-class values, ACM SIGPLAN Notices, 23:7, (250-259), Online publication date: 1-Jul-1988.
- Lattard D and Mazare G An integrated highly parallel architecture for image reconstruction Proceedings of the Third Eurographics conference on Advances in Computer Graphics Hardware, (53-64)
- Jifeng H and Hoare C (1987). Algebraic specification and proof of a distributed recovery algorithm, Distributed Computing, 2:1, (1-12), Online publication date: 1-Mar-1987.
- Glaser J and Edgar J (1987). Survey of educational programs in medical information science, ACM SIGMICRO Newsletter, 18:4, (19-36), Online publication date: 1-Dec-1987.
- Burns A (1987). Using large families for handling priority requests, ACM SIGAda Ada Letters, VII:1, (97-104), Online publication date: 1-Jan-1987.
- Collado M, Morales R and Moreno J (1987). A Modula-2 implementation of CSP, ACM SIGPLAN Notices, 22:6, (25-38), Online publication date: 1-Jun-1987.
- Marsan M, Balbo G, Chiola G and Conte G Modeling the software architecture of a prototype parallel machine Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems, (175-185)
- Marsan M, Balbo G, Chiola G and Conte G (1987). Modeling the software architecture of a prototype parallel machine, ACM SIGMETRICS Performance Evaluation Review, 15:1, (175-185), Online publication date: 1-May-1987.
- Chen M A parallel language and its compilation to multiprocessor machines or VLSI Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (131-139)
- Whitby-Strevens C (1985). The transputer, ACM SIGARCH Computer Architecture News, 13:3, (292-300), Online publication date: 1-Jun-1985.
- Whitby-Strevens C The transputer Proceedings of the 12th annual international symposium on Computer architecture, (292-300)
- Fay D (1984). Experiences using Inmos proto-OCCAM (TM), ACM SIGPLAN Notices, 19:9, (5-11), Online publication date: 1-Sep-1984.
Index Terms
- Occam Programming Manual
Recommendations
Considerations in developing a formally-based visual programming language reference manual: a case study on the SLAM II language
A language reference manual provides a definitive document containing complete and accurate details about the legality and meaning of the language's constructs. Some key decisions in writing a language reference manual are how to specify syntax, how to ...