zweidimensionales bewegtes Bild
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers
- Standort
-
Hannover TIB
- Umfang
-
95MB, 00:13:58:12 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)
- Schlagwort
-
separation logic
program synthesis
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Costea, Andreea
Polikarpova, Nadia
Zhu, Amy
Sergey, Ilya
- DOI
-
10.5446/54926
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Costea, Andreea
- Polikarpova, Nadia
- Zhu, Amy
- Sergey, Ilya
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Specifications (certain sections only)
READ ONLY MEMORY
Read only memory, Philipp Goldbach
Nondeterminism in algebraic specifications and algebraic programs
Classical vs. quantum read once branching programs
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
I Only Read About Myself on Bathrooom Walls
Sappho - gay women read : The only magazine in Europe
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Constructing programs from specifications : proceedings of the IFIP TC2/WG2. 1 Working Conference on Constructing Programs from Specifications, Pacific Grove, Ca, USA, 13-16 May 1991
Computing rectangular dissections : a case study in deriving functional programs from logical specifications
Specifications (certain sections only)
READ ONLY MEMORY
Read only memory, Philipp Goldbach
Nondeterminism in algebraic specifications and algebraic programs
Classical vs. quantum read once branching programs
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
I Only Read About Myself on Bathrooom Walls
Sappho - gay women read : The only magazine in Europe
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Constructing programs from specifications : proceedings of the IFIP TC2/WG2. 1 Working Conference on Constructing Programs from Specifications, Pacific Grove, Ca, USA, 13-16 May 1991
Computing rectangular dissections : a case study in deriving functional programs from logical specifications
Specifications (certain sections only)
READ ONLY MEMORY
Read only memory, Philipp Goldbach
Nondeterminism in algebraic specifications and algebraic programs
Classical vs. quantum read once branching programs
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
I Only Read About Myself on Bathrooom Walls
Sappho - gay women read : The only magazine in Europe
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Constructing programs from specifications : proceedings of the IFIP TC2/WG2. 1 Working Conference on Constructing Programs from Specifications, Pacific Grove, Ca, USA, 13-16 May 1991