{"isbn_13": ["9780387588223"], "subtitle": "Proceedings (Lecture Notes in Computer Science)", "last_modified": {"type": "/type/datetime", "value": "2008-04-29 13:35:46.87638"}, "publishers": ["Springer-Verlag"], "title": "Ada in Europe: First International Eurospace-Ada Europe Symposium, Copenhagen, Denmark, September 26-30, 1994 ", "first_sentence": {"type": "/type/text", "value": "In this paper a run-time check eliminator for Ada 9X is presented."}, "isbn_10": ["0387588221"], "publish_date": "December 1994", "key": "/b/OL7447629M", "authors": [{"key": "/a/OL2682685A"}], "type": {"key": "/type/edition"}, "id": 10142032, "revision": 1}