Executable Axiomatic Specification Using Functional Language -- Case Study: Ontology for a Spatio-Temporal Database (1997)

Cached

Download Links

by Andre U. Frank , Damir Medak
Citations:5 - 0 self

Active Bibliography

507 GOLOG: A Logic Programming Language for Dynamic Domains – Hector J. Levesque, Raymond Reiter, Yves LespĂ©rance, Fangzhen Lin, Richard B. Scherl - 1994
1388 The Entity-Relationship Model: Toward a Unified View of Data – Peter Pin-shan Chen - 1976
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
1274 Shape Matching and Object Recognition Using Shape Contexts – Serge Belongie, Jitendra Malik, Jan Puzicha - 2001
562 The interdisciplinary study of coordination – Thomas W. Malone, Kevin Crowston - 1994
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001
580 Abstraction in perceptual symbol systems – L. W. Barsalou - 2003
778 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002