Sentence examples for refinement language from inspiring English sources

Exact(2)

In this paper, we present refactorings as transformation rules for programs written in a refinement language inspired on Java that allows reasoning about object-oriented programs and specifications.

We extend the concurrent refinement language Circus [Woodcock, J.C.P. and A.L.C. Cavalcanti, The semantics of Circus, in: ZB2002 LNCS 2002) (2002), pp. 184 203] through integrating continuous time and resource information.

Similar(58)

This literature's most notable features were Buddhist piety and a courtly refinement of language.

Refinement of the language of poetry was the self-imposed task of François de Malherbe.

The most striking feature of pre-Islamic poetry is the uniformity and refinement of its language.

When the Portuguese explorer Diogo Cão arrived at the mouth of the Congo River, in 1483, and erected a stele invoking the authority of his king, he encountered a courtly civilization that lacked little in refinement except written language.

"I Hate Music," the indie-rock band Superchunk's 10th album since 1989 and its second after a nine-year break from recording during the aughts, reflects an evolution almost like that of a group working the mainstream jazz language: refinement by slow degrees.

This chapter explains the model and flow of a gestural system that requires the development and refinement of a language.

It is our contention that the advanced neuro-imaging procedures demand an equivalent refinement in the language sampling domain.

The iterative process allowed refinement of the language to make it meaningful to potential survey participants.

Initial refinement of the language used in the SAPAS-AV took place after piloting the SAPAS on 10 adolescent boys and girls from a secure institution and a psychiatric outpatient clinic.

Show more...

Your English writing platform

Write better and faster with AI suggestions while staying true to your unique style.

Student

Used by millions of students, scientific researchers, professional translators and editors from all over the world!

MitStanfordHarvardAustralian Nationa UniversityNanyangOxford

Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak quote

Justyna Jupowicz-Kozak

CEO of Professional Science Editing for Scientists @ prosciediting.com

Get started for free

Unlock your writing potential with Ludwig

Letters

Most frequent sentences: