Search for Author All Reviews
	Kifer, Michael     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 6 reviews       Declarative logic programming: theory, systems, and applications Kifer M., Liu Y. Association for Computing Machinery and Morgan & Claypool, New York, NY, 2018.  Type: Divisible Book What is declarative logic programming and why is it relevant? These are just two of the many questions answered in Declarative logic programming, edited by Michael Kifer and Yanhong Annie Liu. The compiled chapters aim to fill i...... Jun 26 2019     Introduction to operating system design and implementation: the OSP 2 approach (Undergraduate Topics in Computer Science) Kifer M., Smolka S., Springer-Verlag New York, Inc., Secaucus, NJ, 2007. 172 pp.  Type: Book (9781846288425) The OSP 2 software provides a total environment for student programming projects within an operating systems (OSs) course. This book is a lab manual for the software....... May 29 2008     Database systems: an application oriented approach, complete version (2nd ed.) Kifer M., Bernstein A., Lewis P., Addison-Wesley Longman Publishing Co, Inc., Boston, MA, 2005. 1272 pp.  Type: Book (9780321268457) Rather than focusing on how to build a database management system (DBMS), this book focuses on how to build applications that use such a system. The authors believe that many more students will implement database applications than will...... Nov 4 2005     Logical foundations of object-oriented and frame-based languages Kifer M., Lausen G., Wu J. Journal of the ACM 42(4): 741-843, 1995.  Type: Article In recent years, “object-oriented programming” (OOP) has become a catch-phrase among researchers in programming languages and implementors of software development tools. OOP is loosely defined as a paradigm, and div...... Oct 1 1996     A theory of intersection anomalies in relational database schemes Beeri C., Kifer M. Journal of the ACM 34(3): 544-577, 1987.  Type: Article This paper is an extension of previous works by the authors on intersection anomalies for relational database schemes with multivalued dependencies. The authors begin by briefly stating the concepts of acyclic database schemes, conflic...... Jul 1 1988     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy