Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.

Java --- formal semantics --- type safety --- memory model --- concurrency

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Semantics --- Sémantique --- History --- Histoire --- -Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- -History --- Sémantique --- Formal semantics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

To celebrate the 270th anniversary of the De Gruyter publishing house, the company is providing permanent open access to 270 selected treasures from the De Gruyter Book Archive. Titles will be made available to anyone, anywhere at any time that might be interested. The DGBA project seeks to digitize the entire backlist of titles published since 1749 to ensure that future generations have digital access to the high-quality primary sources that De Gruyter has published over the centuries.

Semantics. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

What place is left for semantic notions? There are three main positions in response to that question: eliminativism, physicalism and semanticalism. This book argues in favour of a version of semanticalism. That version of semanticalism does not make semantic notions mysterious as if they are added from outside the realm of nature, as is the case with the Cartesian conception of mental properties. Semantic properties are treated as emergent properties reference to which serves to play a normat...

Semantics. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Semantics. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology)