Search Results - "concurrent programming language implementation"

Compiler to Interpreter: Experiences with a Distributed Programming Language

Authors: Robert Gebala Carole M. Mcnamee Ronald A. et al.

Contributors: Robert Gebala Carole M. Mcnamee Ronald A. et al.

Source: http://www.cs.ucdavis.edu/~olsson/pubs/2001/sri.ps.

Subject Terms: Interpreters, concurrent programming languages, concurrent programming language implementation, process communication and synchronization 1

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.9866; http://www.cs.ucdavis.edu/~olsson/pubs/2001/sri.ps

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.9866
http://www.cs.ucdavis.edu/~olsson/pubs/2001/sri.ps

Compiler to interpreter: experiences with a distributed programming language.

Authors: Gebala, Robert M. McNamee, Carole M. Olsson, Ronald A.

Source: Software: Practice & Experience. Jul2001, Vol. 31 Issue 9, p893-909. 17p.

Pict Correctness Revisited.

Authors: Hutchison, David Kanade, Takeo Kittler, Josef et al.

Source: Formal Methods for Open Object-Based Distributed Systems (9783540729198). 2007, p206-220. 15p.

Pict correctness revisited

Authors: Bidinger, Philippe Compagnoni, Adriana

Source: Theoretical Computer Science. Feb2009, Vol. 410 Issue 2/3, p114-127. 14p.

Subject Terms: *PROGRAMMING languages, *MACHINE theory, *CALCULUS, *MATHEMATICAL analysis, *COMPUTER software correctness, *THREADS (Computer programs)

Pict Correctness Revisited

Authors: Adriana Compagnoni Philippe Bidinger

Source: Lecture Notes in Computer Science ISBN: 9783540729198

Subject Terms: Fairness, Abstract machine, Pict, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Pi-calculus, Theoretical Computer Science, Computer Science(all)

Access URL: https://link.springer.com/content/pdf/10.1007%2F978-3-540-72952-5_13.pdf
https://www.sciencedirect.com/science/article/pii/S030439750800666X
https://www.sciencedirect.com/science/article/abs/pii/S030439750800666X
https://core.ac.uk/display/82057449
https://doi.org/10.1016/j.tcs.2008.09.014
https://dblp.uni-trier.de/db/journals/tcs/tcs410.html#BidingerC09
https://link.springer.com/chapter/10.1007/978-3-540-72952-5_13
https://link.springer.com/content/pdf/10.1007/978-3-540-72952-5_13.pdf
https://rd.springer.com/chapter/10.1007/978-3-540-72952-5_13
https://dblp.uni-trier.de/db/conf/fmoods/fmoods2007.html#BidingerC07

Towards Microkernel Support for the SR Concurrent Programming Language

Authors: Gregory D. Benson Ronald A. Olsson The Pennsylvania State University CiteSeerX Archives

Contributors: Gregory D. Benson Ronald A. Olsson The Pennsylvania State University CiteSeerX Archives

Source: http://elysium.cs.ucdavis.edu/~benson/publications/mksr-pdpta96.ps.

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.4926

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.4926
http://elysium.cs.ucdavis.edu/~benson/publications/mksr-pdpta96.ps

Pict Correctness Revisited ⋆

Authors: Adriana Compagnoni The Pennsylvania State University CiteSeerX Archives

Contributors: Adriana Compagnoni The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.stevens.edu/~abc/publications/pict.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.7701; http://www.cs.stevens.edu/~abc/publications/pict.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.7701
http://www.cs.stevens.edu/~abc/publications/pict.pdf

Reader Interest Survey.

Source: IEEE Micro; 1987, Vol. 7 Issue 5, p26-26, 1p

Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Authors: Marcello M. Bonsangue Einar Broch Johnsen

Resource Type: eBook.

Subjects: Compilers (Computer programs), Computer networks, Computer programming, Software engineering, Operating systems (Computers), Computer science

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General