JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR

Name: JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR
Creator: Schrijvers, Tom
Keywords: Technology, Science & Technology, Constraint Handling Rules, 4. Education, 1. No poverty, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, Computer Science, Theory & Methods

Schrijvers, Tom

Found an issue? Give us feedback

Liriasarrow_drop_down

Lirias

Article . 2004

Data sources: Lirias

https://doi.org/10.1007/978-3-...

Part of book or chapter of book . 2004 . Peer-reviewed

Data sources: Crossref

DBLP

Conference object

Data sources: DBLP

https://dx.doi.org/10.1007/978...

Article

Data sources: Microsoft Academic Graph

JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Conference object , Article 01 Jan 2004 Belgium Publisher:Springer Berlin Heidelberg

Authors: Schrijvers, Tom;

doi: 10.1007/978-3-540-27775-0_45

JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR

- Summary
- Subjects
- Metrics

Abstract

The memory model of a programming language specifies the interaction between multiple threads and main memory. Basically, the model says for every value obtained by a read operation in a program by what write operation it has been produced. In a multi-threaded unsynchronized program this need not be a deterministic linking from reads to writes. For a multi-platform language such as Java, a memory model is essential to guarantee portability of programs.

Country

Belgium

Related Organizations

KU Leuven
Belgium
Katholieke Universiteit Leuven
Belgium

Keywords

Technology, Science & Technology, Constraint Handling Rules, Computer Science, Theory & Methods, Prolog, Computer Science, memory model, Java

Impact byBIP!

	selected citations These citations are derived from selected sources. 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).	1
	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