Filters








153,387 Hits in 8.5 sec

A first-order language for expressing sharing and type properties of logic programs

Paolo Volpe
<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
In this paper we study a ÿrst-order language that allows to express and prove properties regarding the sharing of variables between non-ground terms and their types.  ...  and debugging of logic programs.  ...  is equivalent to a quantiÿer-free formula H (Y ) and ∃ Y var(Y ) ∧ H (Y ) is equivalent to a quantiÿer-free formula by Lemma A.1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0167-6423(00)00017-4">doi:10.1016/s0167-6423(00)00017-4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3akfynyngrenpmuo3tbqx2uru4">fatcat:3akfynyngrenpmuo3tbqx2uru4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170928190520/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/6b9/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDE2NzY0MjMwMDAwMDE3NA%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9f/7b/9f7b92e6948357ef9fea3b8e8d4aac5c025f7f2a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0167-6423(00)00017-4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Page 6642 of Mathematical Reviews Vol. , Issue 2001I [page]

<span title="">2001</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
sharing and type properties of logic programs.  ...  Summary: “In this paper we study a first-order language that can be used to express and prove properties regarding the sharing of variables between non-ground terms and their types.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2001-09_2001i/page/6642" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2001-09_2001i/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Specification Languages [chapter]

Donald Sannella, Martin Wirsing
<span title="">1999</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">Algebraic Foundations of Systems Specification</a> </i> &nbsp;
ACT [CEW93] is an approach to formal software development that includes a language called ACT ONE [Cla89] for writing parameterised specifications, called "types", with conditional equational axioms and  ...  ACT ONE has a pure initial algebra semantics (Chapter 5) where every type is parameterised (non-parameterised types are considered as a degenerate case) and denotes a free functor.  ...  Thanks to Didier Bert, Rȃzvan Diaconescu, Chris George, Bernd Krieg-Brückner, and Horst Reichel for helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-59851-7_8">doi:10.1007/978-3-642-59851-7_8</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/series/ifip/SannellaW99.html">dblp:series/ifip/SannellaW99</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ckfem66gzvcuxidwhhd2k4mttm">fatcat:ckfem66gzvcuxidwhhd2k4mttm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830060714/http://homepages.inf.ed.ac.uk/dts/pub/spec-lang.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c4/74/c47455200e0569f2592016d466b12b47a5fb6a21.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-59851-7_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Modular Reasoning in Object-Oriented Programming [chapter]

David A. Naumann
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This line of research has been carried out for Java-like programming languages; I argue in Section 1 for the importance of such languages.  ...  What behavioral properties of components are needed for modular reasoning about a composed system?  ...  Why Java-Like Language? In order to develop theory for modular reasoning about large programs, we need a corpus of large programs and automated support for experiments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-69149-5_13">doi:10.1007/978-3-540-69149-5_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qmqmqiqbg5hebhlfr6zozp4hhu">fatcat:qmqmqiqbg5hebhlfr6zozp4hhu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030092039/https://link.springer.com/content/pdf/10.1007%2F978-3-540-69149-5_13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e3/eb/e3eb25dfb18ea0231f5a94ef3b421a0597621c3b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-69149-5_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Web Service Modeling Language WSML: An Overview [chapter]

Jos de Bruijn, Holger Lausen, Axel Polleres, Dieter Fensel
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
WSML distinguishes between conceptual and logical modeling in order to support users who are not familiar with formal logic, while not restricting the expressive power of the language for the expert user  ...  This core language is extended in the directions of Description Logics and Logic Programming in a principled manner with strict layering.  ...  Acknowledgments We would like to thank all members of the WSML working group, especially Eyal Oren and Rubén Lara, for their comments and input to this document.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11762256_43">doi:10.1007/11762256_43</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ae5ffg45lffhzjmgcwfjzhnxz4">fatcat:ae5ffg45lffhzjmgcwfjzhnxz4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060517174557/http://holgerlausen.net:80/publication/The_Web_Service_Modeling_Language_WSML_An_Overview.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7e/f4/7ef46750963b726cfa06ea879f04645f1dd3a7d7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11762256_43"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Functional Logic Programming: From Theory to Curry [chapter]

