Вы здесь

Barbuti R.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Towards the Derivation of an Experimental Programming Environment from Language Formal Specifications 1981 Barbuti R., Bellia M., Martelli A., Dameri E., Simonelli C., Degano P., Levi G. Progetto Finalizzato Informatica 02.08.2000
М Programming Environments: Deriving Language Dependent Tools from Structured Denotational Semantics 1982 Barbuti R., Bellina M., Degano P., Levi G., Martelli A. Istituto di Scienze dell Informazione 02.08.2000
СТ Modelling Prolog Control 1991 Barbuti R., Codish M., Giacobazzi R., Levi G. BIGRE 11.12.1991
СТ A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs 1993 Barbuti R., Giacobazzi R., Levi G. ACM Trans. Programming Languages and Systems 16.03.1993
СТ Modeling OR-parallel Execution of Prolog using CHOCS 1995 Barbuti R., De Francesco N., Santone A. Logic Programming: Proc. of the Twelfth Intern. Conf. 13.05.1996
СТ A Multiple-Valued Logical Semantics for Prolog 1996 Barbuti R., Mancarella P. Lecture Notes in Computer Science 18.05.1996
СТ Algebraic Computational Models of OR-parallel Execution of Prolog 1997 Barbuti R., De Francesco N., Santone A. Acta Informatica 09.07.1997
СТ Formula Based Abstractions of Transition Systems for Real-Time Model Checking 1999 Barbuti R., De Francesco N., Santone A., Vaglini G. Lecture Notes in Computer Science 30.10.1999
СТ Timed Automata with Urgent Transitions 2004 Barbuti R., Tesei L. Acta Informatica 28.04.2004