A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Fibonacci: A programming language for object databases
1995
The VLDB journal
Preserved Fulltext
A brief introduction to the language is provided to present those features, which are particularly suited to modeling complex databases. ...
Fibonacci is an object-oriented database programming language characterized by static and strong typing, and by new mechanisms for modeling databases in terms of objects with roles, classes, and associations ...
Conclusions This article is an introduction to the Fibonacci database programming language. ...
doi:10.1007/bf01231643
fatcat:if63zbvo4vczpdxx2x7v6g3wka
Fibonacci: A Programming Language for Object Databases
[chapter]
2000
Fully Integrated Data Environments
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A brief introduction to the language is provided to present those features, which are particularly suited to modeling complex databases. ...
Fibonacci is an object-oriented database programming language characterized by static and strong typing, and by new mechanisms for modeling databases in terms of objects with roles, classes, and associations ...
Conclusions This article is an introduction to the Fibonacci database programming language. ...
doi:10.1007/978-3-642-59623-0_5
fatcat:o7rhbv42abc25akrejf2t66rli
Page 496 of Mathematical Reviews Vol. , Issue 2001A
[page]
2001
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The Moebius function; 2.13. The Fibonacci numbers; 2.14. Reasoning by induction; 2.15. Solutions of the exercises.
3. An algorithmic description language. 4. How to create an al- gorithm. 5. ...
The main aim is to provide a theoretical basis for database design. This basis is used for the development of an effective methodology.”
Contents: Notation conventions; |. Introduction; 2. ...
On type systems for object-oriented database programming languages
2002
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The concept of an object-oriented database programming language (OODBPL) is appealing because it has the potential of combining the advantages of object orientation and database programming to yield a ...
The purpose of this article is to answer two questions: "What are the requirements that a modern type system for an object-oriented database programming language should satisfy?" ...
However, their benchmark was designed to measure the expressibility of a type system for an object-oriented programming language and not for an object-oriented database programming language. ...
doi:10.1145/592642.592643
fatcat:mz2t56cf6vcpzisqgsckkgy77a
Welcome to Constraint Handling Rules
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
As an introduction to CHR as a generalpurpose programming language we present some small programs using different programming styles and discuss their properties. ...
Constraint Handling Rules (CHR) is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until ...
between the art of proof search and an efficient programming language. ...
doi:10.1007/978-3-540-92243-8_1
fatcat:h5wq2cjwbvfw3fagpbq6fszkta
Fibonacci Based Text Hiding Using Image Cryptography
2014
Lecture Notes on Information Theory
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Real time processing is usually the opposite of offline processing. In offline processing applications, you can record images and process them later. ...
INTRODUCTION Matlab stands for matrix laboratory, it is high performance multiple-paradigm fourth generation computing language, with easy to use environment. ...
And the most important
element is that "database is inbuilt in MatLab", no need
to install additional software to get the database.
Meanwhile Coding is user friendly in MatLab. ...
doi:10.12720/lnit.2.2.172-176
fatcat:isqsbfkszncbhiea2tlzxejkpa
Efficiency of Engaging Python in Teaching Discrete Mathematics: Case Study
2016
Al-Nahrain Journal of Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
By providing students with a python language they could use to understand both discrete mathematics and programming effectively and efficiently in the most appropriate manner, this reduce difficulties ...
of imagining the logical way of writing programs also give a brilliant way to rise programming skills and give a simple way to study mathematics practically not only theoretically. ...
Python is easy to learn and very well suited for an introduction to computer programming [3] . ...
doi:10.22401/jnus.19.3.18
fatcat:kehcwgwqrjh5nnyrfyjerhfmye
Extensible Objects for Database Evolution: Language Features and Implementation Issues
[chapter]
2000
Fully Integrated Data Environments
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Several proposals have been made to overcome this limitation. An analysis of these proposals is made to show the impact of more general modeling functionalities on the object implementation technique. ...
One of the limitations of commercially available object-oriented DBMSs is their inability to deal with objects that may change their type during their life and which exhibit a plurality of behaviors. ...
Acknowledgements This work has been supported in part by grants from the C. ...
doi:10.1007/978-3-642-59623-0_17
fatcat:tgjktekr2rai5birjw5elw3isi
Importing the OEIS Library Into OMDoc
2015
Lernen, Wissen, Daten, Analysen
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The On-line Encyclopedia of Integer Sequences (OEIS) is the largest database of its kind and an important resource for mathematicians. ...
Documents contain varied information about each sequence such as the beginning of the sequence, its name or description, formulas describing it, or computer programs in various languages for generating ...
The authors gratefully acknowledge the foresight of the OEIS foundation to license the OEIS content under a Creative Commons license that allows derivative work like this one and the practical help of ...
dblp:conf/lwa/LuzhnicaIK15
fatcat:oxq4qsluhnatjcu5hkohph6l3a
Executable Temporal Logic Systems
1996
Journal of symbolic computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Within each section, an introduction to the language and its applications is given, and the significant references and pointers to FTP and WWW sites are provided. ...
The resulting language, called Chronolog(Z), has an additional operator, prev, to look into the past. ...
doi:10.1006/jsco.1996.0073
fatcat:irywl2eukzh6xjuqpcbfqyesri
Book reports
1991
Computers and Mathematics with Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Types for logic programs. 48. Constraint logic programming: From theory to applications. 49. Deductive database systems: Applications and programming. Author index. II. 7. Elastodynamics II. 8. ...
The Mixtus approach to automatic partial evaluation of full prolog. Part VIII. Constraints. 22. Computation complexity and constraint logic programming languages. 23. ...
doi:10.1016/0898-1221(91)90056-a
fatcat:orugqwgfgvdd5km6epzzee6urq
Tabulation of functions in definite clause programs
[chapter]
1994
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
An extended version of the applicative caching technique from functional programming is adapted to OLD resolution as an alternative to OLDT resolution for predicates that are actually functions. ...
An inference system, OLDTF resolution, is given with a proof procedure. It is argued why this special case is interesting in its own right also outside the area of deductive databases. ...
Introduction In a programming language with referential transparency, an expression can be replaced with any other expression that has the same meaning. ...
doi:10.1007/3-540-58402-1_40
fatcat:kqj4lkaaozffxkp2pxqa22npue
The rôle of linear logic in coalgebraical approach of computing
2011
Journal of Information and Organizational Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
While classical logic treats the sentences that are always true or false, in linear logic it depends on an internal state of a dynamic system. ...
The most important feature of linear logic is that formulae areconsidered as actions. ...
Acknowledgments This work has been supported by VEGA Grant No.1/0015/10: Principles and methods of semantic enrichment and adaptation of knowledge-based languages for automatic software development. ...
doaj:75bab1b9dc2b46558af226dcb0ae2cd8
fatcat:3ftl4xi2evgwxfizt45gjduxyq
Algorithm = logic + control
1979
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
An algorithm can be regarded as consisting of a logic component, which specifies the knowledge to be used in solving problems, and a control component, which determines the problem-solving strategies by ...
The effkiency of an algorithm can often be improved by improving the control component without changing the logic of the algorithm. ...
The final draft of this paper was completed during a visiting professorship held in the School of Computer and Information Science at the University of Syracuse. ...
doi:10.1145/359131.359136
fatcat:e5grt7h5pjcxhgzp7j6vdsrbee
Monadic Memoization towards Correctness-Preserving Reduction of Search
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In addition, the resulting memoized programs are amenable to analysis using equational reasoning. ...
It is anticipated that further work will lead to proof of correctness of the proposed memoization technique. ...
We follow this with a description of how monadic memoization can be used to improve the complexity of the naive Fibonacci program. ...
doi:10.1007/3-540-44886-1_8
fatcat:5jvf7amiavdy7chbl7bs7htxty
« Previous
Showing results 1 — 15 out of 1,074 results