Michael Hanus
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This paper surveys the foundations of functional logic programming that are relevant for Curry, the main features of Curry, and extensions and applications of Curry and functional logic programming.  ...  The development of Curry is an international initiative intended to provide a common platform for the research, teaching, and application of integrated functional logic languages.  ...  Furthermore, I would like to thank Sergio Antoy, Bernd Braßel, and Germán Vidal for their constructive remarks to improve the readability of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-37651-1_6">doi:10.1007/978-3-642-37651-1_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bi7s3wzbvbh5xf57gsox7uhhjq">fatcat:bi7s3wzbvbh5xf57gsox7uhhjq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110813104316/http://www.informatik.uni-kiel.de/~mh/reports/newsurvey.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/83/b5/83b543a990fc4e27e6412768515c10b0468c8896.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-37651-1_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Types with semantics

Olha Shkaravska
<span title="">2005</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN &#39;05</a> </i> &nbsp;
The logic is based on the concept of a specialised assertion, which is a predicate expressing the semantics of a typing judgment in a logical framework (here higher-order logic).  ...  We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs.  ...  The author would like to thank Martin Hofmann and Alberto Momigliano for a few fruitful discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1088454.1088461">doi:10.1145/1088454.1088461</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/Shkaravska05.html">dblp:conf/icfp/Shkaravska05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r5j427no6fd6xpkqwrs7fdxw2a">fatcat:r5j427no6fd6xpkqwrs7fdxw2a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809114803/http://www.cs.ru.nl/~shkarav/merlin.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5e/36/5e363c5eb444abedb7bae473c3541e05e773171c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1088454.1088461"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming [article]

François Bry
<span title="2019-01-11">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Reflective Predicate Logic, a conservative extension of first-order logic, which provides a simple formalisation of meta-programming.  ...  Processing programs as data is one of the successes of functional and logic programming.  ...  ) For the same reason, Russell's Paradox ( ) is not expressible in a first-order logic language sharing symbols.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1807.06051v3">arXiv:1807.06051v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7b3yzhf5u5awngbvqndvarfbhm">fatcat:7b3yzhf5u5awngbvqndvarfbhm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200824231051/https://arxiv.org/pdf/1807.06051v3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/36/8b/368b83ea5b1e3123b5816cd3b6114c95ccec43f5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1807.06051v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Memoized Pull-Tabbing for Functional Logic Programming [article]

Michael Hanus, Finn Teegen
<span title="2020-08-27">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We evaluate a first implementation of this improved technique in the Julia programming language.  ...  Pull-tabbing is an evaluation technique for functional logic programs which computes all non-deterministic results in a single graph structure.  ...  Introduction Functional logic languages [7] combine the main features of functional and logic languages in a single programming model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2008.11999v1">arXiv:2008.11999v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/i7c6gnt22jblveiamsljjgkwwe">fatcat:i7c6gnt22jblveiamsljjgkwwe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200901011301/https://arxiv.org/pdf/2008.11999v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2008.11999v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Proving Properties of Lazy Functional Programs with Sparkle [chapter]

Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Due to their mathematical nature, functional programming languages are well suited for formal reasoning.  ...  The purpose of a proof assistant is to use formal reasoning to verify the correctness of a computer program. Formal reasoning is very powerful, but is unfortunately also difficult to carry out.  ...  -For the property language, it suffices to use a standard first-order logic which has been extended with an equality on arbitrary program expressions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-88059-2_2">doi:10.1007/978-3-540-88059-2_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aqhlzymjkveqtkmuqnsaxdmrpe">fatcat:aqhlzymjkveqtkmuqnsaxdmrpe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160610135535/http://www.mbsd.cs.ru.nl/publications/papers/2008/molm07-ProvingPropertiesWithSparkle_CEFP2007.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/28/38/2838be097981a606dc54131ad4b8ec6c9201336b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-88059-2_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks [chapter]

