eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts

AboutBrowse eLibrary

> Home / All Journals / Journal /

Computer Science and Information SystemsPublisher: ComSIS Consortium, Novi SadISSN: 1820-0214Issue: 5_2Date: 2008Journal Homepage Editorial BoardImpressum   Program Comprehension for Domain-Specific Languages 1 - 17 Maria Joao Varanda Pereira, Marjan Mernik, Daniela da Cruz and Pedro Rangel Henriques   AbstractKeywords: program understanding, problem comprehension, DSLsMSC: 68N30 00A66 From Lisp S-Expressions to Java Source Code 19 - 38 António Menezes Leitão   AbstractKeywords: S-expressions, Macros, Common Lisp, Java.MSC: 68N20 68N18 Representing and Querying Multiple Ontologies with Contextual Logic Programming 39 - 62 Nuno Lopes, Cláudio Fernandes and Salvador Abreu   AbstractKeywords: Ontologies (OWL), Logic Programming, SPARQL.MSC: 68T30 68N17 ComponentJ: A Component-Based Programming Language with Dynamic Reconfiguration 63 - 86 João Costa Seco, Ricardo Silva and Margarida Piriquito   AbstractKeywords: Programming Languages, Dynamic Reconfiguration, Component Oriented Programming, Type Systems, Java.MSC: 68N19 68N20 Integration of the ST Language in a Model-Based Engineering Environment for Control Systems – An Approach for Compiler Implementation 87 - 101 Elisabete Ferreira, Rogério Paulo, Daniela da Cruz and Pedro Henriques   AbstractKeywords: Code Compiler, Linker, C#, ANTLR, ASML, IEC 61131-3 ST.MSC: 68N20 93C83 Developing Libraries Using Software Transactional Memory 103 - 117 Ricardo Dias, João Lourenço and Gonçalo Cunha   AbstractKeywords: Transactions, Software Transactional Memory, Compensation Actions, Revertible Operations.MSC: 68M99 68M20 ALMA versus DDD 119 - 136 Daniela da Cruz, Pedro Rangel Henriques and Maria João Varanda Pereira   AbstractKeywords: Program Comprehension, Program Animation, Debugger, Alma, DDD.MSC: 68N30 68N20 KAT and PHL in Coq 137 - 160 David Pereira and Nelma Moreira   AbstractKeywords: Kleene algebra with tests, Hoare logics, interactive theorem proving, and formal verification of software.MSC: 68N30 68T15

Issue 10 of 60Previous IssueNext Issue Articles 1 - 8 of 8Previous pageNext page Quick Search within Title/Keywords within Authors within MSC

Remote Address: 3.133.109.58 • Server: elib.mi.sanu.ac.rsHTTP User Agent: Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)