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: 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

Soutei, a Logic-Based Trust-Management System System Description Andrew Pimlott1 and Oleg Kiselyov2 1 2

Source URL: okmij.org

• Datalog
• PERMIS
• Prolog
• Access control
• Logic programming
• Assertion
• Channel access method
• Predicate
• Logic
• Computing
• Software engineering
• Computer programming

The Range Comfort Zone of Electric Vehicle Users Concept and Assessment Thomas Franke, Madlen Günther, Maria Trantow, Nadine Rauh, Josef F. Krems

Source URL: conference2014.humanist-vce.eu

• Prolog
• Accessibility
• Intelligent transportation system
• Usability
• Technology
• Computing
• Knowledge
• Urban design
• Transportation planning
• Electric vehicle

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

AProVE: Termination and Memory Safety of C Programs? (Competition Contribution) T. Str¨ oder, C. Aschermann, F. Frohn, J. Hensel, and J. Giesl RWTH Aachen University, Germany

Source URL: verify.rwth-aachen.de

• Data types
• Primitive types
• Termination analysis
• Pointer
• Memory safety
• Prolog
• Reference
• LLVM
• Algorithm
• Computing
• Software engineering
• Computer programming

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

Prolog af Michael Svennevig til Asyl-galla mandag aften klPrologen læses af skuespilleren Kirsten Olesen MENS VI VENTER... P R O L O G Der var engang et land. Det omsluttede mig og gav mig muligheder. Alene navn

Source URL: krabat.menneske.dk

TEX in Teaching Michael Moortgat, Richard Moot, Dick Oehrle Contents

Source URL: www.ntg.nl

• Programming language theory
• Compiler construction
• Prolog
• Computational linguistics
• Logic
• Parsing
• Formal sciences
• Software engineering
• Science

Author’s Guide to the ACM SIGPLAN Class (sigplanconf.cls) Association for Computing Machinery SIGPLAN

Source URL: www.schemeworkshop.org

• Typography
• Digital typography
• LaTeX
• Prolog
• Association for Computing Machinery
• MathTime
• TeX
• Computing
• Application software

Elimination of Negation in a Logical Framework Alberto Momigliano December 15, 2000 CMU-CSSchool of Computer Science

Source URL: reports-archive.adm.cs.cmu.edu

• Propositional calculus
• Semantics
• Type theory
• Model theory
• Logic programming
• Negation
• Prolog
• Entailment
• Logical framework
• Logic
• Mathematical logic
• Logic in computer science