Sciweavers

1776 search results - page 131 / 356
» Using a Logic Programming Language with Persistence and Cont...
Sort
View
TOOLS
1998
IEEE
15 years 7 months ago
Declarative Reasoning about the Structure of Object-Oriented Systems
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
Roel Wuyts
LICS
1989
IEEE
15 years 7 months ago
Faithful Ideal Models for Recursive Polymorphic Types
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...
Martín Abadi, Benjamin C. Pierce, Gordon D....
JSW
2008
105views more  JSW 2008»
15 years 3 months ago
Representing Procedural Logic in XML
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
Albert D. Bethke
VEE
2005
ACM
199views Virtualization» more  VEE 2005»
15 years 8 months ago
Escape analysis in the context of dynamic compilation and deoptimization
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
Thomas Kotzmann, Hanspeter Mössenböck
CAISE
1999
Springer
15 years 7 months ago
Modeling Dynamic Domains with ConGolog
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
Yves Lespérance, Todd G. Kelley, John Mylop...