Stijn de Gouw, Frank de Boer, Wolfgang Ahrendt, Richard Bubel
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Further, the assertion language is first-order, i.e., quantification only ranges over basic types like that of the natural numbers, Boolean and Object.  ...  We present a completeness proof of the inductive assertion method for object-oriented programs extended with auxiliary variables.  ...  us to express arbitrary properties of the heap in first-order logic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35843-2_19">doi:10.1007/978-3-642-35843-2_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4mbbbi3ywje2riouegamljk5z4">fatcat:4mbbbi3ywje2riouegamljk5z4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719151105/https://ir.cwi.nl/pub/21292/21292B.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e2/89/e289240eb981d2b8d324095082616fc0c8c9992f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35843-2_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Local actions for a curry-style operational semantics

Gordon Stewart, Andrew W. Appel
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/et4bvsk4dndlrftj3ooldawbfi" style="color: black;">Proceedings of the 5th ACM workshop on Programming languages meets program verification - PLPV &#39;11</a> </i> &nbsp;
Soundness of the program logic is derived mechanically from simple properties of primitive commands and expressions.  ...  We demonstrate our framework by deriving a separation logic for the model of a core imperative programming language with external function calls.  ...  Bell, Lennart Beringer, Robert Dockins, Christopher Monsanto, Cole Schlesinger, David Walker, and the PLPV anonymous reviewers for invaluable suggestions and comments on this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1929529.1929535">doi:10.1145/1929529.1929535</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/plpv/StewartA11.html">dblp:conf/plpv/StewartA11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aagqjwt4ffczxek2lm5scsaxsm">fatcat:aagqjwt4ffczxek2lm5scsaxsm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110609055801/http://www.cs.princeton.edu/~appel/papers/local-actions.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/52/c1/52c1d1fca0ca8c5a50ac22652292a93fe87f85bb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1929529.1929535"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Demand Analysis with Partial Predicates [article]

Julio Marino, Angel Herranz, Juan Jose Moreno-Navarro
<span title="2006-02-04">2006</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In order to alleviate the inefficiencies caused by the interaction of the logic and functional sides, integrated languages may take advantage of demand information -- i.e. knowing in advance which computations  ...  This will allow us to give a concise, unified presentation of demand analysis, to relate it to other analyses based on abstract interpretation or strictness logics, some hints for the implementation, and  ...  We also want to thank Enea Zaffanella and the anonymous referees for their valuable comments on earlier versions of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0602008v1">arXiv:cs/0602008v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eioee34xavgybc4pvujern3ncq">fatcat:eioee34xavgybc4pvujern3ncq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171008214452/https://core.ac.uk/download/pdf/2421683.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/61/b5/61b56e1b9a419487102b1d914d691b5152e61043.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0602008v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Page 3854 of Mathematical Reviews Vol. , Issue 98F [page]

<span title="">1998</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
Both our type inference algorithm and our lower bound are the first such results for a type system with selftype.” 98f:68036 68N15 Sestoft, Peter Deriving a lazy abstract machine.  ...  {For the entire collection see MR 98e:03020.} 98f:68033 68N15 Leroy, Xavier (F-INRIA; Le Chesnay) A syntactic theory of type generativity and sharing. (English summary) J. Funct.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1998-06_98f/page/3854" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1998-06_98f/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Natural language processing and logic programming

Veronica Dahl
<span title="">1994</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
This paper examines the main points of contact between logic programming and natural language processing, and covers some of the important issues that arise using logic programming techniques in natural  ...  We concentrate on syntax, the most studied aspect of language processing.  ...  BACKGROUND The first language processing application of logic programming, written by Alain Colmerauer and his colleagues [25] , was also the very first application of logic programming.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(94)90036-1">doi:10.1016/0743-1066(94)90036-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/txdqkmwyvjgmfjtn6yt2dpwr4a">fatcat:txdqkmwyvjgmfjtn6yt2dpwr4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190418195528/https://core.ac.uk/download/pdf/82531755.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f5/b5/f5b529112139ec295baeb4fd69d683d9b76d647b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(94)90036-1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 153,387 results