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
5
10
15
25
50
100
per column
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy