A Formal Model for an Expressive Fragment of XSLT

Information Systems - United Kingdom
doi 10.1016/s0306-4379(01)00033-3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

SoNeUCONABC, an Expressive Usage Control Model for Web-Based Social Networks

Computers and Security
LawComputer Science
2014English

A Formal Model of Requirements

Open Transportation Journal
ModelingTransportationSimulation
2011English

A Formal Security Model for Microprocessor Hardware

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Formal Analysis of a Model for Electronic Payment Systems

2017English

An Expressive Semantics of Mocking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Prototypes With Multiple Dispatch: An Expressive and Dynamic Object Model

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

A Formal Model of Identity Mixer

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Formal Relaxation Oscillations for a Model of a Catalytic Particle

Quarterly of Applied Mathematics
Applied Mathematics
1984English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy