WorldCat Identities

Mitchell, John C.

Overview
Works: 900 works in 2,164 publications in 3 languages and 33,935 library holdings
Genres: Conference papers and proceedings 
Roles: Other, Author, Editor, Thesis advisor
Publication Timeline
.
Most widely held works about John C Mitchell
 
Most widely held works by John C Mitchell
Concepts in programming languages by John C Mitchell( )

24 editions published between 2002 and 2007 in English and Chinese and held by 1,952 WorldCat member libraries worldwide

For undergraduate and beginning graduate students, this textbook explains and examines the central concepts used in modern programming languages, such as functions, types, memory management, and control. The book is unique in its comprehensive presentation and comparison of major object-oriented programming languages. Separate chapters examine the history of objects, Simula and Smalltalk, and the prominent languages C++ and Java. The author presents foundational topics, such as lambda calculus and denotational semantics, in an easy-to-read, informal style, focusing on the main insights provided by these theories. Advanced topics include concurrency, concurrent object-oriented programming, program components, and inter-language interoperability. A chapter on logic programming illustrates the importance of specialized programming methods for certain kinds of problems. This book will give the reader a better understanding of the issues and tradeoffs that arise in programming language design, and a better appreciation of the advantages and pitfalls of the programming languages they use
Foundations for programming languages by John C Mitchell( Book )

23 editions published between 1996 and 2000 in 3 languages and held by 878 WorldCat member libraries worldwide

Theoretical aspects of object-oriented programming : types, semantics, and language design by Carl A Gunter( Book )

13 editions published between 1993 and 1994 in English and Italian and held by 387 WorldCat member libraries worldwide

Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings by David Basin( )

7 editions published in 2013 in English and held by 381 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Second International Conference on Principles of Security and Trust, POST 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, in Rome, Italy, in March 2013. The 14 papers included in this volume were carefully reviewed and selected from 59 submissions. They deal with the theoretical and foundational aspects of security and trust such as new theoretical results, practical applications of existing foundational ideas, and innovative theoretical approaches stimulated by pressing practical problems
Theoretical aspects of computer software : International Symposium, TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings by International Symposium on Theoretical Aspects of Computer Software( Book )

16 editions published in 1994 in English and held by 340 WorldCat member libraries worldwide

"This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures."--PUBLISHER'S WEBSITE
Exploring new frontiers of theoretical informatics : IFIP 18th World Computer Congress ; TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France by Jean-Jacques Lévy( )

13 editions published between 2004 and 2011 in English and held by 260 WorldCat member libraries worldwide

In recent years, IT application scenarios have evolved in very innovative ways. Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communications are inexpensive and widespread, and most of our work tools are equipped with processors enabling us to perform a multitude of tasks
Advances in visual computing : 4th international symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008 : proceedings by International Symposium on Visual Computing( )

6 editions published in 2008 in English and Undetermined and held by 178 WorldCat member libraries worldwide

The two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual Computing, ISVC 2008, held in Las Vegas, NV, USA, in December 2008. The 102 revised full papers and 70 poster papers presented together with 56 full and 8 poster papers of 8 special tracks were carefully reviewed and selected from more than 340 submissions. The papers are organized in topical sections on computer graphics, visualization, shape/recognition, video analysis and event recognition, virtual reality, reconstruction, motion, face/gesture, and computer vision applications. The 8 additional special tracks address issues such as object recognition, real-time vision algorithm implementation and application, computational bioimaging and visualization, discrete and computational geometry, soft computing in image processing and computer vision, visualization and simulation on immersive display devices, analysis and visualization of biomedical visual data, as well as image analysis for remote sensing data
Verbal and nonverbal features of human-human and human-machine interaction : Cost Action 2102 International Conference, Patras, Greece, October 29-31, 2007, revised papers by Anna Esposito( )

5 editions published in 2008 in English and Undetermined and held by 133 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the COST 2102 International Conference on Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction, held in Patras, Greece, October 29 -31, 2007. The 21 revised full papers were carefully reviewed and selected. The papers are organized in topical sections on static and dynamic processing of faces, facial expressions and gaze as well as emotional speech synthesis and recognition
Visual data mining : theory, techniques and tools for visual analytics by Simeon J Simoff( )

6 editions published in 2008 in English and Undetermined and held by 129 WorldCat member libraries worldwide

Annotation The importance of visual data mining, as a strong sub-discipline of data mining, had already been recognized in the beginning of the decade. In 2005 a panel of renowned individuals met to address the shortcomings and drawbacks of the current state of visual information processing. The need for a systematic and methodological development of visual analytics was detected. This book aims at addressing this need. Through a collection of 21 contributions selected from more than 46 submissions, it offers a systematic presentation of the state of the art in the field. The volume is structured in three parts on theory and methodologies, techniques, and tools and applications
Interactive storytelling : First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008 : proceedings by David Hutchison( )

2 editions published in 2008 in English and held by 117 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, held in Erfurt, Germany, in November 2008. The 19 revised full papers, 5 revised short papers, and 5 poster papers presented together with 3 invited lectures and 8 demo papers were carefully reviewed and selected from 62 submission. The papers are organized in topical sections on future perspectives on interactive digital storytelling, interactive storytelling applications, virtual characters and agents, user experience and dramatic immersion, architectures for story generation, models for drama management and interacting with stories, as well as authoring and creation of interactive narrative
Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings by Philippe Audebaud( )

5 editions published in 2008 in English and held by 112 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics
Transactions on rough sets IX by David Hutchison( )

3 editions published in 2008 in English and held by 111 WorldCat member libraries worldwide

Annotation The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. This book, which constitutes the ninth volume of the Transactions on Rough Sets series, providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions of papers included in the first conference on Rough Sets and Intelligent Systems Paradigms. The 26 papers presented in this volume introduce a number of new advances in the foundations and applications of artificial intelligence, engineering, image processing, logic, mathematics, medicine, music, and science
Theory and practice of model transformations : second international conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings by International Conference on Model Transformation( )

2 editions published in 2009 in English and held by 104 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014. The 14 revised papers were carefully selected from 38 submissions. The papers have been organized in topical sections on model transformation testing, foundations of model synchronization, applications of model synchronization and tracing and reverse engineering of transformations
Practical aspects of knowledge management : 7th international conference, PAKM 2008, Yokohama, Japan, November 22 -23, 2008, proceedings by David Hutchison( )

3 editions published in 2008 in English and held by 102 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th International Conference on Practical Aspects of Knowledge Management, PAKM 2008, held in Yokohama, Japan, in November 2008. The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 62 submissions. All aspects of knowledge management and their role in next-generation business solutions are addressed in perspective to business and organisation sciences, cognitive science, and computer science. The papers are organized in topical sections on knowledge sharing, collaboration platforms, content-oriented retrieval, knowledge acquisition, knowledge management solutions, knowledge mining from data, text and the Web, ontology, and knowledge utilization
Biometrics and identity management : first European workshop, BIOID 2008, Roskilde, Denmark, May 7-9, 2008 : revised selected papers by David Hutchison( )

4 editions published in 2008 in English and Undetermined and held by 100 WorldCat member libraries worldwide

This volume constitutes the post-conference proceedings of the First European Workshop on Biometrics and Identity Management, BIOID 2008, held in Roskilde, Denmark, during May 7-9, 2008. The 23 regular papers presented were carefully selected from numerous submissions. They cover the following topics: biometric data quality; biometrical templates - face recognition; biometrical templates -- other modalities; biometric attacks and countermeasures; biometric interfaces, and standards and privacy. These papers are presented together with 4 position papers by invited speakers on biometrics and identity management
Computer performance evaluation and benchmarking : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009 : proceedings by David R Kaeli( )

3 editions published in 2009 in English and held by 99 WorldCat member libraries worldwide

This book constitutes the proceedings of the SPEC Benchmark Workshop 2009 held in Austin, Texas, USA on January 25th, 2009. The 9 papers presented were carefully selected and reviewed for inclusion in the book. The result is a collection of high-quality papers discussing current issues in the area of benchmarking research and technology. The topics covered are: benchmark suites, CPU benchmarking, power/thermal benchmarking, and modeling and sampling techniques
High performance embedded architectures and compilers : fourth international conference, HiPEAC 2009, Paphos, Cyprus, January 2009 : proceedings by Yale N Patt( )

3 editions published in 2009 in English and held by 99 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2009, held in Paphos, Cyprus, in January 2009. The 27 revised full papers presented together with 2 invited keynote paper were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on dynamic translation and optimization, low level scheduling, parallelism and resource control, communication, mapping for CMPs, power, cache issues as well as parallel embedded applications
Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, revised tutorial lectures by E Börger( )

2 editions published in 2008 in English and held by 99 WorldCat member libraries worldwide

This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software Engineering, held on Lipari Island, Italy, in July 2007. It was the 19th in a well-known series of annual international schools, addressed at computer science researchers. The courses dealt with domain and requirements engineering, high-level modelling, software product line techniques, evolvable software, the evolution of service-oriented software architectures, Web services, and security in such evolving distributed systems. The nine revised full papers presented were carefully reviewed and selected by 21 reviewers. The papers are organized in topical sections on foundations and methodology, service oriented architecture and web services, software technology, and security. This book is written with the intent to produce a state-of-the-art compendium of recent advances in software engineering
Cryptology and network security : 7th international conference, CANS 2008, Hong-Kong, China, December 2-4, 2008 ; proceedings by International Conference on Cryptology and Network Security( )

3 editions published in 2008 in English and held by 99 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th International Conference on Cryptology and Network Security, CANS 2008, held in Hong-Kong, China, in December 2008. The 27 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on cryptosystems, signatures, identification, authentication and key management, cryptographic algorithms and protocols, stream ciphers and block ciphers, cryptographic foundations, applications and implementations, as well as security in ad hoc networks and wireless sensor networks
Approximation and online algorithms : 6th international workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008 : revised papers by WAOA 2008( )

2 editions published in 2009 in English and held by 98 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post workshop proceedings of the 6th International Workshop on Approximation and Online Algorithms, WAOA 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 conference event. The 22 revised full papers presented were carefully reviewed and selected from 56 submissions. The workshop covered areas such as algorithmic game theory, approximation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, inapproximability results, mechanism design, network design, packing and covering, paradigms for design and analysis of approximation and online algorithms, randomization techniques, real-world applications, and scheduling problems
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.36 (from 0.06 for Concepts i ... to 0.85 for Order of s ...)

WorldCat IdentitiesRelated Identities
Concepts in programming languages
Covers
Foundations for programming languagesTheoretical aspects of object-oriented programming : types, semantics, and language designExploring new frontiers of theoretical informatics : IFIP 18th World Computer Congress ; TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, FranceAdvances in visual computing : 4th international symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008 : proceedingsVerbal and nonverbal features of human-human and human-machine interaction : Cost Action 2102 International Conference, Patras, Greece, October 29-31, 2007, revised papersVisual data mining : theory, techniques and tools for visual analyticsInteractive storytelling : First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008 : proceedingsMathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings
Languages
English (141)

Italian (2)

Chinese (1)