( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reexecution in Abstract Interpretation of Prolog.

, и . JICSLP, стр. 750-764. MIT Press, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ingrid Baudouin

Frank Charlier

Baudouin Dafflon

Max Baudouin

Michael Charlier

 

Другие публикации лиц с тем же именем

Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog., , , и . WSA, том 724 из Lecture Notes in Computer Science, стр. 15-26. Springer, (1993)Automated Behavioural Verification of Prolog Programs., , , и . APPIA-GULP-PRODE, стр. 189-200. (1997)Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions., и . LPE, (1995)Towards precise descriptions for programming language interoperability: a general approach based on operational semantics., и . IESA, стр. 581-586. Springer, (2007)Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments., и . LOPSTR, стр. 229-245. Springer, (1993)Experimental evaluation of a generic abstract interpretation algorithm for Prolog., и . ICCL, стр. 137-146. IEEE Computer Society, (1992)On the Design of a Tool for Supporting the Construction of Logic Programs., и . WLPE, (2001)ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis., , , и . ESORICS, том 648 из Lecture Notes in Computer Science, стр. 435-450. Springer, (1992)A Data Structure to Handle Large Sets of Equal Terms., и . SCSS, том 39 из EPiC Series in Computing, стр. 81-94. EasyChair, (2016)An Abstract Interpretation Framework for (almost) Full Prolog., , и . GULP-PRODE (1), стр. 92-106. (1994)