Search results for "Programming Language"
showing 10 items of 624 documents
Metamodel Specialization for DSL Tool Building
2016
Most of domain-specific tool building and especially diagram editor building nowadays involves some usage of metamodels. However normally the metamodel alone is not sufficient to define an editor. Frequently the metamodel just defines the abstract syntax of the domain, mappings or transformations are required to define the editor. Another approach [8] is based on a fixed type metamodel, there an editor definition consists of an instance of this metamodel to be executed by an engine. However there typically a number of functionality extensions in a transformation language is required. The paper offers a new approach based on metamodel specialization. First the metamodel specialization based …
A syntax controlled generator of formal language processors
1963
CTR: A calculus of timed refinement
1995
This paper presents CTR — a process algebraic framework for loose specification of time quantity sensitive operational behaviour of reactive systems. CTR terms are provided both with operational and specification semantics (via the notion of specification refinement). Besides the intuitive justification of appropriateness of the refinement notion, a preservation theorem is proved for a timed variant of Hennessy-Milner logic. A comparison of CTR with the related formalism of Timed Modal Specifications, and with the timed process calculi TCCS due to Wang is given. Some pragmatics of the application of CTR is sketched on a critical resource access example.
K-12 game programming course concept using textual programming
2011
Several programming environments have been constructed to facilitate novice programming at K-12 and CS0/CS1 levels. The environments can be roughly divided into those using visual or textual programming. This paper presents a K-12 game programming course concept based on textual programming. The concept is based on an easy-to-use C# library, called Jypeli, built on top of Microsoft XNA Framework. The library tries to maintain advantages of visual programming and avoid challenges of textual programming. In particular, the library helps beginners to program their first games in a short period of time and without a heavy syntactic load. The course concept and an initial evaluation consisting o…
Towards CNC Programming Using Haskell
2004
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-like instructions, several high-level languages (e.g., AutoLISP, APL, OMAC) have been proposed to raise the programming abstraction level. Unfortunately, the lack of a clean semantics prevents the development of formal tools for the analysis and manipulation of programs. In this work, we propose the use of Haskell for CNC programming. The declarative nature of Haskell provides an excellent basis to develop program analysis and manipulation tools and, most importantly, to formally prove their correctness.
The iconic interface for the PIctorial C language
2003
Iconic environments intend to provide expressive tools to implement, to debug and to execute programs. Moreover its pictorial constructs guide the user to design algorithms in an interactive fashion. Visual interfaces are especially required whenever programs run on an heterogeneous and reconfigurable multiprocessor system oriented to image analysis. Pictorial tools help the user to control the scope of variables, and the distribution of the tasks into the processors. In this paper, the general design, the visual-syntax, and the implementation of the first prototype of an iconic user interface for the PIctorial C Language (PICL) are described. >
Pius X, Merry del Val and the cases of Alfred Loisy and George Tyrrell
2018
During the modernist crisis the various institutions and persons within the Roman Curia acted in a complex manner. The article explores the different agencies and ways of repression by reconstructing the Roman treatment of the ‘cases’ of the French theologian Alfred Loisy (1857-1940) and the Anglo-Irish Ex-Jesuit George Tyrrell (1861-1909).
The Preservation of Galata’s St. George Explored through Ottoman Documents
2020
Abstract In the predominantly Christian district of Galata, churches were vulnerable to the frequent conflagrations which spread through the wooden buildings that predominated the urban landscape. The Latin Catholic Church of St. George was a victim to three fires during the seventeenth century and one in the early eighteenth century. This study aims to explore this history of the church, the preservation of its properties and of its historical claim to the land in the light of Ottoman documents. The status of the church building and land according to Ottoman law in addition to the processes for the acquisition and preservation of its properties carried out within the Ottoman legal framewor…
David George’s Nightscapes: Interartial Sanctuaries of Darkness
2019
Les photographies de David George sont des paysages depourvus de toute presence humaine et systematiquement photographies de nuit. Tandis que la photographie contemporaine privilegie une certaine clarte analytique, les œuvres etudiees ici sont obscures ou crepusculaires. L’artiste travaille a la croisee de la photographie, de la peinture, de la litterature et du cinema convoquant de multiples evocations de la nuit. Les paysages banals et familiers deviennent mysterieux, etranges, charges d’emotions. Son travail sur la lumiere nocturne souligne l’ambivalence de notre rapport a l’obscurite et nous plonge dans un temps et un espace autres. Ces paysages liminaux, des paysages d’absence ou l’eau…