Source URL: www.clip.dia.fi.upm.es

Poster Presentation: Abstract Interpretation-based Mobile Code Certification? Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 SIP, Complutense University of Madrid, Fac. de Inform´

Source URL: www.clip.dia.fi.upm.es

• Software engineering
• Logic in computer science
• Assertion
• Debugging
• Abstract interpretation
• Principles of Programming Languages
• Verification
• Software development process
• Computer programming
• Computing
• Formal methods

Module 1 Introduction to Telehealth The benefits of telehealth There are several reasons why telehealth is a good idea; this video clip introduces two of them: 

Source URL: www.e-unicare.com.au

• Telehealth
• Healthcare
• Assistive technology
• Health human resources
• Health care
• EHealth
• Allied health professions
• Connected Health
• Health
• Health informatics
• Medicine

Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a

Source URL: www.clip.dia.fi.upm.es

• Theoretical computer science
• Formal methods
• Semantics
• Abstract interpretation
• Formal languages
• Model theory
• Prolog
• Semantics of programming languages
• Programming language
• Software engineering
• Computing
• Logic in computer science

Système «Alu Clip» Un jardin Nature est un support pédagogique idéal pour découvrir la

Source URL: www.haute-saintonge.net

A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism? Amadeo Casas1 Manuel Carro2 Manuel V. Hermenegildo1,2

Source URL: clip.dia.fi.upm.es

• Programming paradigms
• Prolog
• Compiler optimizations
• Logic programming
• Parallel computing
• Warren Abstract Machine
• Stack
• Call stack
• Automatic parallelization
• Software engineering
• Computing
• Computer programming

Abstract Interpretation with Specialized Definitions Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3

Source URL: clip.dia.fi.upm.es

• Logic programming
• Rules of inference
• Automated theorem proving
• Theoretical computer science
• SLD resolution
• Abstraction
• Function
• Interpretation
• Algorithm
• Mathematics
• Mathematical logic
• Logic

Reduced Certificates for Abstraction-Carrying Code ? Elvira Albert1 , Puri Arenas1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3

Source URL: www.clip.dia.fi.upm.es

• Algorithm
• Public key certificate
• Mind
• Applied mathematics
• Mathematics
• Public-key cryptography
• Priority queue
• Abstraction

Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information Daniel Cabeza Gras 1 and Manuel V. Hermenegildo 1,2 Abstract

Source URL: www.clip.dia.fi.upm.es

• Compiler optimizations
• Automatic parallelization
• Parallel computing
• Prolog
• Unification
• Compiler
• Abstract interpretation
• Computing
• Software engineering
• Programming language theory

Parallel Execution of Prolog Programs: a Survey GOPAL GUPTA University of Texas at Dallas ENRICO PONTELLI New Mexico State University KHAYRI A.M. ALI

Source URL: www.clip.dia.fi.upm.es

• Programming paradigms
• Logic programming
• Constraint programming
• Prolog
• Warren Abstract Machine
• Logic
• Constraint logic programming
• Parallel computing
• Procedural programming
• Software engineering
• Computer programming
• Computing