<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Correctness and Execution of Concurrent Object-Oriented Programs

Name: Correctness and Execution of Concurrent Object-Oriented Programs
Creator: West, Scott Gregory

descriptionPublicationkeyboard_double_arrow_right Doctoral thesis , Thesis 01 Jan 2014Embargo end date: 01 Jan 2014 Switzerland English Publisher:ETH Zurich

Authors: West, Scott Gregory;

doi: 10.3929/ethz-a-010394773

handle: 20.500.11850/154950

Correctness and Execution of Concurrent Object-Oriented Programs

- Summary
- Subjects
- Metrics

Country

Switzerland

Related Organizations

ETH Zurich
Switzerland

Keywords

Data processing, computer science, KORREKTHEIT (THEORIE DER PROGRAMMIERUNG), CORRECTNESS (THEORY OF PROGRAMMING), PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), KORREKTHEIT (THEORIE DER PROGRAMMIERUNG); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME); CORRECTNESS (THEORY OF PROGRAMMING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS), info:eu-repo/classification/ddc/004, PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME)

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Green