Daniel de Carvalho

According to our database, Daniel de Carvalho authored at least 18 papers between 2004 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Code Review in the Classroom.

Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara

CoRR, 2020

2019

Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education.

Mansur Khazeev, Manuel Mazzara, Daniel de Carvalho, Hamna Aslam

CoRR, 2019

Towards Code Review Guideline in a Classroom.

Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara

Proceedings of the Frontiers in Software Engineering Education, 2019

Reflections on Teaching Formal Methods for Software Development in Higher Education.

Mansur Khazeev, Hamna Aslam, Daniel de Carvalho, Manuel Mazzara, Jean-Michel Bruel, Joseph Alexander Brown

Proceedings of the Frontiers in Software Engineering Education, 2019

Teaching Logic, from a Conceptual Viewpoint.

Daniel de Carvalho, Nikolai Kudasov

Proceedings of the Frontiers in Software Engineering Education, 2019

2018

Execution time of λ-terms via denotational semantics and intersection types.

Daniel de Carvalho

Math. Struct. Comput. Sci., 2018

Taylor expansion in linear logic is invertible.

Daniel de Carvalho

Log. Methods Comput. Sci., 2018

Implementing distributed λ-calculus interpreter.

Alexandr Basov, Daniel de Carvalho, Manuel Mazzara

CoRR, 2018

Teaching Programming and Design-by-Contract.

Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, Jooyong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera

Proceedings of the Challenges of the Digital Transformation in Education - Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL 2018), 2018

Implementing Distributed Lamda-Calculus Interpreter.

Alexandr Basov, Daniel de Carvalho, Manuel Mazzara

Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

2017

Teaching Programming and Design-by-Contract.

Daniel de Carvalho, Jooyoung Lee, Adil Khan, Manuel Mazzara, Mansur Khazeev, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera

CoRR, 2017

2016

A semantic account of strong normalization in linear logic.

Daniel de Carvalho, Lorenzo Tortora de Falco

Inf. Comput., 2016

The Relational Model Is Injective for Multiplicative Exponential Linear Logic.

Daniel de Carvalho

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2014

An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting.

Daniel de Carvalho, Jakob Grue Simonsen

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2012

The relational model is injective for multiplicative exponential linear logic (without weakenings).

Daniel de Carvalho, Lorenzo Tortora de Falco

Ann. Pure Appl. Log., 2012

2011

A semantic measure of the execution time in linear logic.

Daniel de Carvalho, Michele Pagani, Lorenzo Tortora de Falco

Theor. Comput. Sci., 2011

2009

Execution Time of lambda-Terms via Denotational Semantics and Intersection Types

Daniel de Carvalho

CoRR, 2009

2004

Intersection Types for Light Affine Lambda Calculus.

Daniel de Carvalho

Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004