callback( { "result":{ "query":":facetid:toc:\"db/conf/ac/lhi1975.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"188.46" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"16", "@dc":"16", "@oc":"16", "@id":"43376740", "text":":facetid:toc:db/conf/ac/lhi1975.bht" } }, "hits":{ "@total":"16", "@computed":"16", "@sent":"16", "@first":"0", "hit":[{ "@score":"1", "@id":"7125368", "info":{"authors":{"author":[{"@pid":"66/3698","text":"Friedrich L. Bauer"},{"@pid":"s/KlausSamelson","text":"Klaus Samelson"}]},"title":"Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975","venue":["Language Hierarchies and Interfaces","Lecture Notes in Computer Science"],"volume":"46","publisher":"Springer","year":"1976","type":"Editorship","key":"conf/ac/1975lhi","doi":"10.1007/3-540-07994-7","ee":"https://doi.org/10.1007/3-540-07994-7","url":"https://dblp.org/rec/conf/ac/1975lhi"}, "url":"URL#7125368" }, { "@score":"1", "@id":"7129005", "info":{"authors":{"author":{"@pid":"66/3698","text":"Friedrich L. Bauer"}},"title":"Programming as an evolutionary process.","venue":"Language Hierarchies and Interfaces","pages":"153-182","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Bauer75","doi":"10.1007/3-540-07994-7_53","ee":"https://doi.org/10.1007/3-540-07994-7_53","url":"https://dblp.org/rec/conf/ac/Bauer75"}, "url":"URL#7129005" }, { "@score":"1", "@id":"7129006", "info":{"authors":{"author":{"@pid":"66/3698","text":"Friedrich L. Bauer"}},"title":"Appendix: a philosophy of programming.","venue":"Language Hierarchies and Interfaces","pages":"194-241","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Bauer75a","doi":"10.1007/3-540-07994-7_55","ee":"https://doi.org/10.1007/3-540-07994-7_55","url":"https://dblp.org/rec/conf/ac/Bauer75a"}, "url":"URL#7129006" }, { "@score":"1", "@id":"7129007", "info":{"authors":{"author":{"@pid":"d/WEDijkstra","text":"Edsger W. Dijkstra"}},"title":"On the teaching of programming, i. e. on the teaching of thinking.","venue":"Language Hierarchies and Interfaces","pages":"1-10","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Dijkstra75","doi":"10.1007/3-540-07994-7_46","ee":"https://doi.org/10.1007/3-540-07994-7_46","url":"https://dblp.org/rec/conf/ac/Dijkstra75"}, "url":"URL#7129007" }, { "@score":"1", "@id":"7129008", "info":{"authors":{"author":{"@pid":"d/WEDijkstra","text":"Edsger W. Dijkstra"}},"title":"Guarded commands, non-determinancy and a calculus for the derivation of programs.","venue":"Language Hierarchies and Interfaces","pages":"111-124","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Dijkstra75a","doi":"10.1007/3-540-07994-7_51","ee":"https://doi.org/10.1007/3-540-07994-7_51","url":"https://dblp.org/rec/conf/ac/Dijkstra75a"}, "url":"URL#7129008" }, { "@score":"1", "@id":"7129009", "info":{"authors":{"author":{"@pid":"d/WEDijkstra","text":"Edsger W. Dijkstra"}},"title":"A time-wise hierarchy imposed upon the use of a two-level store.","venue":"Language Hierarchies and Interfaces","pages":"345-357","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Dijkstra75b","doi":"10.1007/3-540-07994-7_59","ee":"https://doi.org/10.1007/3-540-07994-7_59","url":"https://dblp.org/rec/conf/ac/Dijkstra75b"}, "url":"URL#7129009" }, { "@score":"1", "@id":"7129010", "info":{"authors":{"author":[{"@pid":"d/WEDijkstra","text":"Edsger W. Dijkstra"},{"@pid":"l/LeslieLamport","text":"Leslie Lamport"},{"@pid":"82/3175","text":"Alain J. Martin"},{"@pid":"92/3970","text":"Carel S. Scholten"},{"@pid":"s/ElisabethFMSteffens","text":"Elisabeth F. M. Steffens"}]},"title":"On-the-fly garbage collection: an exercise in cooperation.","venue":"Language Hierarchies and Interfaces","pages":"43-56","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/DijkstraLMSS75","doi":"10.1007/3-540-07994-7_48","ee":"https://doi.org/10.1007/3-540-07994-7_48","url":"https://dblp.org/rec/conf/ac/DijkstraLMSS75"}, "url":"URL#7129010" }, { "@score":"1", "@id":"7129011", "info":{"authors":{"author":{"@pid":"90/6273","text":"Andrei P. Ershov"}},"title":"Problems in many-language systems.","venue":"Language Hierarchies and Interfaces","pages":"358-428","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Ershov75","doi":"10.1007/3-540-07994-7_60","ee":"https://doi.org/10.1007/3-540-07994-7_60","url":"https://dblp.org/rec/conf/ac/Ershov75"}, "url":"URL#7129011" }, { "@score":"1", "@id":"7129012", "info":{"authors":{"author":{"@pid":"g/DavidGries","text":"David Gries"}},"title":"An exercise in proving parallel programs correct.","venue":"Language Hierarchies and Interfaces","pages":"57-81","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Gries75","doi":"10.1007/3-540-07994-7_49","ee":"https://doi.org/10.1007/3-540-07994-7_49","url":"https://dblp.org/rec/conf/ac/Gries75"}, "url":"URL#7129012" }, { "@score":"1", "@id":"7129013", "info":{"authors":{"author":{"@pid":"53/6453","text":"M. Griffiths"}},"title":"Program production by successive transformation.","venue":"Language Hierarchies and Interfaces","pages":"125-152","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Griffiths75","doi":"10.1007/3-540-07994-7_52","ee":"https://doi.org/10.1007/3-540-07994-7_52","url":"https://dblp.org/rec/conf/ac/Griffiths75"}, "url":"URL#7129013" }, { "@score":"1", "@id":"7129014", "info":{"authors":{"author":{"@pid":"h/PerBrinchHansen","text":"Per Brinch Hansen"}},"title":"The programming language concurrent pascal.","venue":"Language Hierarchies and Interfaces","pages":"82-110","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Hansen75","doi":"10.1007/3-540-07994-7_50","ee":"https://doi.org/10.1007/3-540-07994-7_50","url":"https://dblp.org/rec/conf/ac/Hansen75"}, "url":"URL#7129014" }, { "@score":"1", "@id":"7129015", "info":{"authors":{"author":{"@pid":"h/CARHoare","text":"C. A. R. Hoare"}},"title":"Parallel programming: an axiomatic approach.","venue":"Language Hierarchies and Interfaces","pages":"11-42","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Hoare75","doi":"10.1007/3-540-07994-7_47","ee":"https://doi.org/10.1007/3-540-07994-7_47","url":"https://dblp.org/rec/conf/ac/Hoare75"}, "url":"URL#7129015" }, { "@score":"1", "@id":"7129016", "info":{"authors":{"author":{"@pid":"h/CARHoare","text":"C. A. R. Hoare"}},"title":"Proof of correctness of data representation.","venue":"Language Hierarchies and Interfaces","pages":"183-193","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Hoare75a","doi":"10.1007/3-540-07994-7_54","ee":"https://doi.org/10.1007/3-540-07994-7_54","url":"https://dblp.org/rec/conf/ac/Hoare75a"}, "url":"URL#7129016" }, { "@score":"1", "@id":"7129017", "info":{"authors":{"author":{"@pid":"h/CARHoare","text":"C. A. R. Hoare"}},"title":"The structure of an operating system.","venue":"Language Hierarchies and Interfaces","pages":"242-265","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Hoare75b","doi":"10.1007/3-540-07994-7_56","ee":"https://doi.org/10.1007/3-540-07994-7_56","url":"https://dblp.org/rec/conf/ac/Hoare75b"}, "url":"URL#7129017" }, { "@score":"1", "@id":"7129018", "info":{"authors":{"author":{"@pid":"25/6815","text":"Gerhard Seegmüller"}},"title":"Language aspects in operating systems.","venue":"Language Hierarchies and Interfaces","pages":"266-292","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Seegmuller75","doi":"10.1007/3-540-07994-7_57","ee":"https://doi.org/10.1007/3-540-07994-7_57","url":"https://dblp.org/rec/conf/ac/Seegmuller75"}, "url":"URL#7129018" }, { "@score":"1", "@id":"7129019", "info":{"authors":{"author":{"@pid":"w/WilliamAWulf","text":"William A. Wulf"}},"title":"Structured programming in the basic layers of an operating system.","venue":"Language Hierarchies and Interfaces","pages":"293-344","year":"1975","type":"Conference and Workshop Papers","access":"closed","key":"conf/ac/Wulf75","doi":"10.1007/3-540-07994-7_58","ee":"https://doi.org/10.1007/3-540-07994-7_58","url":"https://dblp.org/rec/conf/ac/Wulf75"}, "url":"URL#7129019" } ] } } } )