Schmidt, David A., 1953-....
Schmidt, David A., 1953 May 10-
Schmidt, David A.
Schmidt, David A., 1953 10 mai-
David A. Schmidt American professor of computer science (Kansas State University)
VIAF ID: 51786663 ( Personal )
Permalink: http://viaf.org/viaf/51786663
Preferred Forms
- 100 0 _ ‡a David A. Schmidt ‡c American professor of computer science (Kansas State University)
- 200 _ | ‡a Schmidt ‡b David A. ‡f 1953-....
- 100 1 _ ‡a Schmidt, David A.
-
-
- 100 1 _ ‡a Schmidt, David A. ‡d 1953 May 10-
- 100 1 _ ‡a Schmidt, David A. ‡d 1953-
-
-
- 100 1 _ ‡a Schmidt, David A., ‡d 1953 May 10-
-
- 100 1 _ ‡a Schmidt, David A., ‡d 1953 May 10-
-
-
- 100 1 _ ‡a Schmidt, David A., ‡d 1953-....
4xx's: Alternate Name Forms (6)
Works
Title | Sources |
---|---|
Analyses de pointeurs et logique de séparation | |
Denotational semantics : a methodology for language development | |
ESOP 2004 | |
The essence of computation : complexity, analysis, transformation : essays dedicated to Neil D. Jones | |
ETAPS 2004 | |
Gogatsu no shi = Poems of May : a collection of miscellaneous poems | |
Mathematical foundations of programming semantics | |
Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings | |
REPRESENTATION D'ENSEMBLES D'ARBRES POUR L'INTERPRETATION ABSTRAITE | |
Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings | |
The structure of typed programming languages | |
Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings |