Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Case in formal semantics

Hoop, H. de
Zwarts, J.

Publication date

January 2008

DOI

10.1093/oxfordhb/9780199206476.013.0012

Publisher

Oxford : Oxford University Press

Citation count (estimate)

3

Abstract

Contains fulltext : 287917.pdf (publisher's version ) (Closed access

Extracted data

Related items

Pot, F.D.

January 2011

Contains fulltext : 86709.pdf (publisher's version ) (Closed access

Formal C semantics: CompCert and the C standard

Krebbers, R.
Leroy, X.
Wiedijk, F.

January 2014

Contains fulltext : 129996.pdf (preprint version ) (Closed access

Final Semantics for Decorated Traces

Bonchi, F.
Bonsangue, M.
Caltais, G.
Rutten, J.
Silva, A.

January 2012

Contains fulltext : 103365.pdf (publisher's version ) (Closed access

Bleijenbergh, I.L.

January 2010

Contains fulltext : 87090.pdf (publisher's version ) (Closed access

Formal Techniques for Java-Like Programs

Eisenbach, S.
Leavens, G.T.
Müller, P.
Poetzsch-Heffter, A.
Poll, E.

January 2004

Contains fulltext : 60445.pdf (publisher's version ) (Closed access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33161.pdf (publisher's version ) (Closed access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33162.pdf (publisher's version ) (Closed access

Blaauw, S.L. de

January 2010

Contains fulltext : 318116.pdf (publisher's version ) (Closed access

Breedveld, K.
Pulles, I.

January 2016

Contains fulltext : 159245.pdf (publisher's version ) (Closed access

Formal Component-Based Semantics

Madlener, K.
Smetsers, S.
Eekelen, M.C.J.D. van

January 2011

Contains fulltext : 91831.pdf (publisher's version ) (Open Access

Bartels, S.E.
Everaars, K.

January 2017

Contains fulltext : 172893.pdf (publisher's version ) (Closed access

A Peircean Ontology of Semantics

Farkas, J.
Sarbo, J.J.

January 2002

Contains fulltext : 176139.pdf (preprint version ) (Closed access

Pragmatics and processing

Geurts, B.
Rubio-Fernández, P.

January 2015

Contains fulltext : 144979.pdf (publisher's version ) (Closed access

Generic Executable Semantics for D-Clean

Zsók, V.
Koopman, P.
Plasmeijer, R.

January 2011

Contains fulltext : 91852.pdf (publisher's version ) (Closed access

Formal Methods for Security?

Poll, Erik

January 2019

Contains fulltext : 207807.pdf (preprint version ) (Open Access

Pot, F.D.

January 2011

Contains fulltext : 86709.pdf (publisher's version ) (Closed access

Formal C semantics: CompCert and the C standard

Krebbers, R.
Leroy, X.
Wiedijk, F.

January 2014

Contains fulltext : 129996.pdf (preprint version ) (Closed access

Final Semantics for Decorated Traces

Bonchi, F.
Bonsangue, M.
Caltais, G.
Rutten, J.
Silva, A.

January 2012

Contains fulltext : 103365.pdf (publisher's version ) (Closed access

Bleijenbergh, I.L.

January 2010

Contains fulltext : 87090.pdf (publisher's version ) (Closed access

Formal Techniques for Java-Like Programs

Eisenbach, S.
Leavens, G.T.
Müller, P.
Poetzsch-Heffter, A.
Poll, E.

January 2004

Contains fulltext : 60445.pdf (publisher's version ) (Closed access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33161.pdf (publisher's version ) (Closed access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33162.pdf (publisher's version ) (Closed access

Blaauw, S.L. de

January 2010

Contains fulltext : 318116.pdf (publisher's version ) (Closed access

Breedveld, K.
Pulles, I.

January 2016

Contains fulltext : 159245.pdf (publisher's version ) (Closed access

Formal Component-Based Semantics

Madlener, K.
Smetsers, S.
Eekelen, M.C.J.D. van

January 2011

Contains fulltext : 91831.pdf (publisher's version ) (Open Access

Bartels, S.E.
Everaars, K.

January 2017

Contains fulltext : 172893.pdf (publisher's version ) (Closed access

A Peircean Ontology of Semantics

Farkas, J.
Sarbo, J.J.

January 2002

Contains fulltext : 176139.pdf (preprint version ) (Closed access

Pragmatics and processing

Geurts, B.
Rubio-Fernández, P.

January 2015

Contains fulltext : 144979.pdf (publisher's version ) (Closed access

Generic Executable Semantics for D-Clean

Zsók, V.
Koopman, P.
Plasmeijer, R.

January 2011

Contains fulltext : 91852.pdf (publisher's version ) (Closed access

Formal Methods for Security?

Poll, Erik

January 2019

Contains fulltext : 207807.pdf (preprint version ) (Open Access

Pot, F.D.

January 2011

Contains fulltext : 86709.pdf (publisher's version ) (Closed access

Formal C semantics: CompCert and the C standard

Krebbers, R.
Leroy, X.
Wiedijk, F.

January 2014

Contains fulltext : 129996.pdf (preprint version ) (Closed access

Final Semantics for Decorated Traces

Bonchi, F.
Bonsangue, M.
Caltais, G.
Rutten, J.
Silva, A.

January 2012

Contains fulltext : 103365.pdf (publisher's version ) (Closed access