Sergio Castro

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 2

Top Topics

Cross References

Prolog Programs

Procedural Semantics

Top Venues

Sci. Comput. Program.

Publications

Vishal Gupta, Giulia Lucarelli, Sergio Castro, Thomas Brown, Marco Ottavi
Perovskite based Low Power Synaptic Memristor Device for Neuromorphic application. DTIS (2019)
Sergio Castro, Kim Mens, Paulo Moura
JPC: A library for categorising and applying inter-language conversions between Java and Prolog. Sci. Comput. Program. 134 (2017)
Sergio Castro, Kim Mens, Paulo Moura
Customisable Handling of Java References in Prolog Programs. CoRR (2014)
Sergio Castro, Kim Mens, Paulo Moura
LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis. PADL (2013)
Sergio Castro
LogicObjects: A Portable and Extensible Approach for Linguistic Symbiosis between an Object-Oriented and a Logic Programming Language. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Sergio Castro, Sebastián González, Kim Mens, Marcus Denker
DynamicSchema: a lightweight persistency framework for context-oriented data management. COP@ECOOP (2012)
Sergio Castro, Kim Mens, Paulo Moura
LogicObjects: a linguistic symbiosis approach to bring the declarative power of Prolog to Java. RAM-SE@ECOOP (2012)
Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo D'Hondt
Diagnosing and correcting design inconsistencies in source code with logical abduction. Sci. Comput. Program. 76 (12) (2011)
Johan Brichau, Andy Kellens, Sergio Castro, Theo D'Hondt
Enforcing structural regularities in software using IntensiVE. Sci. Comput. Program. 75 (4) (2010)
Sergio Castro, Johan Brichau, Kim Mens
Diagnosis and semi-automatic correction of detected design inconsistencies in source code. IWST (2009)
Sergio Castro, Johan Fabry, Kim Mens, Theo D'Hondt
A Unified Mechanism for Improving Advanced Transaction Management in Web Services. SCCC (2007)