callback( { "result":{ "query":":facetid:toc:\"db/conf/fm/ps1981.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"65.92" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"18", "@dc":"18", "@oc":"18", "@id":"43395100", "text":":facetid:toc:db/conf/fm/ps1981.bht" } }, "hits":{ "@total":"18", "@computed":"18", "@sent":"18", "@first":"0", "hit":[{ "@score":"1", "@id":"7083510", "info":{"authors":{"author":{"@pid":"s/JorgenStaunstrup","text":"Jørgen Staunstrup"}},"title":"Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981","venue":["Program Specification","Lecture Notes in Computer Science"],"volume":"134","publisher":"Springer","year":"1982","type":"Editorship","key":"conf/fm/1981","doi":"10.1007/3-540-11490-4","ee":"https://doi.org/10.1007/3-540-11490-4","url":"https://dblp.org/rec/conf/fm/1981"}, "url":"URL#7083510" }, { "@score":"1", "@id":"7089979", "info":{"authors":{"author":[{"@pid":"42/3060","text":"Derek Coleman"},{"@pid":"18/4663","text":"Robin M. Gallimore"}]},"title":"Partial Correctness of Distributed Programs.","venue":"Program Specification","pages":"138-180","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/ColemanG81","doi":"10.1007/3-540-11490-4_14","ee":"https://doi.org/10.1007/3-540-11490-4_14","url":"https://dblp.org/rec/conf/fm/ColemanG81"}, "url":"URL#7089979" }, { "@score":"1", "@id":"7089980", "info":{"authors":{"author":[{"@pid":"42/3060","text":"Derek Coleman"},{"@pid":"18/4663","text":"Robin M. Gallimore"}]},"title":"Specification of Distributed Programs.","venue":"Program Specification","pages":"181-214","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/ColemanG81a","doi":"10.1007/3-540-11490-4_15","ee":"https://doi.org/10.1007/3-540-11490-4_15","url":"https://dblp.org/rec/conf/fm/ColemanG81a"}, "url":"URL#7089980" }, { "@score":"1", "@id":"7089981", "info":{"authors":{"author":{"@pid":"43/190","text":"Flaviu Cristian"}},"title":"Robust Data Types.","venue":"Program Specification","pages":"215-254","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Cristian81","doi":"10.1007/3-540-11490-4_16","ee":"https://doi.org/10.1007/3-540-11490-4_16","url":"https://dblp.org/rec/conf/fm/Cristian81"}, "url":"URL#7089981" }, { "@score":"1", "@id":"7089982", "info":{"authors":{"author":[{"@pid":"e/HartmutEhrig","text":"Hartmut Ehrig"},{"@pid":"k/JHKreowski","text":"Hans-Jörg Kreowski"},{"@pid":"77/4870","text":"James W. Thatcher"},{"@pid":"10/6164","text":"Eric G. Wagner"},{"@pid":"32/2295","text":"Jesse B. Wright"}]},"title":"Parameter Passing in Algebraic Specification Languages.","venue":"Program Specification","pages":"322-369","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/EhrigKTWW81","doi":"10.1007/3-540-11490-4_21","ee":"https://doi.org/10.1007/3-540-11490-4_21","url":"https://dblp.org/rec/conf/fm/EhrigKTWW81"}, "url":"URL#7089982" }, { "@score":"1", "@id":"7089983", "info":{"authors":{"author":{"@pid":"g/JohnVGuttag","text":"John V. Guttag"}},"title":"A few Remarks on Putting Formal Specifications to Productive Use.","venue":"Program Specification","pages":"370-380","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Guttag81","doi":"10.1007/3-540-11490-4_22","ee":"https://doi.org/10.1007/3-540-11490-4_22","url":"https://dblp.org/rec/conf/fm/Guttag81"}, "url":"URL#7089983" }, { "@score":"1", "@id":"7089984", "info":{"authors":{"author":{"@pid":"h/JamesJHorning","text":"James J. Horning"}},"title":"Issues and Observations.","venue":"Program Specification","pages":"5-24","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Horning81","doi":"10.1007/3-540-11490-4_2","ee":"https://doi.org/10.1007/3-540-11490-4_2","url":"https://dblp.org/rec/conf/fm/Horning81"}, "url":"URL#7089984" }, { "@score":"1", "@id":"7089985", "info":{"authors":{"author":[{"@pid":"41/6168","text":"Jane W. Hughes"},{"@pid":"42/3282","text":"Malcolm S. Powell"}]},"title":"A Reduction Specification for DTL.","venue":"Program Specification","pages":"255-267","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/HughesP81","doi":"10.1007/3-540-11490-4_17","ee":"https://doi.org/10.1007/3-540-11490-4_17","url":"https://dblp.org/rec/conf/fm/HughesP81"}, "url":"URL#7089985" }, { "@score":"1", "@id":"7089986", "info":{"authors":{"author":[{"@pid":"k/DeepakKapur","text":"Deepak Kapur"},{"@pid":"m/DavidRMusser","text":"David R. Musser"},{"@pid":"55/3011","text":"Alexander A. Stepanov 0001"}]},"title":"Tecton: A Language for Manipulating Generic Objects.","venue":"Program Specification","pages":"402-414","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/KapurMS81","doi":"10.1007/3-540-11490-4_24","ee":"https://doi.org/10.1007/3-540-11490-4_24","url":"https://dblp.org/rec/conf/fm/KapurMS81"}, "url":"URL#7089986" }, { "@score":"1", "@id":"7089987", "info":{"authors":{"author":{"@pid":"k/HerbertKlaeren","text":"Herbert Klaeren"}},"title":"Recursive Definitions of Operations in Universal Algebras.","venue":"Program Specification","pages":"268-281","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Klaeren81","doi":"10.1007/3-540-11490-4_18","ee":"https://doi.org/10.1007/3-540-11490-4_18","url":"https://dblp.org/rec/conf/fm/Klaeren81"}, "url":"URL#7089987" }, { "@score":"1", "@id":"7089988", "info":{"authors":{"author":{"@pid":"k/HerbertKlaeren","text":"Herbert Klaeren"}},"title":"The SRDL Specification Experiment.","venue":"Program Specification","pages":"282-293","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Klaeren81a","doi":"10.1007/3-540-11490-4_19","ee":"https://doi.org/10.1007/3-540-11490-4_19","url":"https://dblp.org/rec/conf/fm/Klaeren81a"}, "url":"URL#7089988" }, { "@score":"1", "@id":"7089989", "info":{"authors":{"author":{"@pid":"33/1839","text":"Leif Sandegaard Nielsen"}},"title":"Concurrency.","venue":"Program Specification","pages":"415-422","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Nielsen81","doi":"10.1007/3-540-11490-4_25","ee":"https://doi.org/10.1007/3-540-11490-4_25","url":"https://dblp.org/rec/conf/fm/Nielsen81"}, "url":"URL#7089989" }, { "@score":"1", "@id":"7089990", "info":{"authors":{"author":[{"@pid":"33/1839","text":"Leif Sandegaard Nielsen"},{"@pid":"91/4074","text":"Ib Holm Sørensen"}]},"title":"Communication Network.","venue":"Program Specification","pages":"118-136","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/NielsenS81","doi":"10.1007/3-540-11490-4_12","ee":"https://doi.org/10.1007/3-540-11490-4_12","url":"https://dblp.org/rec/conf/fm/NielsenS81"}, "url":"URL#7089990" }, { "@score":"1", "@id":"7089991", "info":{"authors":{"author":{"@pid":"91/4074","text":"Ib Holm Sørensen"}},"title":"A Specification Language.","venue":"Program Specification","pages":"381-401","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Sorensen81","doi":"10.1007/3-540-11490-4_23","ee":"https://doi.org/10.1007/3-540-11490-4_23","url":"https://dblp.org/rec/conf/fm/Sorensen81"}, "url":"URL#7089991" }, { "@score":"1", "@id":"7089992", "info":{"authors":{"author":{"@pid":"s/JorgenStaunstrup","text":"Jørgen Staunstrup"}},"title":"Introduction.","venue":"Program Specification","pages":"1-4","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Staunstrup81","doi":"10.1007/3-540-11490-4_1","ee":"https://doi.org/10.1007/3-540-11490-4_1","url":"https://dblp.org/rec/conf/fm/Staunstrup81"}, "url":"URL#7089992" }, { "@score":"1", "@id":"7089993", "info":{"authors":{"author":[{"@pid":"s/JorgenStaunstrup","text":"Jørgen Staunstrup"},{"@pid":"g/JosephAGoguen","text":"Joseph A. Goguen"}]},"title":"Geometrical Constructions.","venue":"Program Specification","pages":"25-46","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/StaunstrupG81","doi":"10.1007/3-540-11490-4_3","ee":"https://doi.org/10.1007/3-540-11490-4_3","url":"https://dblp.org/rec/conf/fm/StaunstrupG81"}, "url":"URL#7089993" }, { "@score":"1", "@id":"7089994", "info":{"authors":{"author":{"@pid":"74/4488","text":"Jørgen Steensgaard-Madsen"}},"title":"Program Specification by Module Trees.","venue":"Program Specification","pages":"294-321","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Steensgaard-Madsen81","doi":"10.1007/3-540-11490-4_20","ee":"https://doi.org/10.1007/3-540-11490-4_20","url":"https://dblp.org/rec/conf/fm/Steensgaard-Madsen81"}, "url":"URL#7089994" }, { "@score":"1", "@id":"7089995", "info":{"authors":{"author":[{"@pid":"74/4488","text":"Jørgen Steensgaard-Madsen"},{"@pid":"41/6168","text":"Jane W. Hughes"},{"@pid":"42/3282","text":"Malcolm S. Powell"},{"@pid":"e/HartmutEhrig","text":"Hartmut Ehrig"},{"@pid":"k/JHKreowski","text":"Hans-Jörg Kreowski"},{"@pid":"33/1839","text":"Leif Sandegaard Nielsen"},{"@pid":"16/756","text":"Jean-Raymond Abrial"},{"@pid":"91/4074","text":"Ib Holm Sørensen"},{"@pid":"18/4663","text":"Robin M. Gallimore"},{"@pid":"42/3060","text":"Derek Coleman"},{"@pid":"g/JosephAGoguen","text":"Joseph A. Goguen"}]},"title":"KWIC-index generation.","venue":"Program Specification","pages":"47-117","year":"1981","type":"Conference and Workshop Papers","access":"closed","key":"conf/fm/Steensgaard-MadsenHPEKNASGCG81","doi":"10.1007/3-540-11490-4_5","ee":"https://doi.org/10.1007/3-540-11490-4_5","url":"https://dblp.org/rec/conf/fm/Steensgaard-MadsenHPEKNASGCG81"}, "url":"URL#7089995" } ] } } } )